3481 search results - page 499 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
146
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
136
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
157
click to vote
SECON
2007
IEEE
15 years 10 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
125
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
118
click to vote
KR
1998
Springer
15 years 8 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...