Proof of termination within a weak logic of programs

zbMath0357.68014MaRDI QIDQ1238994

Norihisa Suzuki, David C. Luckham

Publication date: 1977

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Safe programming

This page was built for publication: Proof of termination within a weak logic of programs