Login / Signup
Problematic Features of Programming Languages: A Situational-Calculus Approach.
Zohar Manna
Richard J. Waldinger
Published in:
Acta Informatica (1981)
Keyphrases
</>
programming language
object oriented
general purpose
strongly typed
lambda calculus
high level
software engineering
logic programming
programming environment
denotational semantics
computer programs
data abstraction
object oriented programming
specification language
functional programming