Robert Dewar Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Dewar: A Pragmatic View of Formal Methods: the Hi-Lite Project. SSS 2011: 233-248
2009
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Dewar, Owen L. Astrachan: Point/counterpoint - CS education in the U.S.: heading in the wrong direction? Commun. ACM 52(7): 41-45 (2009)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Dewar, Owen L. Astrachan: CS education in the U.S.: heading in the wrong direction. ACM Crossroads 16(1): 17-20 (2009)
2007
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Dewar: Birds-of-a-feather: where would you like to see GNAT go? SIGAda 2007: 97-98
2006
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Dewar: Ada 2005 & high integrity systems. SIGAda 2006: 43
2003
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers: Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada. Ada-Europe 2003: 129-141
2002
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers: Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. Ada-Europe 2002: 193-204
2001
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Dewar: Keynote address: future development of the Ada language. SIGAda 2001: 1-2
1999
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roderick Chapman, Robert Dewar: Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT. Ada-Europe 1999: 39-51
1998
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 370-371
1994
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Dewar: The GNAT Compilation Model. TRI-Ada 1994: 58-70

Coauthor Index

1Owen L. Astrachan
[j2] [j1]
2Emmanuel Briot
[c6]
3James Caristi
[c2]
4Roderick Chapman
[c3]
5Dirk Craeynest
[c6] [c5]
6Franco Gasperoni
[c6]
7Mark Gerhardt
[c2]
8Olivier Hainque
[c5]
9John A. Hamilton Jr. (J. A. Drew Hamilton Jr.)
[c2]
10Hal Hart
[c2]
11Christopher Haynes
[c2]
12Samuel A. Rebelsky
[c2]
13Philippe Waroquiers
[c6] [c5]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 04:06:03 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page