From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.
Gabriel BaumMarcelo F. FriasArmando Martin HaebererPablo E. Martínez LópezPublished in: MFCS (1996)
Keyphrases
- recursive programs
- control flow
- higher order
- program synthesis
- natural language
- logic programs
- formal specification
- learning algorithm
- programming environment
- computer programs
- attribute grammars
- state space search
- reactive systems
- control structures
- fixpoint
- finite state machines
- operating system
- data structure
- artificial intelligence