Proving Properties of Programs on Hierarchical Nominative Data by Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev

“…Nominative data can be considered as a class of abstract data models which is able to represent many concrete types of structured and semistructured data that appear in programming. Thus, proofs of properties of programs depend on proofs of properties of compositions and basic operations on nominative data. …”
Get full text