Correctness of static flow analysis in continuation semantics

DOI10.1016/0167-6423(91)90021-OzbMath0732.68075OpenAlexW2048586547MaRDI QIDQ808721

Mitchell Wand, Margaret Montenyohl

Publication date: 1991

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

Full work available at URL: https://doi.org/10.1016/0167-6423(91)90021-o

zbMATH Keywords

dynamic semanticscongruencefactoringtype checkingcompiler specificationdenotational definitionsemantic analysis for a block-structured imperative languagestatic replacement

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)