scientific article; zbMATH DE number 3880082

zbMATH Open0552.68014MaRDI QIDQ3345752FDOQ3345752

Peter Padawitz

Publication date: 1984

Title of this publication is not available (Why is that?)

zbMATH Keywords

proof theoryequational theoryinitial algebraspecificationsparameterized data types

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (11)

• Parameter-preserving data type specifications
• The power of parameterization in coinductive proof
• The equational theory of parameterized specifications
• Using induction and rewriting to verify and complete parameterized specifications
• Specification of parameterized programs -- persistency revisited
• Title not available (Why is that?)
• Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics
• Proof-Relevant Parametricity
• Proofs in parameterized specifications
• Title not available (Why is that?)
• Towards Complete Reasoning about Axiomatic Specifications

   Recommendations

• Title not available (Why is that?) 👍 👎
• Proofs in parameterized specifications 👍 👎
• The equational theory of parameterized specifications 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

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