4719 search results - page 45 / 944 » Newtonian program analysis |
CC
2005
Springer
15 years 4 months ago
2005
Springer
ICLP
2005
Springer
15 years 4 months ago
2005
Springer
63
Voted
SIGADA
2005
Springer
15 years 4 months ago
2005
Springer
72
Voted
IFIP
2004
Springer
15 years 4 months ago
2004
Springer
109
Voted
AGP
1996
IEEE
15 years 3 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 ...