8132 search results - page 74 / 1627 » Dependability, Abstraction, and Programming |
173
Voted
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
A dependence model for reverse engineering should treat procedures in a modular fashion and should be fine-grained, distinguishing dependences that are due to different variables....
203
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
When we try to debug or to comprehend a large program, it is important to separate suspicious program portions from the overall source program. Program slicing is a promising tech...
205
Voted
ESOP
2005
Springer
16 years 9 days ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
185
click to vote
CSL
2000
Springer
15 years 11 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...