LPAR
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Jer
LPAR
2010
Springer
13 years 4 months ago
2010
Springer
LPAR
2010
Springer
13 years 4 months ago
2010
Springer
A rational and selfish environment may have an incentive to cheat the system it interacts with. Cheating the system amounts to reporting a stream of inputs that is different from ...
LPAR
2010
Springer
13 years 4 months ago
2010
Springer
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...
LPAR
2010
Springer
13 years 4 months ago
2010
Springer
LPAR
2010
Springer
13 years 4 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
LPAR
2010
Springer
13 years 4 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
LPAR
2010
Springer
13 years 4 months ago
2010
Springer
LPAR
2010
Springer
13 years 4 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
LPAR
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Me...