367 search results - page 6 / 74 » Adapting functional programs to higher order logic |
AGP
1999
IEEE
14 years 28 days ago
1999
IEEE
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
JUCS
2007
13 years 8 months ago
2007
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
CL
2000
Springer
14 years 29 days 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 ...