228
click to vote
ESOP
9 years 10 months ago
2016 Springer 
Abstract. The original formulation of the Curry–Howard correspondence relates propositional logic to the simply-typed λ-calculus at three levels: the syntax of propositions corr...
127
click to vote
ESOP
9 years 10 months ago
2016 Springer
Most programs interact with the world: via graphical user interfaces, networks, etc. This form of interactivity entails concurrency, and concurrent program components must coordina...
218
click to vote
POPL
9 years 10 months ago
2016 ACM
We present Prophet, a novel patch generation system that works with a set of successful human patches obtained from opensource software repositories to learn a probabilistic, appl...
152
click to vote
PPNA
9 years 10 months ago
2016
Modeling and simulation can help to validate and evaluate the performance of wireless sensor networks (WSNs) within specific applications. In order to resolve the issue of the re...
130
click to vote
ESOP
9 years 10 months ago
2016 Springer
Abstract. Staged programming languages assign a stage to each program expression and evaluate each expression in its assigned stage. A common use of staged languages is to describe...
|
Programming Languages