Imperative abstractions for functional actions

DOI10.1016/J.JLAP.2010.07.015MaRDI QIDQ604455zbMATH OpenOpenAlexFDO

Authors Walter Guttmann

Publication date 11 November 2010

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2010.07.015

zbMATH Keywords

relationsprogram semanticsfoldimperative programminglazy evaluationhigher-order proceduresinfinite data structuresnon-strictnessunfold

Mathematics Subject Classification ID

Data structures (68P05) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Lazy Relations
• scientific article; zbMATH DE number 1086633
• Reasoning about functions with effects
• Towards patterns for heaps and imperative lambdas
• Unifying lazy and strict computations

Cites work

• scientific article; zbMATH DE number 194258 (Why is no real title available?)
• scientific article; zbMATH DE number 3537204 (Why is no real title available?)
• scientific article; zbMATH DE number 3630737 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (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 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• A categorical model for higher order imperative programming
• A relation algebraic model of robust correctness
• An algebraic treatment of procedure refinement to support mechanical verification
• Chain-complete posets and directed sets with applications
• Lazy Relations
• Lazy UTP
• Least reflexive points of relations
• On the power of list iteration
• Partiality. I: Embedding relation algebras
• Power domains
• Programming as a Discipline of Mathematical Nature
• Refinement Calculus
• The Genuine Sieve of Eratosthenes
• The algebra of stream processing functions
• The under-appreciated unfold
• Unifying theories for logic programming
• ZRC -- A refinement calculus for Z

Cited in

(3)

• Unifying lazy and strict computations
• Infinite executions of lazy and strict computations
• Towards patterns for heaps and imperative lambdas

Describes a project that uses

Uses Software

• ZRC
• Haskell

This page was built for publication: Imperative abstractions for functional actions

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