Sciweavers

Share
ESOP
2016
Springer
2 years 8 months ago
Computing with Semirings and Weak Rig Groupoids
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...
Jacques Carette, Amr Sabry
ESOP
2016
Springer
2 years 8 months ago
Coordinated Concurrent Programming in Syndicate
Most programs interact with the world: via graphical user interfaces, networks, etc. This form of interactivity entails concurrency, and concurrent program components must coordina...
Tony Garnock-Jones, Matthias Felleisen
POPL
2016
ACM
2 years 8 months ago
Automatic patch generation by learning correct code
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...
Fan Long, Martin Rinard
PPNA
2016
2 years 8 months ago
OPNET-based modeling and simulation of mobile Zigbee sensor networks
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...
Xiaolong Li, Meiping Peng, Jun Cai, Changyan Yi, H...
ESOP
2016
Springer
2 years 8 months ago
Automatically Splitting a Two-Stage Lambda Calculus
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...
Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayv...
Programming Languages
Top of PageReset Settings
books