626 search results - page 21 / 126 » Abstract Modularity |
VSTTE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
EWSA
2006
Springer
14 years 1 months ago
2006
Springer
An architectural aspect is a concern that cuts across architecture ty units and cannot be effectively modularized using the given abstractions of conventional Architecture Descript...
AGP
1996
IEEE
14 years 1 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
ECOOP
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. The expression families problem can be defined as the problem of achieving reusability and composability across the components involved in a family of related datatypes a...
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...