Login / Signup
Programming Languages, Analysis Tools, and Concurrency Theory.
Bent Thomsen
Published in:
ACM Comput. Surv. (1996)
Keyphrases
</>
programming language
object oriented
high level
general purpose
machine learning
denotational semantics
database systems
end users
software engineering
computer programs
programming tool
database
object oriented programming
specification language
database languages
lambda calculus