43 search results - page 7 / 9 » popl 2009 |
202
click to vote
POPL
2009
ACM
16 years 19 days ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
195
click to vote
POPL
2009
ACM
16 years 19 days ago
2009
ACM
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
209
click to vote
POPL
2009
ACM
16 years 19 days ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
194
click to vote
POPL
2009
ACM
16 years 19 days ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
174
click to vote
POPL
2009
ACM
16 years 19 days ago
2009
ACM
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...