Zobrazeno 1 - 3
of 3
pro vyhledávání: '"David Langworthy"'
Publikováno v:
ACM SIGPLAN Notices. 45:105-116
We study a first-order functional language with the novel combination of the ideas of refinement type (the subset of a type to satisfy a Boolean expression) and type-test (a Boolean expression testing whether a value belongs to a type). Our core calc
The military of the future will increasingly rely upon information superiority to dominate the battlespace. The size and complexity of the software systems necessary to achieve this goal makes them highly vulnerable to the loss or degradation of host
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::95730c374610e3be42d57cfd8479909c
https://doi.org/10.21236/ada372229
https://doi.org/10.21236/ada372229
This is the eBook version of the printed book. If the print book includes a CD-ROM, this content is not included within the eBook version. The “Oslo” Modeling Language (commonly referred to as'M') is a language for defining domain models and lang