An Equational Specification for the Scheme Language.

Marcelo d'Amorim Grigore Rosu

Published 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