Folgen
Olin Shivers
Olin Shivers
Bestätigte E-Mail-Adresse bei ccs.neu.edu
Titel
Zitiert von
Zitiert von
Jahr
Control-flow analysis of higher-order languages or taming lambda
OG Shivers
Carnegie Mellon University, 1991
8521991
Control flow analysis in Scheme
O Shivers
Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988
5051988
The Flux OSKit: A substrate for kernel and language research
B Ford, G Back, G Benson, J Lepreau, A Lin, O Shivers
Proceedings of the sixteenth ACM symposium on Operating systems principles …, 1997
3991997
Improving flow analyses via ΓCFA: Abstract garbage collection and counting
M Might, O Shivers
Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006
1252006
CFA2: A context-free approach to control-flow analysis
D Vardoulakis, O Shivers
European Symposium on Programming, 570-589, 2010
1052010
The semantics of Scheme control-flow analysis
O Shivers
ACM SIGPLAN Notices 26 (9), 190-198, 1991
991991
Data-flow analysis and type recovery in Scheme
O Shivers
Carnegie Mellon University, 1990
641990
Varieties of learning in Soar: 1987
DM Steier, JE Laird, A Newell, PS Rosenbloom, RA Flynn, A Golding, ...
Proceedings of the Fourth International Workshop on Machine Learning, 300-311, 1987
501987
Environment analysis via ΔCFA
M Might, O Shivers
ACM SIGPLAN Notices 41 (1), 127-140, 2006
492006
A scheme shell
O Shivers
Massachusetts Institute of Technology, 1994
441994
A universal scripting framework or lambda: the ultimate “little language”
O Shivers
Annual Asian Computing Science Conference, 254-265, 1996
381996
Continuations and threads: Expressing machine concurrency directly in advanced languages
O Shivers
Proceedings of the Second ACM SIGPLAN Workshop on Continuations, 2-1, 1997
371997
An array-oriented language with static rank polymorphism
J Slepak, O Shivers, P Manolios
European Symposium on Programming Languages and Systems, 27-46, 2014
352014
Demand-driven type inference with subgoal pruning: Trading precision for scalability
SA Spoon, O Shivers
European Conference on Object-Oriented Programming, 51-74, 2004
342004
Atomic heap transactions and fine-grain interrupts
O Shivers, JW Clark, R McGrath
Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999
321999
Continuations and transducer composition
O Shivers, M Might
ACM SIGPLAN Notices 41 (6), 295-307, 2006
302006
Bodytalk and the bodynet: A personal information infrastructure
O Shivers
Massachusetts Institute of Technology, Laboratory for Computer Science …, 1993
301993
Preliminary design of the SAFE platform
A DeHon, B Karel, TF Knight Jr, G Malecha, B Montagu, R Morisset, ...
Proceedings of the 6th Workshop on Programming Languages and Operating …, 2011
282011
The anatomy of a loop: a story of scope and control
O Shivers
ACM SIGPLAN Notices 40 (9), 2-14, 2005
252005
Pushdown flow analysis of first-class control
D Vardoulakis, O Shivers
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
222011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20