PPDP
2015
Springer
8 years 8 months ago
2015
Springer
We enrich spatial constraint systems with operators to specify information and processes moving from a space to another. We shall refer to these news structures as spatial constra...
PPDP
2015
Springer
8 years 8 months ago
2015
Springer
Concolic testing is a software testing technique combining concrete execution of a program (given specific input, along specific paths) with symbolic execution (generating new t...
PPDP
2015
Springer
8 years 8 months ago
2015
Springer
An improvement is a correct program transformation that optimizes the program, where the criterion is that the number of computation steps until a value is obtained is decreased. T...
PPDP
2015
Springer
8 years 8 months ago
2015
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
PPDP
2015
Springer
8 years 8 months ago
2015
Springer
It is well-known that monads are monoids in the category of endofunctors, and in fact so are applicative functors. Unfortunately, the benefits of this unified view are lost when...
PPDP
2015
Springer
8 years 8 months ago
2015
Springer
We propose a static analysis technique that computes upper bounds of virtual machine usages in a concurrent language with explicit acquire and release operations of virtual machin...
PPDP
2015
Springer
8 years 8 months ago
2015
Springer
PPDP
2015
Springer
8 years 8 months ago
2015
Springer
Ten years ago we introduced ReactiveML, an extension of a strict ML language with synchronous parallelism `a la Esterel to program reactive applications. Our purpose was to demons...
PPDP
2015
Springer
8 years 8 months ago
2015
Springer
Session-based concurrency is a type-based approach to the analysis of communication-intensive systems. Correct behavior in these systems may be specified in an operational or dec...
PPDP
2015
Springer
8 years 8 months ago
2015
Springer
We propose Lasp, a new programming model designed to simplify large-scale distributed programming. Lasp combines ideas from deterministic dataflow programming together with con...