Randall Brukardt

According to our database, Randall Brukardt authored at least 6 papers between 1993 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/2012 (E)

S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder, Pascal Leroy, Edmond Schonberg

Lecture Notes in Computer Science 8339, Springer, ISBN: 978-3-642-45418-9, 2013

2012

Panel on compiler certification: should we trust our compiler?

Lennart Beringer, Randall Brukardt, Thomas Plum, S. Tucker Taft

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

2006

Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1

S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder, Pascal Leroy

Lecture Notes in Computer Science 4348, Springer, ISBN: 978-3-540-69335-2, 2006

2000

In the News - An ISO Standard Guards the Ada Hen House, Innovation and the National Reconnaissance Office, Making Measurement Understandable.

Randall Brukardt

IEEE Softw., 2000

1997

CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows.

Randall Brukardt, Tom Moran

Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

1993

Panel on Early Experiences with Ada 9x Program Organization.

Randall Brukardt

Proceedings of the Conference Proceedings on TRI-Ada 1993, 1993