1239 search results - page 101 / 248 » Control Generation for Logic Programs |
118
Voted
ACMSE
2006
ACM
15 years 6 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
121
click to vote
RTCSA
2000
IEEE
15 years 7 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
115
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and h...
142
click to vote
PADL
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
120
Voted
JAR
2010
15 years 1 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...