Sciweavers

6960 search results - page 7 / 1392
» Continuity Analysis of Programs
Sort
View
CORR
2010
Springer
97views Education» more  CORR 2010»
14 years 9 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
61
Voted
ICFP
2004
ACM
15 years 9 months ago
A type-theoretic foundation of continuations and prompts
Zena M. Ariola, Hugo Herbelin, Amr Sabry
PLDI
1993
ACM
15 years 1 months ago
The Essence of Compiling with Continuations
Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthia...
ISSRE
2002
IEEE
15 years 2 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