- A Closed-Form Evaluation for Extended Timed Automata Laurent Fribourg Thu 20 June 2013
- Combinators for program generation Peter Thiemann Wed 19 June 2013
- Definitional interpreters for higher-order programming languages John C. Reynolds Tue 18 June 2013
- Proof of correctness of data representations C.A.R. Hoare Mon 17 June 2013
- From operational semantics to abstract machines: preliminary results John Hannan Dale Miller Mon 17 June 2013
- The essence of compiling with continuations Cormac Flanagan Amr Sabry Bruce F. Duba Matthias Felleisen Mon 17 June 2013
- Programming Languages and Lambda Calculi Matthias Felleisen Matthew Flatt Mon 17 June 2013
- The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two) Guy L Steele Gerald J Sussman Mon 17 June 2013
- An abstract machine for Lambda-terms normalization P. Crégut Mon 17 June 2013
- A functional correspondence between call-by-need evaluators and lazy abstract machines Mads Sig Ager Olivier Danvy Jan Midtgaard Mon 17 June 2013
- Reasoning about programs in continuation-passing style Amr Sabry Matthias Felleisen Mon 17 June 2013
- A functional correspondence between evaluators and abstract machines Mads Sig Ager Dariusz Biernacki Olivier Danvy Jan Midtgaard Mon 17 June 2013
- Solving Parity Games on Integer Vectors Parosh Aziz Abdulla Richard Mayr Arnaud Sangnier Jeremy Sproston Fri 14 June 2013
- Improving flow analyses via CFA: abstract garbage collection and counting Matthew Might Olin Shivers Fri 14 June 2013
- EigenCFA: accelerating flow analysis with GPUs Tarun Prabhu Shreyas Ramalingam Matthew Might Mary Hall Fri 14 June 2013
- Functional Reachability C.-H. Luke Ong Nikos Tzevelekos Fri 14 June 2013
- Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned Olin Shivers Thu 13 June 2013
- Relating complexity and precision in control flow analysis David Van Horn Harry G. Mairson Thu 13 June 2013
- Concrete Semantics for Pushdown Analysis: The Essence of Summarization J. Ian Johnson David Van Horn Thu 13 June 2013
- Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl Matthew Might David Van Horn Thu 13 June 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
