Login / Signup
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation.
Manuel Montenegro
Ricardo Peña
Clara Segura
Published in:
Inf. Comput. (2014)
Keyphrases
</>
abstract machine
functional language
functional programming
object identity
data model
artificial intelligence
general purpose
logic programming
programming language
object oriented
complex objects
object oriented databases
model theoretic
predicate calculus