[ACM Press Papers from the international symposium - Berkeley, California, United States (1992.07.27-1992.07.29)] Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 - NODES
- 作者Codutti, M.
- 文件大小674.38KB
- 发表时间1992
- DOI10.1145/143242.143273
- 页码69-79
Ada 83 to Ada 2012Barnes, John; Taft, S. Tucker · ACM SIGAda Ada Letters · 2014
Ada 9X: a technical summaryTaft, S. Tucker · Communications of the ACM · 1992
Keynote addressTaft, S. Tucker · ACM SIGAda Ada Letters · 2001
Experimenting with parasailTaft, S. Tucker · ACM SIGAda Ada Letters · 2011
Ada 9XTaft, S. Tucker · ACM SIGPLAN Notices · 1993
Implementing the extended return statement for Ada 2005Taft, S. Tucker · ACM SIGAda Ada Letters · 2008
Bringing safe, dynamic parallel programming to the spark verifiable subset of adaTaft, S. Tucker · ACM SIGAda Ada Letters · 2013
Ada and the software vulnerabilities projectBurns, Alan; Pinho, Miguel; Ploedereder, Erhard; Real, Jorge; Rosen, J. P.; Schonberg, Ed; Taft, S. Tucker; Vardanega, T.; Tokar, Joyce L.; Baird, Stephen; Barnes, John; Chapman, Rod; Dismukes, Gary; Gonzales-Harbour, Michael; Michell, Stephen; Moore, Brad · ACM SIGAda Ada Letters · 2010