Toward models for probabilistic program correctness
- 期刊名称ACM SIGMETRICS Performance Evaluation Review
- 作者Duran, Joe W.; Wiorkowski, John J.
- 卷第7卷
- 印刷ISSN0163-5999
- 文件大小314.52KB
- 发表时间1978-11-01
- DOI10.1145/1007775.811098
- 页码39-44
An integrated Lisp programming environmentWertz, Harald · ACM SIGSOFT Software Engineering Notes · 1983
[ACM Press the symposium - Pacific Grove, California (1983.03.20-1983.03.23)] Proceedings of the symposium on High-level debugging - SIGSOFT '83 - An integrated Lisp programming environmentWertz, Harald · 1983
An integrated Lisp programming environmentWertz, Harald · ACM SIGSOFT Software Engineering Notes · 1983
Stereotyped program debugging: an aid for novice programmersHarald Wertz · 1982
[ACM Press the symposium - Pacific Grove, California (1983.03.20-1983.03.23)] Proceedings of the symposium on High-level debugging - SIGSOFT '83 - An integrated Lisp programming environmentWertz, Harald · 1983
[IEEE 2009 IEEE International Conference on Software Maintenance (ICSM) - Edmonton, AB, Canada (2009.09.20-2009.09.26)] 2009 IEEE International Conference on Software Maintenance - The squale model — A practice-based industrial quality modelMordal-Manet, Karine; Balmas, Francoise; Denier, Simon; Ducasse, Stephane; Wertz, Harald; Laval, Jannik; Bellingard, Fabrice; Vaillergues, Philippe · 2009
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