Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Raymond J. Hookway"'
Publikováno v:
Computer Languages. 16:259-280
This paper develops modular verification rules for Ada generics which are proven to be sound and complete. The generic mechanism in Ada allows modules to be parameterized by types, procedures and functions. The modularity property allows a generic to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7bc4ab4358d50b293240a4b46f86d043
https://doi.org/10.1016/0096-0551(91)90010-7
https://doi.org/10.1016/0096-0551(91)90010-7
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 7:16-21
Processes in computer systems are often intimately involved with various data abstractions that occur in the systems. The specification of such processes should state the nature of this involvement. This note focuses on a special kind of process, cal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::401bd5244acc77e81f4d1abad2759e8c
https://doi.org/10.1145/1010904.1010908
https://doi.org/10.1145/1010904.1010908
Publikováno v:
ACM SIGPLAN Notices. 15:28-33
Semantics for procedures and their calls is proposed which describes two cases often considered to be outside contemporary programming languages: distributed computing and procedure calls that contain aliases. It is argued that this semantics should
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f932702a0cffabdfaaecd8f042b6cfa
https://doi.org/10.1145/947658.947661
https://doi.org/10.1145/947658.947661
Autor:
George W. Ernst, Raymond J. Hookway
Publikováno v:
ACM Annual Conference
A program verification system has been developed consisting of three major components. The verification condition generator(which is patterned after the work of Igarashi, London, and Luckham [10]) is used to generate verification conditions from asse
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e2290264de40f28ee9dfa02adf3ce5ae
https://doi.org/10.1145/800191.805651
https://doi.org/10.1145/800191.805651
Autor:
D. F. Kibler, Thomas A. Standish, Raymond J. Hookway, George W. Ernst, B. M. Leavenworth, J. C. Huang, J. M. Neighbors
Publikováno v:
ACM Annual Conference
“How to produce efficient and error-free software?” is the theme of this session. There will be three papers presented, each describes the result of a current research effort. In the first paper, a testing and debugging methodology which exploits
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b026b0f92ed03b79692f40acc53ddd7
https://doi.org/10.1145/800191.805649
https://doi.org/10.1145/800191.805649
Autor:
Raymond J. Hookway
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 10:51-52
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6357fd89bdfdf721fd59560a8f53d865
https://doi.org/10.1145/1012497.1012515
https://doi.org/10.1145/1012497.1012515
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.