scientific article; zbMATH DE number 2172803

zbMath1104.68358MaRDI QIDQ4680190

Răzvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata

Publication date: 2 June 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

institutionsalgebraic specificationabstract machinesCafeOBJ

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items

Foundations of logic programming in hybrid logics with user-defined sharing, Towards a Combination of CafeOBJ and PAT, An Institution for Imperative RSL Specifications, Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally, Towards Behavioral Maude

Uses Software

• CASL
• CafeOBJ