Synthesizing implementations of abstract data types from axiomatic specifications

DOI10.1002/SPE.4380171106zbMath0624.68026OpenAlexW2048872634MaRDI QIDQ3026329

Pankaj Jalote

Publication date: 1987

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380171106

zbMATH Keywords

rapid prototypingCdirect implementation

Mathematics Subject Classification ID

Data structures (68P05)

Uses Software

• Unnamed Item
• Simula 67

Cites Work

• The algebraic specification of abstract data types

This page was built for publication: Synthesizing implementations of abstract data types from axiomatic specifications