Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond.

Alessandro Aldini

Published in: QAPL@ETAPS (2019)

Keyphrases

programming language
general purpose
programming environment
high level
object oriented
lambda calculus
denotational semantics
software engineering
object oriented programming
management system
logic programming
specification language
data abstraction
strongly typed
programming paradigms