Remarks on SASL and the Verification of Functional Programming Languages.
Klaus NökelRobert RehboldMichael M. RichterPublished in: Computation Theory and Logic (1987)
Keyphrases
- programming language
- functional language
- functional verification
- object oriented
- general purpose
- high level
- denotational semantics
- logic programming
- strongly typed
- programming environment
- functional programming
- object oriented programming
- model checking
- software engineering
- data abstraction
- database languages
- computer programs
- lambda calculus
- specification language
- machine learning
- databases
- object oriented concepts
- java bytecode
- search algorithm