On the Existence of Cook Semantics

DOI10.1137/0213001MaRDI QIDQ3334967zbMATH OpenOpenAlexFDO

Authors Arie de Bruin

Publication date 1984

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/0213001

zbMATH Keywords

continuation semanticsdenotational semanticsfixed-point semanticsoperational semanticsrecursive definitions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Towards a foundation for semantics in complete metric spaces
• scientific article; zbMATH DE number 3967883
• scientific article; zbMATH DE number 17699
• Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes
• From operational to denotational semantics

Cited in

(2)

• scientific article; zbMATH DE number 1531371 (Why is no real title available?)
• An introduction to metric semantics: Operational and denotational models for programming and specification languages

This page was built for publication: On the Existence of Cook Semantics

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