4743 search results - page 367 / 949 » The PlusCal Algorithm Language |
151
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
168
click to vote
CHARME
2005
Springer
16 years 7 days ago
2005
Springer
Partial order (PO) reduction methods are widely employed to combat state explosion during model-checking. In this paper, we develop a partial order reduction algorithm for rule-bas...
175
click to vote
CP
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes a hybrid approach to solving large-scale constraint satisfaction and optimization problems. It describes a hybrid algorithm for integer linear programming whic...
159
click to vote
PPDP
2005
Springer
16 years 5 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
185
Voted
PPDP
2004
Springer
16 years 1 days ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...