94 search results - page 1 / 19 » Linear Higher-Order Pre-Unification |
81
Voted
LICS
1997
IEEE
15 years 1 months ago
1997
IEEE
113
click to vote
FOSSACS
2011
Springer
14 years 1 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
88
Voted
VIS
2006
IEEE
15 years 11 months ago
2006
IEEE
Accurately representing higher-order singularities of vector fields defined on piecewise linear surfaces is a non-trivial problem. In this work, we introduce a concise yet complet...
103
Voted
PADL
2007
Springer
15 years 4 months ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
61
Voted
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
