312 search results - page 35 / 63 » Effects of context on program slicing |
171
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
PADL
2007
Springer
15 years 3 months ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
ESOP
2004
Springer
15 years 3 months ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
SIGADA
1993
Springer
15 years 1 months ago
1993
Springer
The Navy’s Next Generation Computer Resources (NGCR) program set up a Project Support Environment Standards Working Group (PSESWG) to help in the task of establishing interface ...
109
click to vote
COOPIS
2004
IEEE
15 years 1 months ago
2004
IEEE
Mobile platforms combined with large databases promise new opportunities for mobile applications. However, mobile computing devices may experience frequent communication loss while...