Proving Properties about Lists Using Containers

DOI10.1007/978-3-540-78969-7_9zbMATH Open1137.68575OpenAlexW4210456832MaRDI QIDQ5458431FDOQ5458431

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (3)

• Graphical reasoning in compact closed categories for quantum computation
• Proving properties about functions on lists involving element tests
• Title not available (Why is that?)

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)