Region-based memory management for Mercury programs

DOI10.1017/S1471068412000075zbMath1286.68056arXiv1203.1392MaRDI QIDQ5398287

Zoltan Somogyi, Quan Phan, Gerda Janssens

Publication date: 27 February 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.1392

zbMATH Keywords

logic programmingbacktrackingMercuryruntime supportregion analysisregion-based memory management

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Uses Software

• Mercury

Cites Work

• Region-based memory management
• A retrospective on region-based memory management
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• A type system with usage aspects

This page was built for publication: Region-based memory management for Mercury programs