196 search results - page 39 / 40 » Widening Operators for Abstract Interpretation |
RSCTC
1998
Springer
13 years 10 months ago
1998
Springer
Abstract. Institutional databases can be instrumental in understanding a business process, but additional data may broaden the empirical perspective on the investigated process. We...
JAIR
2007
13 years 5 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
BMCBI
2005
13 years 5 months ago
2005
Background: Massive text mining of the biological literature holds great promise of relating disparate information and discovering new knowledge. However, disambiguation of gene s...
ENTCS
2000
13 years 5 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
ENTCS
2002
13 years 5 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...