Robert Dewar

Publication Activity (10 Years)

Years Active: 1984-2011
Publications (10 Years): 0

Publications

Robert Dewar
A Pragmatic View of Formal Methods: the Hi-Lite Project. SSS (2011)
Robert Dewar, Owen L. Astrachan
CS education in the U.S.: heading in the wrong direction. ACM Crossroads 16 (1) (2009)
Robert Dewar, Owen L. Astrachan
Point/counterpoint - CS education in the U.S.: heading in the wrong direction? Commun. ACM 52 (7) (2009)
Robert Dewar
Birds-of-a-feather: where would you like to see GNAT go? SIGAda (2007)
Robert Dewar
Ada 2005 & high integrity systems. SIGAda (2006)
Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada. Ada-Europe (2003)
Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. Ada-Europe (2002)
Robert Dewar
Keynote address: future development of the Ada language. SIGAda (2001)
Roderick Chapman, Robert Dewar
Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT. Ada-Europe (1999)
Hal Hart, James Caristi, Robert Dewar, Mark Gerhardt, J. A. Drew Hamilton Jr., Christopher Haynes, Samuel A. Rebelsky
The future of programming - are fundamental changes in computer science programs coming? (panel). SIGCSE (1998)
Steve Vestal, Laurent Guerby, Robert Dewar, David J. McConnell, Bruce A. Lewis
Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95. IRTAW (1997)
Linda Safford, Phil Brashear, Oliver Cole, Robert Dewar, Nelson H. Weiderman
For environment initiatives, will Ada 95 experiences parallel Ada 83 experiences? (panel session). TRI-Ada (1995)
Robert Dewar
The GNAT Compilation Model. TRI-Ada (1994)
Marianne E. Erdos, Ralph Crafts, Robert Dewar, Kenneth Fussichen, Robert Roe, John P. Solomond
The first 100 days of Ada. TRI-Ada (1991)
Robert Dewar
The impact of Ada language features on project management (title only). WADAS (1984)