Polytypic programming in Maude

MaRDI QIDQ2703708zbMATH OpenFDO

Authors Francisco Durán, Narciso Martí-Oliet, M. Clavel

Publication date 7 May 2001

zbMATH Keywords

polytypic programming

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Polytypic programming with ease
• Implementation of Functional Languages
• Formal polytypic programs and proofs
• scientific article; zbMATH DE number 1375587
• scientific article; zbMATH DE number 1696584

Cited in

(11)

• scientific article; zbMATH DE number 1612483 (Why is no real title available?)
• Libraries for generic programming in Haskell
• Reflection in conditional rewriting logic
• Formal polytypic programs and proofs
• Polytypic programming with ease
• Typed generic traversal with term rewriting strategies
• Programming and symbolic computation in Maude
• scientific article; zbMATH DE number 1424014 (Why is no real title available?)
• scientific article; zbMATH DE number 1696584 (Why is no real title available?)
• Applications of polytypism in theorem proving
• Rewriting logic: Roadmap and bibliography

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Polytypic programming in Maude

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