First-Order Specifications of Programmable Data Types

DOI10.1137/S0097539797322528zbMath0980.68070OpenAlexW1995184507MaRDI QIDQ2719126

Marian Srebrny, Andrzej Salwicki, Andrzej Tarlecki, Grazyna Mirkowska

Publication date: 21 June 2001

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/s0097539797322528

zbMATH Keywords

algebraic specificationdata typesreachable algebra

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Data structures (68P05)

This page was built for publication: First-Order Specifications of Programmable Data Types