Curriculum 2001 Draft Found Lacking in Programming Languages.

Published in: ACM SIGPLAN Notices (2000)

Keyphrases

programming language
object oriented
strongly typed
general purpose
high level
lambda calculus
software engineering
logic programming
specification language
denotational semantics
programming environment
database languages
computer programs
object oriented programming
model checking
object oriented concepts