Lazy Relations

DOI10.1007/978-3-540-78913-0_12MaRDI QIDQ3498411zbMATH OpenOpenAlexFDO

Authors Walter Guttmann

Publication date 15 May 2008

Published in Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78913-0_12

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Lazy UTP
• Unifying lazy and strict computations
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• scientific article; zbMATH DE number 1086633
• A Relation Algebraic Semantics for a Lazy Functional Logic Language

Cites work

• scientific article; zbMATH DE number 194258 (Why is no real title available?)
• scientific article; zbMATH DE number 3551848 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3590261 (Why is no real title available?)
• scientific article; zbMATH DE number 3630737 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1086628 (Why is no real title available?)
• scientific article; zbMATH DE number 1086633 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1759984 (Why is no real title available?)
• scientific article; zbMATH DE number 1862431 (Why is no real title available?)
• A Powerdomain Construction
• Fixed Points of Order Preserving Multifunctions
• Functional programming with side-effects
• Isotone relations and the fixed point property for posets
• Partiality. I: Embedding relation algebras
• Power domains
• Programs, Recursion and Unbounded Choice
• Relational Methods in Computer Science
• Relational algebraic semantics of deterministic and nondeterministic programs

Cited in

(9)

• Implementation of Functional Languages
• Lazy UTP
• Relating models of backtracking
• Imperative abstractions for functional actions
• Normal design algebra
• Computations and Relational Bundles
• Unifying lazy and strict computations
• scientific article; zbMATH DE number 4180818 (Why is no real title available?)
• Computing properties of numerical imperative programs by symbolic computation

This page was built for publication: Lazy Relations

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