1379 search results - page 190 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
138
click to vote
POPL
2010
ACM
16 years 13 days ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
133
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
250
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...
160
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
141
click to vote
DAGSTUHL
1998
15 years 4 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...