Walther Nernst: grandfather of dark energy?
- 作者Helge Kragh
- 卷第53卷
- 期第1期
- 印刷ISSN1366-8781
- 电子ISSN1468-4004
- 文件大小245.17KB
- 发表时间2012
- DOI10.1111/j.1468-4004.2012.53124.x
- 页码1-1
Automatic predicate abstraction of C programsBall, Thomas; Majumdar, Rupak; Millstein, Todd; Rajamani, Sriram K. · ACM SIGPLAN Notices · 2001
[ACM Press the ACM SIGPLAN 2001 conference - Snowbird, Utah, United States (2001..-..)] Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01 - Automatic predicate abstraction of C programsBall, Thomas; Majumdar, Rupak; Millstein, Todd; Rajamani, Sriram K. · 2001
Automatic predicate abstraction of C programsBall, Thomas; Majumdar, Rupak; Millstein, Todd; Rajamani, Sriram K. · ACM SIGPLAN Notices · 2001
[ACM Press the ACM SIGPLAN 2001 conference - Snowbird, Utah, United States (2001..-..)] Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01 - Automatic predicate abstraction of C programsBall, Thomas; Majumdar, Rupak; Millstein, Todd; Rajamani, Sriram K. · 2001
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