scientific article; zbMATH DE number 3890703
From MaRDI portal
Publication:3347263
zbMATH Open0558.68011MaRDI QIDQ3347263FDOQ3347263
Authors: B. A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer 
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
denotational semanticsoperational semanticsaxiomatic semanticscomplete partial ordersPartial correctness
Cited In (21)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proof obligations for blocks and procedures
- Semantical analysis of specification logic
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
- An observationally complete program logic for imperative higher-order functions
- Recursive programs and denotational semantics in absolute logics of programs
- Reasoning about procedures as parameters in the language L4
- The semantics of second-order lambda calculus
- Full abstraction for the second order subset of an Algol-like language
- Title not available (Why is that?)
- Detecting global variables in denotational specifications
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
- Title not available (Why is that?)
- Action Algebras and Model Algebras in Denotational Semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- From Logic to Theoretical Computer Science – An Update
- Equivalences among logics of programs
- Inserting injection operations to denotational specifications
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3347263)
