4211 search results - page 212 / 843 » Types as Abstract Interpretations |
139
click to vote
ESOP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...
122
click to vote
SAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
134
click to vote
CASSIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
135
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
126
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
We describe a new, general approach for safeguarding systems against any type of code-injection attack. We apply Kerckhoff’s principle, by creating process-specific randomized ...