Equational Data Type Specifications and Recursive Program Schemes.
Peter PadawitzPublished in: Formal Description of Programming Concepts (1982)
Keyphrases
- data types
- recursive programs
- program synthesis
- data model
- data structure
- logic programs
- database systems
- transformation rules
- user defined
- abstract data types
- database management systems
- application programs
- control flow
- theorem proving
- equational theories
- database objects
- formal specification
- database server
- image processing
- database
- databases