On denotational versus predicative semantics

DOI10.1016/0022-0000(91)90037-6MaRDI QIDQ753499zbMATH OpenOpenAlexFDO

Authors Manfred Broy, Christian Lengauer

Publication date 1991

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-0000(91)90037-6

zbMATH Keywords

denotational semanticspredicative semantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4045109
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• On the semantics and logic of declaratives and interrogatives
• On the semantics of intensionality
• Semantical antinomies in the logic of sense and denotation
• scientific article; zbMATH DE number 3902017
• Semantic presuppositions in logical syntax
• A note on logical relations between semantics and syntax
• On the Semantics of Comparative Logic

Cites work

• scientific article; zbMATH DE number 3808940 (Why is no real title available?)
• scientific article; zbMATH DE number 3903945 (Why is no real title available?)
• scientific article; zbMATH DE number 970745 (Why is no real title available?)
• Power domains
• Predicative programming Part I

Cited in

(6)

• Predicative specifications for functional programs describing communicating networks
• Demonic operational and denotational semantics
• Recursive programs and denotational semantics in absolute logics of programs
• scientific article; zbMATH DE number 1583311 (Why is no real title available?)
• scientific article; zbMATH DE number 4016169 (Why is no real title available?)
• scientific article; zbMATH DE number 92599 (Why is no real title available?)

This page was built for publication: On denotational versus predicative semantics

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