376
click to vote
PPDP
2015
Springer
9 years 11 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...
367
Voted
PPDP
2015
Springer
9 years 11 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...
373
click to vote
PPDP
2015
Springer
9 years 11 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....
362
click to vote
PPDP
2015
Springer
9 years 11 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...
363
click to vote
PPDP
2015
Springer
9 years 11 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...