Reversible Computation and Reversible Programming Languages.

Tetsuo Yokoyama

Published in: Electron. Notes Theor. Comput. Sci. (2010)

Keyphrases

programming language
general purpose
object oriented
software engineering
high level
logic programming
strongly typed
database languages
denotational semantics
programming environment
specification language
lambda calculus
data abstraction
functional programming
database
open source