The Passau RAP System: Prototyping Algebraic Specifications Using Conditional Narrowing.
Heinrich HußmannPublished in: CADE (1986)
Keyphrases
- sets of probability measures
- code generation
- random field model
- formal specification
- specification language
- delay insensitive
- machine learning
- written in natural language
- case study
- high level
- multiscale
- development process
- information technology
- bounded model checking
- concurrent systems
- rapid prototyping
- databases
- data structure
- image sequences
- website
- artificial intelligence
- learning algorithm
- neural network