The proof-checking component for the PLEATS programming system enabling specification of theories.
Jolanta CybulkaJerzy BartoszekPublished in: Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Keyphrases
- oriented programming
- reactive systems
- programming language
- provably correct
- programming environment
- specification language
- exception handling
- theorem prover
- theoretical framework
- development environment
- object oriented programming
- theory revision
- cognitive psychology
- database
- software engineering
- high level
- website
- neural network