1880 search results - page 150 / 376 » A Static Analysis for Beta-Binders |
260
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
In this demonstration, we present the main-memory based streaming XQuery engine GCX which implements novel buffer management strategies that combine static and dynamic analysis to...
166
click to vote
ESSOS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Memory errors continue to be a major source of software failure. To address this issue, we present MEDS (Memory Error Detection System), a system for detecting memory err...
141
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
137
click to vote
ACG
2006
Springer
16 years 17 days ago
2006
Springer
Seki is a situation of coexistence in the game of Go, where neither player can profitably capture the opponent’s stones. This paper presents a new method for deciding whether an...
157
click to vote
ECOOP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...