Contextual rewriting as a sound and complete proof method for conditional LOG-specifications

DOI10.1007/BF01178578MaRDI QIDQ1323311zbMATH OpenOpenAlexFDO

Authors Marisa Navarro, Fernando Orejas, J. L. Rémy

Publication date 10 May 1994

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01178578

zbMATH Keywords

algebraic specificationconditional specifications with predicatescontextual rewritingproof-systemtermination

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4090780
• Publication:3028332
• Implementing contextual rewriting
• scientific article; zbMATH DE number 794241
• Negation with logical variables in conditional rewriting

Cites work

• Canonical constraints for parameterized data types
• Completeness of calculii for axiomatically defined classes of algebras
• Conditional rewrite rules
• Conditional rewrite rules: Confluence and termination
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Equality, types, modules, and (why not?) generics for logic programming
• scientific article; zbMATH DE number 4133477 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3876565 (Why is no real title available?)
• scientific article; zbMATH DE number 3878354 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3921957 (Why is no real title available?)
• scientific article; zbMATH DE number 3938563 (Why is no real title available?)
• scientific article; zbMATH DE number 3990847 (Why is no real title available?)
• scientific article; zbMATH DE number 4050972 (Why is no real title available?)
• scientific article; zbMATH DE number 4078788 (Why is no real title available?)
• scientific article; zbMATH DE number 4090770 (Why is no real title available?)
• scientific article; zbMATH DE number 3703962 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 193539 (Why is no real title available?)
• scientific article; zbMATH DE number 3582349 (Why is no real title available?)
• scientific article; zbMATH DE number 3286895 (Why is no real title available?)

Cited in

(4)

• scientific article; zbMATH DE number 4016179 (Why is no real title available?)
• scientific article; zbMATH DE number 4090780 (Why is no real title available?)
• scientific article; zbMATH DE number 794241 (Why is no real title available?)
• Implementing contextual rewriting

Describes a project that uses

Uses Software

• REVE

This page was built for publication: Contextual rewriting as a sound and complete proof method for conditional LOG-specifications

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