A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation (Q2437794): Difference between revisions

@@ Property / describes a project that uses @@
+LLVM
@@ Property / describes a project that uses: LLVM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2014.01.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2033746349
@@ Property / OpenAlex ID: W2033746349 / rank @@
+Normal rank
@@ Property / cites work @@
+An Inference Algorithm for Guaranteeing Safe Destruction
+Normal rank
@@ Property / cites work @@
+A Space Consumption Analysis by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Formal Certification of a Resource-Aware Language Implementation
+Normal rank
@@ Property / cites work @@
+A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Region-based memory management
@@ Property / cites work: Region-based memory management / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Static prediction of heap space usage for first-order functional programs
+Normal rank
@@ Property / cites work @@
+From operational semantics to abstract machines
@@ Property / cites work: From operational semantics to abstract machines / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract computing machines. A lambda calculus perspective.
+Normal rank
@@ Property / cites work @@
+Deriving a lazy abstract machine
@@ Property / cites work: Deriving a lazy abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+From natural semantics to C: A formal derivation of two STG machines
+Normal rank
@@ Property / cites work @@
+The Mechanical Evaluation of Expressions
@@ Property / cites work: The Mechanical Evaluation of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+π-RED<sup>+</sup> An interactive compiling graph reduction system for an applied λ-calculus
+Normal rank
@@ Property / cites work @@
+A program logic for resources
@@ Property / cites work: A program logic for resources / rank @@
+Normal rank
@@ Property / cites work @@
+Amortized Resource Analysis with Polynomial Potential
+Normal rank
@@ Property / cites work @@
+Static determination of quantitative resource usage for higher-order programs
+Normal rank
@@ Property / cites work @@
+Polynomial Size Analysis of First-Order Shapely Functions
+Normal rank
@@ Property / cites work @@
+Q4474214
@@ Property / cites work: Q4474214 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809043
@@ Property / cites work: Q4809043 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified bytecode verifiers.
@@ Property / cites work: Verified bytecode verifiers. / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+A formally verified compiler back-end
@@ Property / cites work: A formally verified compiler back-end / rank @@
+Normal rank