354
Voted
PPDP
9 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...
353
Voted
PPDP
9 years 8 months ago
2015 Springer  346
Voted
PPDP
9 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...
339
Voted
PPDP
9 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...
337
Voted
PPDP
9 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....
|
Programming Languages