|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 49 occurrences of 26 keywords
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dimitrios Vardoulakis, Olin Shivers |
CFA2: a Context-Free Approach to Control-Flow Analysis  |
Logical Methods in Computer Science  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vardoulakis, Olin Shivers |
Ordering multiple continuations on the stack. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olin Shivers, Aaron Joseph Turon |
Modular rollback through control logging: a pair of twin functional pearls. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vardoulakis, Olin Shivers |
Pushdown flow analysis of first-class control. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olin Shivers, Mitchell Wand |
Bottom-up beta-reduction: Uplinks and lambda-DAGs. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vardoulakis, Olin Shivers |
CFA2: A Context-Free Approach to Control-Flow Analysis. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olin Shivers |
Why teach programming languages. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | David Fisher, Olin Shivers |
Building language towers with Ziggurat. |
J. Funct. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might, Olin Shivers |
Exploiting reachability and cardinality in higher-order flow analysis. |
J. Funct. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantine Arkoudas, Olin Shivers |
Trusted Theorem Proving: A Case Study in SLD-Resolution. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might, Olin Shivers |
Analyzing the environment structure of higher-order languages using frame strings. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might, Benjamin Chambers, Olin Shivers |
Model Checking Via GammaCFA. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
abstract counting, abstract garbage collection, ?CFA, static analysis, Abstract interpretation, higher-order languages |
| 1 | Olin Shivers, David Fisher |
Multi-return function call. |
J. Funct. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Olin Shivers, Matthew Might |
Continuations and transducer composition. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines |
| 1 | Matthew Might, Olin Shivers |
Environment analysis via Delta CFA. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
delta-CFA, environment analysis, super-beta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining |
| 1 | Matthew Might, Olin Shivers |
Improving flow analyses via GammaCFA: abstract garbage collection and counting. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
abstract counting, abstract garbage collection, environment analysis, gamma-CFA, superbeta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining |
| 1 | David Fisher, Olin Shivers |
Static analysis for syntax objects. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
extensible programming languages, language towers, lazy delegation, static analysis, domain-specific languages, type inference, flow analysis, macros |
| 1 | Matthias Felleisen, Julia L. Lawall, Manuel Serrano, Olin Shivers |
Editorial. |
Higher-Order and Symbolic Computation |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Alexander Spoon, Olin Shivers |
Dynamic data polyvariance using source-tagged classes. |
DLS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Alexander Spoon, Olin Shivers |
Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages. |
WCRE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olin Shivers |
The anatomy of a loop: a story of scope and control. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
compilers, programming languages, functional programming, scheme, continuations, lambda-calculus, iteration, macros, control structures |
| 1 | Olin Shivers, Mitchell Wand |
Bottom-Up beta-Reduction: Uplinks and lambda-DAGs. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olin Shivers, David Fisher |
Multi-return function call. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
compilers, programming languages, functional programming, continuations, lambda calculus, control structures, procedure call |
| 1 | S. Alexander Spoon, Olin Shivers |
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin Runciman, Olin Shivers (eds.) |
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003 |
ICFP |
2003 |
DBLP BibTeX RDF |
|
| 1 | Olin Shivers, James W. Clark, Roland McGrath |
Atomic Heap Transactions and Fine-grain Interrupts. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin Shivers |
The Flux OSKit: A Substrate for Kernel and Language Research. |
SOSP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Olin Shivers |
Automatic Management of Operating System Resources. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Olin Shivers |
A Universal Scripting Framework or Lambda: The Ultimate "Little Language". |
ASIAN |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Olin Shivers |
The Semantics of Scheme Control-Flow Analysis. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Olin Shivers |
Useless-Variable Elimination. |
JTASPEFT/WSA |
1991 |
DBLP BibTeX RDF |
|
| 1 | Olin Shivers |
Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned (with retrospective) |
Best of PLDI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Olin Shivers |
Control-Flow Analysis in Scheme. |
PLDI |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")