578 search results - page 25 / 116 » Analysis of Programs with Exception-Handling Constructs |
119
click to vote
ICLP
1997
Springer
15 years 4 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
121
click to vote
MICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
APLAS
2004
ACM
15 years 5 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
136
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
91
Voted
RAID
2005
Springer
15 years 6 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...