Program termination using Z-transform theory

DOI10.1016/0096-3003(88)90004-5zbMath0651.68018OpenAlexW2051889369MaRDI QIDQ1106653

S. H. Smith

Publication date: 1988

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-3003(88)90004-5

zbMATH Keywords

terminationflow chart programsZ-transforms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Properties of Programs and the First-Order Predicate Calculus

This page was built for publication: Program termination using Z-transform theory