scientific article

zbMath0663.68024MaRDI QIDQ3814782

Jacques Loeckx, Thomas Lehmann

Publication date: 1988

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

zbMATH Keywords

semanticsmodulespecification languageabstract data types

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

First order data types and first order logic, Proof systems for structured specifications with observability operators, OBSCURE, a specification language for abstract data types

Uses Software

• OBSCURE