Circular expressions: elimination of static environments

From MaRDI portal

Revision as of 04:45, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:1162353

Jump to:navigation, search

DOI10.1016/0167-6423(82)90015-6zbMath0481.68007OpenAlexW2081811462MaRDI QIDQ1162353

Publication date: 1982

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(82)90015-6

zbMATH Keywords

denotational semantics data structure flow diagrams goto indirection elimination

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

A syntactic theory of sequential state

This page was built for publication: Circular expressions: elimination of static environments

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