The reachability-bound problem
- 期刊名称ACM SIGPLAN Notices
- 作者Gulwani, Sumit; Zuleger, Florian
- 卷第45卷
- 期第6期
- 印刷ISSN0362-1340
- 文件大小730.11KB
- 发表时间2010-05-12
- DOI10.1145/1809028.1806630
Software metrics and software maintenanceRonald J. Leach · 1990
Experiments in software reengineeringRonald J. Leach · 1999
Graphical control systems and multiple displaysRonald J. Leach · 1985
Using metrics to evaluate student programsLeach, Ronald J. · ACM SIGCSE Bulletin · 1995
Experiences teaching concurrency in AdaLeach, Ronald J. · ACM SIGAda Ada Letters · 1987
A Case Study in Narne MatchingLeach, Ronald J. · Names · 2006
Evaluating the performance of a user interfaceRonald J. Leach · 1987
An advanced operating systems project using concurrencyLeach, Ronald J. · ACM SIGCSE Bulletin · 1990
Re-engineering the ICT professionPreston, Christina · ACM Inroads · 2011
The hermeneutics of program comprehensionClear, Tony · ACM Inroads · 2012
Sharing computer science education ideasFraiman, Zeev; Kanel, Evgeny; Gal-Ezer, Judith; Lapidot, Tami · ACM Inroads · 2013
CS2013Henderson, Peter B. · ACM Inroads · 2013
Tuple transformationGinat, David · ACM Inroads · 2013
Longest sum modulo-3Ginat, David · ACM Inroads · 2014
ICT literacy educationLavy, Ilana; Or-Bach, Rachel · ACM Inroads · 2011
REFLECTIONSLanguage wars and false dichotomiesKumar, Deepak · ACM Inroads · 2010