A Certified Study of a Reversible Programming Language.

Luca Paolini Mauro Piccolo Luca Roversi

Published in: TYPES (2015)

Keyphrases

programming language
general purpose
object oriented
high level
object oriented programming
strongly typed
databases
software engineering
logic programming
object oriented databases
database systems
programming environment
data abstraction