Sciweavers

6960 search results - page 7 / 1392
» Continuity Analysis of Programs
Sort
View
CORR
2010
Springer
97views Education» more  CORR 2010»
15 years 5 months ago
Continuation-Passing C, compiling threads to events through continuations
Abstract In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented t...
Gabriel Kerneis, Juliusz Chroboczek
248
Voted
POPL
2008
ACM
16 years 6 months ago
An approach to call-by-name delimited continuations
Hugo Herbelin, Silvia Ghilezan
ICFP
2004
ACM
16 years 5 months ago
A type-theoretic foundation of continuations and prompts
Zena M. Ariola, Hugo Herbelin, Amr Sabry
PLDI
1993
ACM
15 years 10 months ago
The Essence of Compiling with Continuations
Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthia...
ISSRE
2002
IEEE
15 years 10 months ago
An Empirical Study of Tracing Techniques from a Failure Analysis Perspective
Tracing is a dynamic analysis technique to continuously capture events of interest on a running program. The occurrence of a statement, the invocation of a function, and the trigg...
Satya Kanduri, Sebastian G. Elbaum