On an equivalence between continuation and stack semantics

DOI10.1007/BF00289244MaRDI QIDQ1247741zbMATHFDO

Authors Bruce Russell

Publication date 1977

Published in Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites work

• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3383521 (Why is no real title available?)
• Consistent and complementary formal theories of the semantics of programming languages
• Continuations: A mathematical semantics for handling full jumps
• Inductive methods for proving properties of programs

Cited in

(1)

• Semantics of algorithmic languages

This page was built for publication: On an equivalence between continuation and stack semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1247741)