1689 search results - page 167 / 338 » Refining abstract interpretations |
136
Voted
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
126
Voted
JOLLI
2006
15 years 5 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
145
Voted
ML
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. We consider a large volume principle for transductive learning that prioritizes the transductive equivalence classes according to the volume they occupy in hypothesis spa...
139
click to vote
CC
2002
Springer
15 years 4 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;...
132
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Interface adaptation allows code written for one interface to be used with a software component with another interface. When multiple adapters are chained together to make certain...