3516 search results - page 106 / 704 » Programming Languages: Application and Interpretation |
108
click to vote
ISSTA
2012
ACM
13 years 8 days ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
POPL
2010
ACM
15 years 4 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
SIGMOD
2011
ACM
14 years 19 days ago
2011
ACM
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...
VL
1998
IEEE
15 years 1 months ago
1998
IEEE
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...
100
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...