default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGAda Conference on High Integrity Language Technology (SIGAda)
TRI-Ada Conference (TRI-Ada)
HILT 2014: Portland, Oregon, USA
- Michael B. Feldman, S. Tucker Taft:
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014. ACM 2014, ISBN 978-1-4503-3217-0 [contents]
HILT 2013: Pittsburgh, Pennsylvania, USA
- Jeff Boleng, S. Tucker Taft:
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013. ACM 2013, ISBN 978-1-4503-2467-0 [contents]
HILT 2012: Boston, Massachusetts, USA
- Ben Brosgol, Jeff Boleng, S. Tucker Taft:
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA. ACM 2012, ISBN 978-1-4503-1505-0 [contents]
SIGAda 2011: Denver, Colorado, USA
- Ricky E. Sward, Michael B. Feldman, Dan Eilers, Jean-Pierre Rosen, Frank Singhoff, Julien Delange, Mark Gardinier, Karl A. Nyberg, Jeff Boleng:
Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, Denver, Colorado, USA, November 6-10, 2011. ACM 2011, ISBN 978-1-4503-1028-4 [contents]
SIGAda 2010: Fairfax, Virginia, USA
- Alok Srivastava, Jeff Boleng:
Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010. ACM 2010, ISBN 978-1-4503-0027-8 [contents]
SIGAda 2009: Saint Petersburg, Florida, USA
- Greg Gicca, Jeff Boleng:
Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, Saint Petersburg, Florida, USA, November 1-5, 2009. ACM 2009, ISBN 978-1-60558-475-1 [contents]
SIGAda 2008: Portland, OR, USA
- Michael B. Feldman, Leemon C. Baird III:
Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008. ACM 2008, ISBN 978-1-60558-274-0 [contents]
SIGAda 2007: Fairfax, Virginia, USA
- Alok Srivastava, Leemon C. Baird III:
Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007. ACM 2007, ISBN 978-1-59593-876-3 [contents]
SIGAda 2006: Albuquerque, New Mexico, USA
- Greg Gicca, Ricky E. Sward, Leemon C. Baird III:
Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006. ACM 2006, ISBN 1-59593-563-0 [contents]
SIGAda 2005: Atlanta, GA, USA
- John W. McCormick, Leemon C. Baird III:
Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005. ACM 2005, ISBN 1-59593-185-6 [contents]
SIGAda 2004: Atlanta, GA, USA
- John W. McCormick, Ricky E. Sward:
Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004. ACM 2004, ISBN 1-58113-906-3 [contents]
SIGAda 2003: San Diego, CA, USA
- Robert C. Leif, Ricky E. Sward:
Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003. ACM 2003, ISBN 1-58113-476-2 [contents]
SIGAda 2002: Houston, Texas, USA
- Salih Yurttas, John McCormick:
Proceedings of the 2002 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2002, Houston, Texas, USA, December 8-12, 2002. ACM 2002, ISBN 1-58113-611-0 [contents]
SIGAda 2001: Bloomington, Minnesota, USA
- Paul D. Stachour:
Proceedings ACM SIGAda Annual International Conference, SIGAda 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA, September 30 - October 4, 2001. ACM 2001, ISBN 1-58113-392-8 [contents]
SIGAda 2000: Laurel, MD, USA
SIGAda 1999: Redondo Beach, CA, USA
- Hal Hart, S. Tucker Taft, Franco Gasperoni:
Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999. ACM 1999, ISBN 1-58113-127-5 [contents]
SIGAda 1998: Washington, DC, USA
- Ed Seidewitz, William Thomas, Michael B. Feldman:
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, SIGAda 1998, Washington, DC, USA, November 8-12, 1998. ACM 1998, ISBN 1-58113-033-3 [contents]
TRI-Ada 1997: St. Louis, Missouri, USA
- Susan Carlson:
Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA. ACM 1997, ISBN 0-89791-981-5 [contents]
TRI-Ada 1996: Philadelphia, Pennsylvania
- Susan Carlson:
The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA. ACM 1996, ISBN 0-89791-808-8 [contents]
TRI-Ada 1995: Anaheim, CA, USA
- Charles B. Engle Jr.:
Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, November 5 -10, 1995, Anaheim, CA, USA. ACM 1995, ISBN 0-89791-705-7 [contents] - David Cook:
Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, TRI-Ada 1995, November 5-10, 1995, Anaheim, CA, USA. ACM 1995, ISBN 0-89791-705-7 [contents]
TRI-Ada 1994: Baltimore, Maryland, USA
- Charles B. Engle Jr.:
Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA. ACM 1994, ISBN 0-89791-666-2 [contents]
TRI-Ada 1993: Seattle, Washington, USA
- Charles B. Engle Jr.:
Conference Proceedings on TRI-Ada 1993, September 18-23, 1993, Seattle, Washington, USA. ACM 1993, ISBN 0-89791-621-2 [contents]
TRI-Ada 1992: Orlando, Florida, USA
- Geoffrey O. Mendal, Charles B. Engle Jr.:
Conference Proceedings on TRI-Ada 1992, Orlando, Florida USA, November 17-20, 1992. ACM 1992, ISBN 0-89791-529-1 [contents] - Geoffrey O. Mendal:
Tutorial Proceedings on TRI-Ada 1992, November 17-20, 1992, Orlando, Florida USA - Volume 1. ACM 1992, ISBN 0-89791-530-5 [contents] - Geoffrey O. Mendal:
Tutorial Proceedings on TRI-Ada 1992, November 17-20, 1992, Orlando, Florida USA - Volume 2. ACM 1992, ISBN 0-89791-530-5 [contents]
TRI-Ada 1991: San Jose, CA, USA
- Judy Bamberger:
Proceedings of the Conference on TRI-Ada 1991 - Today's Accomplishments; Tomorrow's Expectations, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991. ACM 1991, ISBN 978-0-89791-445-1 [contents] - Judy Bamberger:
Introduction to Ada - Tri-Ada 1991 Tutorial, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991. ACM 1991, ISBN 978-0-89791-450-5 [contents]
TRI-Ada 1990: Baltimore, MD, USA
- Charles B. Engle Jr.:
Proceedings of the conference on TRI-ADA 1990, TRI-Ada 1990, Baltimore, Maryland, USA, December 3-6, 1990. ACM 1990, ISBN 978-0-89791-409-3 [contents]
TRI-Ada 1989: Pittsburgh, PA, USA
- John T. Foreman, Charles B. Engle Jr.:
Proceedings of the Conference on Tri-Ada 1989 - Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989, Pittsburgh, Pennsylvania, USA, 1989. ACM 1989, ISBN 978-0-89791-329-4 [contents]
TRI-Ada 1988: Charleston, WV, USA
- Proceedings of the Conference on TRI-Ada 1988, TRI-Ada 1988, Charleston, West Virginia, USA, 1988. ACM 1988, ISBN 978-0-89791-285-3 [contents]
SIGAda 1987: Boston, MA, USA
- Benjamin M. Brosgol:
Proceedings of the 1987 Annual ACM SIGAda International Conference on Ada, SIGAda 1987, Boston, Massachusetts, USA, 1987. ACM 1987, ISBN 978-0-89791-243-3 [contents]
SIGAda 1985: Paris, France
- John G. P. Barnes, Gerald A. Fisher:
Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, SIGAda 1985, Paris, France, May 14-16, 1985. Cambridge University Press 1985, ISBN 978-0-89791-162-7 [contents]
Towards a Formal Description of Ada 1980
- Dines Bjørner, Ole N. Oest:
Towards a Formal Description of Ada. Lecture Notes in Computer Science 98, Springer 1980, ISBN 3-540-10283-3 [contents]
Design and Implementation of Programming Languages 1976: Ithaca, NY, USA
- John H. Williams, David A. Fisher:
Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30 - October 1, 1976. Lecture Notes in Computer Science 54, Springer 1977, ISBN 3-540-08360-X [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
