ProFun - A Language for Executable Specifications.
Thomas GehrkeMichaela HuhnPublished in: PLILP (1996)
Keyphrases
- specification language
- formal specification
- attribute grammars
- formal language
- process algebra
- programming language
- language learning
- xml processing
- control flow
- operational semantics
- natural language
- finite state machines
- formal descriptions
- language processing
- data sets
- formal specification language
- uml class diagrams
- target language
- context free
- conceptual graphs
- model checking
- general purpose
- case study
- machine learning