An Equational Specification for the Scheme Language.
Marcelo d'AmorimGrigore RosuPublished in: J. Univers. Comput. Sci. (2005)
Keyphrases
- specification language
- formal language
- language learning
- action language
- natural language
- programming language
- theorem proving
- formal languages
- machine learning
- formal specification
- learning algorithm
- definition language
- high level
- conceptual models
- web services
- detection scheme
- genetic algorithm
- information retrieval