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