The Complexity of Parameter Passing in Polymorphic Procedures (or: Programming Language Theorems Independent of Very Strong Theories)
Daniel LeivantPublished in: STOC (1981)
Keyphrases
- programming language
- high level
- object oriented
- software engineering
- general purpose
- strongly typed
- programming environment
- specification language
- logic programming
- object oriented programming
- database language
- functional language
- denotational semantics
- databases
- abstract data types
- programming paradigms
- data abstraction
- program code