Interpreter Verification for a Functional Language.
Manfred BroyUrsula HinkelTobias NipkowChristian PrehoferBirgit SchiederPublished in: FSTTCS (1994)
Keyphrases
- functional language
- programming language
- functional programming
- object oriented
- software engineering
- general purpose
- proof planning
- logic programming
- high level
- model checking
- object oriented programming
- object identity
- integrity constraints
- object oriented databases
- first order logic
- distributed systems
- knowledge base