Autor:	Eric C. R. Hehner
Rok vydání:	2017
Předmět:	For loop Semantics (computer science) Computer science business.industry Scalability Meaning (existential) Artificial intelligence Translation (geometry) computer.software_genre business computer Natural language processing Halting problem
Zdroj:	Present and Ulterior Software Engineering ISBN: 9783319674247 Present and Ulterior Software Engineering
DOI:	10.1007/978-3-319-67425-4_2
Popis:	Whether the meaning of a procedure is given by its specification or by its implementation has consequences for scalability of analysis, for localization of errors, for loop semantics, for program translation, and even for the halting problem.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::2e5f2668649749def85e7299e3e1c6f0 https://doi.org/10.1007/978-3-319-67425-4_2 Zobrazit plný text záznamu