Dynamic Memory Management for Sequential Logic Programming Languages.

Yves Bekkers Olivier Ridoux Lucien Ungaro

Published in: IWMM (1992)

Keyphrases

programming language
memory management
logic programming
lambda calculus
denotational semantics

general purpose
database languages
programming environment
high level
operating system

object oriented
garbage collection
software engineering
strongly typed
hardware implementation

database
main memory
parallel computation
data processing