scientific article

From MaRDI portal

Publication:3805877

Jump to:navigation, search

zbMath0657.68007MaRDI QIDQ3805877

Kokichi Futatsugi

Publication date: 1988

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

zbMATH Keywords

survey equational logic semantics abstract data types views interactive programming Modules OBJ2 ultra-high level programming language

Mathematics Subject Classification ID

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

Related Items (1)

Towards a Combination of CafeOBJ and PAT

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3805877&oldid=17379414"