scientific article; zbMATH DE number 4074445

zbMATH Open0657.68007MaRDI QIDQ3805877FDOQ3805877

Authors: Kokichi Futatsugi 

Publication date: 1988

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

Recommendations

• scientific article; zbMATH DE number 4090765
• scientific article; zbMATH DE number 108593
• scientific article; zbMATH DE number 1226906
• scientific article; zbMATH DE number 830401
• scientific article; zbMATH DE number 3976295
• Extensible objects: A tutorial

zbMATH Keywords

surveysemanticsabstract data typesviewsequational logicinteractive programmingModulesOBJ2ultra-high level programming language

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55)

Cited In (7)

• Constructive Action Semantics in OBJ
• Title not available (Why is that?)
• Specifying, programming and verifying with equational logic
• Programming with equalities, subsorts, overloading, and parametrization in OBJ
• Towards a combination of CafeOBJ and PAT
• 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 Q3805877)