Premium
Verifying abstract data types with SNOBOL4
Author(s) -
Fleck A. C.
Publication year - 1982
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380120705
Subject(s) - executable , correctness , axiom , computer science , programming language , data type , abstract data type , theoretical computer science , series (stratigraphy) , mathematics , paleontology , geometry , biology
The presentation of an abstract data type by a series of equational axioms has become an accepted specification mechanism. Verifying the correctness of such specifications has been recognized as a problem troubling their use. A means is presented for experimenting with a directly executable version of the axioms without having to choose representations for the data structures or describe algorithms for the operations.