1445 search results - page 123 / 289 » Abstract Interpretation of Logic Programs |
151
click to vote
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
113
click to vote
CADE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
107
click to vote
JOLLI
2006
15 years 3 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 ...
150
click to vote
IFM
2009
Springer
15 years 24 days ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
111
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...