scientific article; zbMATH DE number 4074445

MaRDI QIDQ3805877zbMATHFDO

Authors Kokichi Futatsugi

Publication date 1988

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)

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

Cited in

(7)

• Towards a combination of CafeOBJ and PAT
• scientific article; zbMATH DE number 4164121 (Why is no real title available?)
• scientific article; zbMATH DE number 4090765 (Why is no real title available?)
• scientific article; zbMATH DE number 3976295 (Why is no real title available?)
• Constructive Action Semantics in OBJ
• Specifying, programming and verifying with equational logic
• Programming with equalities, subsorts, overloading, and parametrization in OBJ

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)