Verifying abstract data types with SNOBOL4

DOI10.1002/SPE.4380120705zbMath0484.68015OpenAlexW2030889973MaRDI QIDQ3943990

A. C. Fleck

Publication date: 1982

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

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

zbMATH Keywords

verificationcorrectness

Mathematics Subject Classification ID

Data structures (68P05)

Uses Software

• SNOBOL

Cites Work

• Computing in systems described by equations
• Unnamed Item

This page was built for publication: Verifying abstract data types with SNOBOL4