A Hoare-like proof system for analysing the computation time of programs

Publication: Research - peer-reviewJournal article – Annual report year: 1987

View graph of relations

Original languageEnglish
JournalScience of Computer Programming
Publication date1987
Volume9
Journal number2
Pages107-136
ISSN0167-6423
StatePublished
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 3972827