Zobrazeno 1 - 1
of 1
pro vyhledávání: '"James A. Menegay"'
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
