8232 search results - page 377 / 1647 » Dynamic Logic Programming |
206
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract— In recent years, XML-based Publish-Subscribe Systems have become popular due to the increased demand of timely event-notification. Users (or subscribers) pose complex ...
237
click to vote
ECOOP
2012
Springer
13 years 9 months ago
2012
Springer
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...
205
click to vote
PLDI
2003
ACM
16 years 17 hour ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...