6 search results - page 2 / 2 » DARPA's HPCS Program- History, Models, Tools, Languages |
140
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...