124
click to vote
FOSSACS
2016
Springer
10 years 1 months ago
2016
Springer
Abstract. We first develop a (semantical) characterization of call-byneed normalization by means of typability, i.e. we show that a term is normalizing in call-by-need if and only...
113
click to vote
FOSSACS
2016
Springer
10 years 1 months ago
2016
Springer
We consider infinite-state Markov decision processes (MDPs) that are induced by extensions of vector addition systems with states (VASS). Verification conditions for these MDPs a...
131
click to vote
FOSSACS
2016
Springer
10 years 1 months ago
2016
Springer
We introduce a class of transformations of finite data words generalizing the well-known class of regular finite string transformations described by MSO-definable transductions ...
151
click to vote
FOSSACS
2016
Springer
10 years 1 months ago
2016
Springer
Focusing is a general technique for transforming a sequent proof system into one with a syntactic separation of non-deterministic choices without sacrificing completeness. This no...
154
click to vote
FOSSACS
2016
Springer
10 years 1 months ago
2016
Springer
The task of program slicing is to remove the parts of a program that are irrelevant in a given context. In probabilistic programs, where variables may be assigned random values fr...