134 search results - page 20 / 27 » Higher-Order and Semantic Unification |
LOPSTR
1992
Springer
14 years 14 days ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
IRI
2008
IEEE
14 years 2 months ago
2008
IEEE
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...
JDCTA
2010
13 years 3 months ago
2010
In this paper we introduce the semantic approach of the answer extraction component of a question answering system called SBUQA. The answer extraction component gets the retrieved...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
CADE
2006
Springer
14 years 8 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...