4719 search results - page 359 / 944 » Newtonian program analysis |
167
click to vote
PASTE
2004
ACM
16 years 2 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
160
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bound...
178
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Althoughthereisalargebodyofresearchonthetimeoverheadofobject oriented programs, there is little work on memory overhead. This paper takes an empirical approach to the study of this...
177
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
150
click to vote
ESOP
1990
Springer
15 years 10 months ago
1990
Springer
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...