7124 search results - page 503 / 1425 » Programming Languages and Operating Systems |
345
click to vote
ECOOP
2009
Springer
16 years 8 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
218
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
227
click to vote
JFP
2008
15 years 7 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
172
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
Today's processors provide a rich source of statistical information on application execution through hardware counters. In this paper, we explore the utilization of these sta...
334
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...