481 search results - page 5 / 97 » Executing Higher Order Logic |
124
Voted
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
156
Voted
TPHOL
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...
117
Voted
CADE
2006
Springer
16 years 4 months ago
2006
Springer
149
Voted
PADL
2007
Springer
15 years 9 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...
185
Voted
CL
2000
Springer
15 years 8 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...