Theory of program structures: schemes, semantics, verification. 2nd printing

zbMath0578.68005MaRDI QIDQ1066660

Sheila A. Greibach

Publication date: 1985

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

equivalencecorrectnessinterpretationsstructured programsrecursion schemes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

This page was built for publication: Theory of program structures: schemes, semantics, verification. 2nd printing