An Experiment on Reusing Program Specifications Described with Conceptual Data Model- and Dependency Constraint-Based Language.
Kazuhisa YokotaMasaaki HashimotoMasakazu SatoPublished in: ICCI (1992)
Keyphrases
- conceptual data model
- specification language
- computer programs
- programming environment
- operational semantics
- formal language
- programming language
- conceptual model
- recursive programs
- intended meaning
- formal specification
- control flow
- natural language
- program synthesis
- execution traces
- language learning
- modelling language
- functional programs
- controlled natural language
- modeling language
- formal descriptions
- learning objects
- real world
- machine learning
- semantically equivalent
- data analysis
- conceptual models
- databases
- test cases
- contextual information
- logic programs
- text mining