scientific article

From MaRDI portal

Publication:3707388

Jump to:navigation, search

zbMath0584.68042MaRDI QIDQ3707388

Axel Poigné

Publication date: 1984

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

zbMATH Keywords

correctness partial ordering Abstract data type parametrization safety of parameter passing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items

On the implementation of abstract data types by programming language constructs

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