scientific article; zbMATH DE number 2172803

MaRDI QIDQ4680190zbMATH OpenFDO

Authors Răzvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata

Publication date 2 June 2006

zbMATH Keywords

abstract machinesalgebraic specificationCafeOBJinstitutions

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• scientific article; zbMATH DE number 2172806
• Logical foundations of CafeOBJ
• scientific article; zbMATH DE number 1231658
• scientific article; zbMATH DE number 1942449

Cited in

(17)

• Logical foundations of CafeOBJ
• Principles of proof scores in CafeOBJ
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
• Foundations of logic programming in hybrid logics with user-defined sharing
• Soundness in verification of algebraic specifications with OBJ
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Towards behavioral Maude: behavioral membership equational logic
• Specifying, programming and verifying with equational logic
• scientific article; zbMATH DE number 1231658 (Why is no real title available?)
• scientific article; zbMATH DE number 1942449 (Why is no real title available?)
• scientific article; zbMATH DE number 1962762 (Why is no real title available?)
• scientific article; zbMATH DE number 2161773 (Why is no real title available?)
• A Maude environment for CafeOBJ
• CafeOBJ Traces
• Towards a combination of CafeOBJ and PAT
• An Institution for Imperative RSL Specifications
• From OBJ to Maude and Beyond

Describes a project that uses

Uses Software

• CafeOBJ
• CASL

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