Olin Shivers
From MaRDI portal
Person:879360
Available identifiers
zbMath Open shivers.olinMaRDI QIDQ879360
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Environment analysis via ΔCFA | 2017-08-21 | Paper |
| Improving flow analyses via ΓCFA | 2015-08-03 | Paper |
| Static analysis for syntax objects | 2015-08-03 | Paper |
| Multi-return function call | 2015-03-09 | Paper |
| Modular rollback through control logging | 2015-03-05 | Paper |
| Pushdown flow analysis of first-class control | 2015-03-05 | Paper |
| The anatomy of a loop | 2015-01-06 | Paper |
| An Array-Oriented Language with Static Rank Polymorphism | 2014-04-16 | Paper |
| CFA2: a context-free approach to control-flow analysis | 2011-05-26 | Paper |
| Bottom-up \(\beta\)-reduction: uplinks and \(\lambda\)-DAGs | 2011-05-18 | Paper |
| CFA2: A Context-Free Approach to Control-Flow Analysis | 2010-05-04 | Paper |
| Building language towers with Ziggurat | 2008-12-18 | Paper |
| Exploiting reachability and cardinality in higher-order flow analysis | 2008-12-18 | Paper |
| Model Checking Via ΓCFA | 2008-04-04 | Paper |
| Analyzing the environment structure of higher-order languages using frame strings | 2007-05-11 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
Research outcomes over time
This page was built for person: Olin Shivers
