1916 search results - page 120 / 384 » Reasoning with class algebra |
138
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
107
Voted
SIGCOMM
2003
ACM
15 years 6 months ago
2003
ACM
Path vector protocols are currently in the limelight, mainly because the inter-domain routing protocol of the Internet, BGP (Border Gateway Protocol), belongs to this class. In th...
99
Voted
ALP
1994
Springer
15 years 4 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
EWCBR
1998
Springer
15 years 5 months ago
1998
Springer
Object-oriented case representations require approaches for similarity assessment that allow to compare two differently structured objects, in particular, objects belonging to diff...
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...