Proving properties about functions on lists involving element tests

DOI10.1007/978-3-642-28412-0_17zbMATH Open1312.68076OpenAlexW1861162136MaRDI QIDQ2890338FDOQ2890338

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Containers: Constructing strictly positive types
• Title not available (Why is that?)
• A semantics for shape
• Testing polymorphic properties
• Title not available (Why is that?)
• Proving Properties about Lists Using Containers

Cited In (3)

• Title not available (Why is that?)
• Proving Properties about Lists Using Containers
• Testing elementary function identities using CAD

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)