Towards a Semantic Theory for Equational Programming Languages.
Satish R. ThattePublished in: LISP and Functional Programming (1986)
Keyphrases
- programming language
- high level
- general purpose
- object oriented
- strongly typed
- software engineering
- denotational semantics
- logic programming
- programming environment
- computer programs
- object oriented programming
- lambda calculus
- data abstraction
- specification language
- database languages
- programming language constructs
- theorem proving
- machine learning
- functional programming
- programming paradigms
- higher order
- concurrent programming
- database