339 search results - page 19 / 68 » Basic concepts of abstract interpretation |
115
click to vote
EUROMICRO
2004
IEEE
15 years 5 months ago
2004
IEEE
A contemporary office or knowledge worker has to deal with an ever increasing number of information channels and associated flows of events (i.e., software applications using vary...
114
Voted
NDJFL
2000
15 years 1 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
108
click to vote
CC
2002
Springer
15 years 1 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
154
Voted
CAV
2009
Springer
15 years 5 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
119
click to vote
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Data privacy is an important application of ontology modularization. The aim is to publish one module while keeping the information of another module private. We show how...