445
Voted
PPDP
10 years 26 days ago
2015 Springer  429
Voted
PPDP
10 years 26 days 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...
425
Voted
PPDP
10 years 26 days 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....
424
Voted
PPDP
10 years 26 days 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...
421
Voted
PPDP
10 years 26 days 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...
|
Programming Languages