From Quantum Physics to Programming Languages: A Process Algebraic Approach.

Philippe Jorrand Marie Lalire

Published in: UPP (2004)

Keyphrases

programming language
object oriented
general purpose
strongly typed
data abstraction
programming environment
artificial intelligence
logic programming
software engineering
model checking
development process
data model
lambda calculus
high level
functional programming
database
programming language constructs