On the Existence of Cook Semantics

DOI10.1137/0213001zbMath0545.68012OpenAlexW2076908926MaRDI QIDQ3334967

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

operational semanticsdenotational semanticsrecursive definitionsfixed-point semanticscontinuation semantics

Mathematics Subject Classification ID

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

Related Items

An introduction to metric semantics: Operational and denotational models for programming and specification languages