Quantitative Aspects of Programming Languages and Systems (2011-12).

Mieke Massink Gethin Norman Herbert Wiklicky

Published in: Theor. Comput. Sci. (2014)

Keyphrases

programming language
object oriented
software engineering
general purpose
programming environment
search algorithm
strongly typed
high level
object oriented programming
higher order
computer systems
conceptual modeling
specification language
data abstraction
java language
functional programming
database languages