scientific article; zbMATH DE number 5263431

MaRDI QIDQ5457687zbMATH OpenFDO

Authors Dorel Lucanu

Publication date 14 April 2008

zbMATH Keywords

abstract data typealgebraic specificationinductioninitial constraints deductioninitial many sorted algebra institutioninitial membership algebra institutioninitial order sorted algebra institution

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4023259
• scientific article; zbMATH DE number 3880080
• scientific article; zbMATH DE number 1082080
• Modal logic and algebraic specifications
• Logic programs as specifications in the inductive verification of logic programs
• Initial semantics of logic specifications with negation
• Automated Technology for Verification and Analysis
• Induction in linear logic
• scientific article; zbMATH DE number 4113952
• Initial semantics in logics with constructors

Cited in

(7)

• Specification and initialization of a logic computer system
• Initial semantics of logic specifications with negation
• Initial Algebra Semantics Is Enough!
• scientific article; zbMATH DE number 1082080 (Why is no real title available?)
• scientific article; zbMATH DE number 1988995 (Why is no real title available?)
• Initial semantics in logics with constructors
• scientific article; zbMATH DE number 2217822 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maude

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 Q5457687)