A tutorial on specifying data structures in Maude

MaRDI QIDQ2850669zbMATH OpenFDO

Authors Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo

Publication date 27 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610505084X

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Specification and proof in membership equational logic
• Maude: specification and programming in rewriting logic
• Conditional equational specifications of data types with partial operations for inductive theorem proving
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Equational abstractions in rewriting logic and Maude

Cited in

(2)

• Automatic functional correctness proofs for functional search trees
• Solving Sudoku puzzles with rewriting rules

Describes a project that uses

Uses Software

• ITP
• Maude

This page was built for publication: A tutorial on specifying data structures in Maude

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