Circular expressions: elimination of static environments

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

Ravi Sethi

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 semanticsdata structureflow diagramsgotoindirection 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