Proving Properties about Lists Using Containers

DOI10.1007/978-3-540-78969-7_9MaRDI QIDQ5458431zbMATH OpenOpenAlexFDO

Authors Rawle Prince, Neil Ghani, Conor McBride

Publication date 11 April 2008

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78969-7_9

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Proving properties about functions on lists involving element tests
• scientific article; zbMATH DE number 1405440
• scientific article; zbMATH DE number 3845031
• Precise reasoning for programs using containers
• Synthesis of list algorithms by mechanical proving
• scientific article; zbMATH DE number 860040
• Verifying properties of well-founded linked lists
• On decidability of list structures

Cited in

(3)

• Graphical reasoning in compact closed categories for quantum computation
• Proving properties about functions on lists involving element tests
• scientific article; zbMATH DE number 1405440 (Why is no real title available?)

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Proving Properties about Lists Using Containers

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