scientific article; zbMATH DE number 4074445

MaRDI QIDQ3805877zbMATH OpenFDO

Authors Kokichi Futatsugi

Publication date 1988

zbMATH Keywords

abstract data typesequational logicinteractive programmingModulesOBJ2semanticssurveyultra-high level programming languageviews

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

(8)

• Specifying, programming and verifying with equational logic
• scientific article; zbMATH DE number 4164121 (Why is no real title available?)
• scientific article; zbMATH DE number 3976295 (Why is no real title available?)
• scientific article; zbMATH DE number 4090765 (Why is no real title available?)
• Programming with equalities, subsorts, overloading, and parametrization in OBJ
• Baby Modula-3 and a theory of objects
• Towards a combination of CafeOBJ and PAT
• Constructive Action Semantics 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)