Teaching transaction management with SQL examples
- 期刊名称ACM SIGCSE Bulletin
- 作者Fekete, Alan
- 卷第37卷
- 期第3期
- 印刷ISSN0097-8418
- 文件大小92.13KB
- 发表时间2005-09-01
- DOI10.1145/1151954.1067492
ESPDas, Manuvir; Lerner, Sorin; Seigle, Mark · ACM SIGPLAN Notices · 2002
Righting softwareLarus, J.R.; Ball, T.; Manuvir Das; DeLine, R.; Fahndrich, M.; Pincus, J.; Rajamani, S.K.; Venkatapathy, R. · 2004
Unification-based pointer analysis with directional assignmentsDas, Manuvir · ACM SIGPLAN Notices · 2000
Static analysis of large programs (invited talk) (abstract only)Das, Manuvir · ACM SIGPLAN Notices · 1999
Symbolic path simulation in path-sensitive dataflow analysisHampapuram, Hari; Yang, Yue; Das, Manuvir · ACM SIGSOFT Software Engineering Notes · 2006
Scalable context-sensitive flow analysis using instantiation constraintsFähndrich, Manuel; Rehof, Jakob; Das, Manuvir · ACM SIGPLAN Notices · 2000
Software validation via scalable path-sensitive value flow analysisDor, Nurit; Adams, Stephen; Das, Manuvir; Yang, Zhe · ACM SIGSOFT Software Engineering Notes · 2004
The use of program profiling for software maintenance with applications to the year 2000 problemReps, Thomas; Ball, Thomas; Das, Manuvir; Larus, James · ACM SIGSOFT Software Engineering Notes · 1997