scientific article; zbMATH DE number 2087343

MaRDI QIDQ4738113zbMATH OpenFDO

Authors Jeremy Gibbons

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2297/22970149.htm

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1390330
• scientific article; zbMATH DE number 3936467
• scientific article; zbMATH DE number 1086633
• Reasoning about functions with effects
• Algebra unifies operational calculi

Cited in

(15)

• Shortcut fusion rules for the derivation of circular and higher-order programs
• How to calculate with nondeterministic functions
• Formal derivation of greedy algorithms from relational specifications: a tutorial
• Swapping Arguments and Results of Recursive Functions
• Structuring FP-style functional programs
• The countdown problem
• scientific article; zbMATH DE number 4115920 (Why is no real title available?)
• When is a function a fold or an unfold?
• Longest segment of balanced parentheses: an exercise in program inversion in a segment problem
• Transformation of structure-shy programs with application to XPath queries and strategic functions
• Point-free program transformation
• Calculations
• Contract lenses: Reasoning about bidirectional programs via calculation
• Optimizing term rewriting with creeper trace transducers
• From high to low: simulating nondeterminism and state with state

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 Q4738113)