Volgen
Olin Shivers
Olin Shivers
Geverifieerd e-mailadres voor ccs.neu.edu
Titel
Geciteerd door
Geciteerd door
Jaar
Control-flow analysis of higher-order languages or taming lambda
OG Shivers
Carnegie Mellon University, 1991
8991991
Control flow analysis in Scheme
O Shivers
Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988
5301988
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
4211997
Improving flow analyses via ΓCFA: Abstract garbage collection and counting
M Might, O Shivers
Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006
1302006
CFA2: A context-free approach to control-flow analysis
D Vardoulakis, O Shivers
Logical Methods in Computer Science 7, 2011
1142011
The semantics of Scheme control-flow analysis
O Shivers
ACM SIGPLAN Notices 26 (9), 190-198, 1991
1031991
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
561987
Environment analysis via ΔCFA
M Might, O Shivers
ACM SIGPLAN Notices 41 (1), 127-140, 2006
502006
An array-oriented language with static rank polymorphism
J Slepak, O Shivers, P Manolios
Programming Languages and Systems: 23rd European Symposium on Programming …, 2014
422014
A scheme shell
O Shivers
421994
Demand-driven type inference with subgoal pruning: Trading precision for scalability
SA Spoon, O Shivers
European Conference on Object-Oriented Programming, 51-74, 2004
382004
Continuations and threads: Expressing machine concurrency directly in advanced languages
O Shivers
Proceedings of the Second ACM SIGPLAN Workshop on Continuations, 2-1, 1997
381997
A universal scripting framework or lambda: the ultimate “little language”
O Shivers
Annual Asian Computing Science Conference, 254-265, 1996
381996
Bodytalk and the bodynet: A personal information infrastructure
O Shivers
Massachusetts Institute of Technology, Laboratory for Computer Science …, 1993
321993
Atomic heap transactions and fine-grain interrupts
O Shivers, JW Clark, R McGrath
Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999
311999
Continuations and transducer composition
O Shivers, M Might
ACM SIGPLAN Notices 41 (6), 295-307, 2006
302006
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
262011
The anatomy of a loop: a story of scope and control
O Shivers
ACM SIGPLAN Notices 40 (9), 2-14, 2005
242005
Pushdown flow analysis of first-class control
D Vardoulakis, O Shivers
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
232011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20