: A Specification Language Based on Type Theory.
F. Keith HannaNeil DaecheMark LongleyPublished in: Hardware Specification, Verification and Synthesis (1989)
Keyphrases
- specification language
- programming language
- formal specification
- description language
- software environment
- symbolic execution
- theoretical framework
- requirements specification
- data structure
- cooperative
- distributed systems
- fine grained
- database
- domain specific
- object oriented
- dynamic programming
- search algorithm
- case study