, for Formal Functional Programming Languages with Arrays Based on a Mathematics of Arrays.
Lenore M. Restifo MullinAshok KrishnamurthiDeepa IyengarPublished in: ICPP (2) (1988)
Keyphrases
- programming language
- general purpose
- object oriented
- functional language
- strongly typed
- lambda calculus
- software engineering
- logic programming
- abstract data types
- object oriented programming
- data abstraction
- programming environment
- formal model
- functional programming
- database languages
- denotational semantics
- relational databases
- object oriented concepts
- database systems
- high level