scientific article; zbMATH DE number 3890703
From MaRDI portal
Publication:3347263
Recommendations
Cited in
(22)- Inserting injection operations to denotational specifications
- Detecting global variables in denotational specifications
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
- Reasoning about procedures as parameters in the language L4
- scientific article; zbMATH DE number 3970088 (Why is no real title available?)
- Action Algebras and Model Algebras in Denotational Semantics
- Fuzzy semantics of programming languages
- scientific article; zbMATH DE number 1420827 (Why is no real title available?)
- Proof obligations for blocks and procedures
- scientific article; zbMATH DE number 3862407 (Why is no real title available?)
- The semantics of second-order lambda calculus
- From Logic to Theoretical Computer Science – An Update
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
- Recursive programs and denotational semantics in absolute logics of programs
- scientific article; zbMATH DE number 1479618 (Why is no real title available?)
- Full abstraction for the second order subset of an Algol-like language
- Semantical analysis of specification logic
- scientific article; zbMATH DE number 3936482 (Why is no real title available?)
- scientific article; zbMATH DE number 4018355 (Why is no real title available?)
- Equivalences among logics of programs
- scientific article; zbMATH DE number 4011906 (Why is no real title available?)
- An observationally complete program logic for imperative higher-order functions
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)
