Prosper: A Language for Specification by Prototyping.
Jacek LeszczylowskiJames M. BiemanPublished in: Comput. Lang. (1989)
Keyphrases
- specification language
- operational semantics
- formal languages
- formal language
- programming language
- natural language
- modelling language
- formal specification
- description language
- action language
- real time
- language processing
- language learning
- conceptual model
- code generation
- asynchronous circuits
- software engineering
- relational databases
- e learning