フォロー
Olin Shivers
Olin Shivers
確認したメール アドレス: ccs.neu.edu
タイトル
引用先
引用先
Control-flow analysis of higher-order languages or taming lambda
OG Shivers
Carnegie Mellon University, 1991
8951991
Control flow analysis in Scheme
O Shivers
Proceedings of the ACM SIGPLAN 1988 conference on Programming Language …, 1988
5261988
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
4201997
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
1122011
The semantics of Scheme control-flow analysis
O Shivers
ACM SIGPLAN Notices 26 (9), 190-198, 1991
1021991
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
551987
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
411994
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20