9626 search results - page 1647 / 1926 » Invariant Based Programming |
151
click to vote
COCO
2004
Springer
16 years 1 days ago
2004
Springer
The language compression problem asks for succinct descriptions of the strings in a language A such that the strings can be efficiently recovered from their description when given...
154
click to vote
CP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
134
click to vote
CPAIOR
2004
Springer
16 years 1 days ago
2004
Springer
We discuss a di cult optimization problem on a chess-board, requiring equal numbers of black and white queens to be placed on the board so that the white queens cannot attack the b...
163
click to vote
CSL
2004
Springer
16 years 1 days ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...
180
click to vote
CSL
2004
Springer
16 years 1 days ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...