scientific article; zbMATH DE number 3890703
From MaRDI portal
Publication:3347263
Recommendations
Cited in
(22)- scientific article; zbMATH DE number 3862407 (Why is no real title available?)
- scientific article; zbMATH DE number 4018355 (Why is no real title available?)
- scientific article; zbMATH DE number 1479618 (Why is no real title available?)
- 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
- Fuzzy semantics of programming languages
- The semantics of second-order lambda calculus
- Full abstraction for the second order subset of an Algol-like language
- scientific article; zbMATH DE number 1420827 (Why is no real title available?)
- Detecting global variables in denotational specifications
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
- scientific article; zbMATH DE number 3936482 (Why is no real title available?)
- Action Algebras and Model Algebras in Denotational Semantics
- scientific article; zbMATH DE number 4011906 (Why is no real title available?)
- scientific article; zbMATH DE number 3970088 (Why is no real title available?)
- 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)
