Autor:	Eric C. R. Hehner
Rok vydání:	1998
Předmět:	Spacetime Computability ESPACE Space requirements Theory of computation Calculus Mathematical proof Space (mathematics) Software Theoretical Computer Science Mathematics
Zdroj:	Formal Aspects of Computing. 10:290-306
ISSN:	1433-299X 0934-5043
DOI:	10.1007/s001650050017
Popis:	Time and space limitations can be specified, and proven, in exactly the same way as functionality. Proofs of time bounds, both implementation-independent and real-time, and of space requirements, both worst-case and average-case, are given in complete detail.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1898bc86da2133be2835c477ee95c5e6 https://doi.org/10.1007/s001650050017 Zobrazit plný text záznamu Full text from SpringerLink