A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation

DOI10.1016/j.entcs.2009.07.021zbMath1347.68054OpenAlexW2110760734MaRDI QIDQ4982630

Clara Segura, Manuel Montenegro, Ricardo Peña

Publication date: 9 April 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.021

zbMATH Keywords

functional languagescode generationabstract machinesregion-based heaps

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Formal Certification of a Resource-Aware Language Implementation ⋮ A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation

Cites Work

• Abstract computing machines. A lambda calculus perspective.
• A program logic for resources
• From operational semantics to abstract machines
• Deriving a lazy abstract machine
• The Mechanical Evaluation of Expressions

This page was built for publication: A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation