1216 search results - page 44 / 244 » Translation analysis and translation automation |
LPNMR
2001
Springer
14 years 23 days ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
FLOPS
1999
Springer
14 years 18 days ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
CSL
1997
Springer
14 years 14 days ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
ICLP
1990
Springer
14 years 11 days ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we in...