372
Voted
PPDP
9 years 10 months ago
2015 Springer  370
Voted
PPDP
9 years 10 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...
363
Voted
PPDP
9 years 10 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...
358
Voted
PPDP
9 years 10 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....
357
click to vote
PPDP
9 years 10 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...
|
Programming Languages