DOI10.1016/0167-6423(90)90018-9zbMath0732.68025OpenAlexW4212949860MaRDI QIDQ808685
Eric C. R. Hehner
Publication date: 1990 Published in: Science of Computer Programming (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0167-6423(90)90018-9
zbMATH Keywords
programming is provingprograms are predicatestermination is timing
Mathematics Subject Classification ID
Logic programming (68N17) General topics in the theory of software (68N01)
Related Items