A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
From MaRDI portal
Publication:4982630
DOI10.1016/j.entcs.2009.07.021zbMath1347.68054MaRDI 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
68N15: Theory of programming languages
68N20: Theory of compilers and interpreters
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
68P05: Data structures
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation, Formal Certification of a Resource-Aware Language Implementation
Cites Work