Control Flow Aspects of Semantics-Directed Compiling

From MaRDI portal

Revision as of 07:14, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3666264

Jump to:navigation, search

DOI10.1145/69575.357227zbMath0517.68046OpenAlexW2071836561MaRDI QIDQ3666264

Publication date: 1983

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/69575.357227

zbMATH Keywords

code generation continuations flow diagrams compiler generation mathematical semantics syntax analysis

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (5)

Continuation semantics for flowgraph equations ⋮ Two-level semantics and code generation ⋮ Correctness of procedure representations in higher-order assembly language ⋮ Two-level semantics and abstract interpretation ⋮ Static semantics, types, and binding time analysis

This page was built for publication: Control Flow Aspects of Semantics-Directed Compiling

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3666264&oldid=17136529"