Nondeterministic semantics of compound diagrams
Logic in computer science (03B70) Continuous lattices and posets, applications (06B35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)
The paper gives a unified description of flow control by using Schmidt's notion of relational diagram. It is shown how that can be used for giving definitions for a class of programming constructs. It contains several definitions and only two mathematical results that come without proof. The English of the paper is also quite poor.
- A calculational approach to mathematical induction
- A continuous semantics for unbounded nondeterminism
- A generalized control structure and its formal definition
- A lattice-theoretical fixpoint theorem and its applications
- A relational approach to the design of deterministic programs
- A relational division operator: The conjugate kernel
- Combining angels, demons and miracles in program specifications
- Demonic fixed points
- Demonic operational and denotational semantics
- Demonic operators and monotype factors
- Demonic semantics: using monotypes and residuals
- Embedding a demonic semilattice in a relation algebra
- scientific article; zbMATH DE number 1696900 (Why is no real title available?)
- scientific article; zbMATH DE number 3974258 (Why is no real title available?)
- scientific article; zbMATH DE number 4020448 (Why is no real title available?)
- scientific article; zbMATH DE number 3537204 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- scientific article; zbMATH DE number 475192 (Why is no real title available?)
- scientific article; zbMATH DE number 512961 (Why is no real title available?)
- scientific article; zbMATH DE number 555217 (Why is no real title available?)
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- scientific article; zbMATH DE number 2086738 (Why is no real title available?)
- scientific article; zbMATH DE number 234018 (Why is no real title available?)
- scientific article; zbMATH DE number 3231599 (Why is no real title available?)
- scientific article; zbMATH DE number 3302923 (Why is no real title available?)
- scientific article; zbMATH DE number 3070503 (Why is no real title available?)
- Kleene under a modal demonic star
- Laws of programming
- On the calculus of relations
- On the equivalence and transformation of program schemes
- On the lattice of specifications: Applications to a specification methodology
- Programs as partial graphs. I: Flow equivalence and correctness
- Reductivity
- Relation-algebraic semantics
- Relational algebraic semantics of deterministic and nondeterministic programs
- Relational heuristics for the design of deterministic programs
- Relational Methods in Computer Science
- Semantics with applications: an appetizer.
This page was built for publication: Nondeterministic semantics of compound diagrams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q258605)
