Relational semantics revisited

DOI10.1016/J.ENTCS.2009.07.072MaRDI QIDQ2810687zbMATH OpenOpenAlexFDO

Authors Eike Best, Kerstin Strecker

Publication date 3 June 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.072

zbMATH Keywords

denotational semanticsEgli-Milner orderingfixpointsHoare orderingpowerdomainsrelational semanticsSmyth ordering

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 956827
• There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• Relational algebraic semantics of deterministic and nondeterministic programs
• A simple fixpoint argument without the restriction to continuity

Cites work

• A Powerdomain Construction
• A relation algebraic model of robust correctness
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• An axiomatic basis for computer programming
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3609100 (Why is no real title available?)
• scientific article; zbMATH DE number 977449 (Why is no real title available?)
• scientific article; zbMATH DE number 1086633 (Why is no real title available?)
• scientific article; zbMATH DE number 1086636 (Why is no real title available?)
• Interpretations of recursion under unbounded nondeterminacy
• Relation-algebraic semantics
• Relational algebraic semantics of deterministic and nondeterministic programs

Cited in

(11)

• On the fixpoints of nondeterministic recursive definitions
• Referent systems and relational grammar
• Relational Semantics for Higher-Order Programs
• On the spectra of universal relational sentences
• scientific article; zbMATH DE number 4103147 (Why is no real title available?)
• An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II
• scientific article; zbMATH DE number 1859180 (Why is no real title available?)
• Revisiting Semilattice Semantics
• Reading, Writing and Relations
• Mathematical Foundations of Computer Science 2003
• scientific article; zbMATH DE number 956827 (Why is no real title available?)

This page was built for publication: Relational semantics revisited

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