Hoare's Logic for Programming Languages with two Data Types.
Jan A. BergstraJohn V. TuckerPublished in: Theor. Comput. Sci. (1984)
Keyphrases
- data types
- programming language
- logic programming
- lambda calculus
- abstract data types
- database systems
- data model
- denotational semantics
- object oriented
- data structure
- database management systems
- general purpose
- user defined
- database languages
- strongly typed
- concurrent programming
- stored procedures
- high level
- object oriented programming
- predicate logic
- data mining algorithms
- software engineering
- databases
- database server
- predicate calculus
- operational semantics
- database
- object relational
- data mining
- database query languages
- distributed databases