2084 search results - page 170 / 417 » Set Constraints in Logic Programming |
133
click to vote
JFP
2008
15 years 2 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
139
Voted
ENTCS
2002
15 years 2 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
147
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
118
click to vote
AMAST
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
214
click to vote
MST
2010
15 years 1 months ago
2010
We study a family of problems, called Maximum Solution (Max Sol), where the objective is to maximise a linear goal function over the feasible integer assignments to a set of variab...