Dynamic Memory Management for Sequential Logic Programming Languages
Abstract elided by the publisher.
Related papers
- Integrated symbol table, engine and heap memory management in multi-engine prolog ISMM 2011
- A Region-Based Memory Manager for Prolog ISMM 2000
- Compartmental memory management in a modern web browser ISMM 2011
- Iron: managing obligations in higher-order concurrent separation logic POPL 2019
- Compile-Time Analysis of Parallel Programs that Share Memory POPL 1992
- Compiler Managed Dynamic Instruction Placement in a Low-Power Code Cache CGO 2005
- Region-Based Memory Management for a Dynamically-Typed Language APLAS 2004
- Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator OOPSLA 2010