Login / Signup
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation.
Manuel Montenegro
Ricardo Peña-Marí
Clara Segura
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
abstract machine
functional language
functional programming
object identity
data model
programming language
object oriented databases
complex objects
deductive databases
logic programming
databases
distributed databases
relational model
object oriented programming
execution model
data types
proof planning