Mathematics of Program Construction

DOI10.1007/B98756MaRDI QIDQ5313102zbMATH OpenOpenAlexFDO

Authors Nils Anders Danielsson, Patrik Jansson

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98756

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Fast and loose reasoning is morally correct
• Problems of verification of functional programs
• scientific article; zbMATH DE number 4041241
• A unified approach of program verification
• A two-valued logic for properties of strict functional programs allowing partial functions

Cited in

(2)

• Selective strictness and parametricity in structural operational semantics, inequationally
• Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space

Describes a project that uses

Uses Software

• Haskell
• QuickCheck

This page was built for publication: Mathematics of Program Construction

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