SODS/OS
- 期刊名称ACM SIGOPS Operating Systems Review
- 作者Sincoskie, W. David; Farber, David J.
- 卷第14卷
- 期第3期
- 印刷ISSN0163-5980
- 文件大小591.31KB
- 发表时间1980-07-01
- DOI10.1145/850697.850704
- 页码46-54
Radiation shielding and effective atomic number studies in different types of shielding concretes, lead base and non-lead base glass systems for total electron interaction: A comparative studyKurudirek, Murat · Nuclear Engineering and Design · 2014
[ACM Press the ACM SIGPLAN 2003 conference - San Diego, California, USA (2003.06.09-2003.06.11)] Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03 - A type and effect system for atomicityFlanagan, Cormac; Qadeer, Shaz · 2003
Transactions for Software Model CheckingCormac Flanagan; Shaz Qadeer · 2003
Modular verification of multithreaded programsCormac Flanagan; Stephen N. Freund; Shaz Qadeer; Sanjit A. Seshia · 2005
Predicate abstraction for software verificationFlanagan, Cormac; Qadeer, Shaz · ACM SIGPLAN Notices · 2002
Types for atomicityFlanagan, Cormac; Freund, Stephen N.; Lifshin, Marina; Qadeer, Shaz · ACM Transactions on Programming Languages and Systems · 2008
Exploiting purity for atomicityFlanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz · ACM SIGSOFT Software Engineering Notes · 2004
[ACM Press the 2004 ACM SIGSOFT international symposium - Boston, Massachusetts, USA (2004.07.11-2004.07.14)] Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 - Exploiting purity for atomicityFlanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz · 2004
[ACM Press the ACM SIGPLAN 2003 conference - San Diego, California, USA (2003.06.09-2003.06.11)] Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03 - A type and effect system for atomicityFlanagan, Cormac; Qadeer, Shaz · 2003
Guarded recursive datatype constructorsXi, Hongwei; Chen, Chiyan; Chen, Gang · ACM SIGPLAN Notices · 2003
The towers of HanoiEggers, Bleicke · ACM SIGPLAN Notices · 1985
ESPDas, Manuvir; Lerner, Sorin; Seigle, Mark · ACM SIGPLAN Notices · 2002
Are applicative languages inefficient?Ponder, Carl G.; McGeer, Patrick; Ng, Anthony P-C. · ACM SIGPLAN Notices · 1988
Paths between imperative and functional programmingBall, Thomas · ACM SIGPLAN Notices · 1999
Scalable component abstractionsOdersky, Martin; Zenger, Matthias · ACM SIGPLAN Notices · 2005
PinocchioVerwaest, Toon; Bruni, Camillo; Gurtner, David; Lienhard, Adrian; Niestrasz, Oscar · ACM SIGPLAN Notices · 2010
Regularities considered harmfulPark, Heekwon; Baek, Seungjae; Choi, Jongmoo; Lee, Donghee; Noh, Sam H. · ACM SIGPLAN Notices · 2013