Deriving proof rules from continuation semantics

DOI10.1007/s001650050041zbMath0955.68073OpenAlexW1977285241MaRDI QIDQ1974480

Elena Zucca, Philippe Audebaud

Publication date: 7 May 2000

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650050041

zbMATH Keywords

continuation style semanticsHoare semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control

This page was built for publication: Deriving proof rules from continuation semantics