269 search results - page 47 / 54 » Verification of Parameterized Systems Using Logic Program Tr... |
119
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
111
Voted
PLILP
1993
Springer
15 years 5 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
128
Voted
HASKELL
2006
ACM
15 years 7 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
109
Voted
CAV
2008
Springer
15 years 3 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
143
Voted
DB
2008
15 years 1 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...