Proving properties about functions on lists involving element tests

DOI10.1007/978-3-642-28412-0_17MaRDI QIDQ2890338zbMATH OpenOpenAlexFDO

Authors Daniel Seidel, Janis Voigtländer

Publication date 8 June 2012

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28412-0_17

Mathematics Subject Classification ID

Data structures (68P05) Functional programming and lambda calculus (68N18)

Recommendations

• Proving Properties about Lists Using Containers
• Free theorems involving type constructor classes, functional pearl
• Fun with type functions
• Testing polymorphic properties
• Abstract domains for automated reasoning about list-manipulating programs with infinite data

Cites work

• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1956503 (Why is no real title available?)
• scientific article; zbMATH DE number 1405440 (Why is no real title available?)
• A semantics for shape
• Containers: Constructing strictly positive types
• Proving Properties about Lists Using Containers
• Testing polymorphic properties

Cited in

(3)

• scientific article; zbMATH DE number 1405440 (Why is no real title available?)
• Proving Properties about Lists Using Containers
• Testing elementary function identities using CAD

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Proving properties about functions on lists involving element tests

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