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
Volume9
Issue number2
Pages (from-to)107-136
ISSN0167-6423
StatePublished - 1987
Peer-reviewedYes
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 3972827