|
Search the dblp DataBase
Robert Dewar:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada. [Citation Graph (0, 0)][DBLP] Ada-Europe, 2003, pp:129-141 [Conf]
- Roderick Chapman, Robert Dewar
Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT. [Citation Graph (0, 0)][DBLP] Ada-Europe, 1999, pp:39-51 [Conf]
- Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. [Citation Graph (0, 0)][DBLP] Ada-Europe, 2002, pp:193-204 [Conf]
- Robert Dewar
Keynote address: future development of the Ada language. [Citation Graph (0, 0)][DBLP] SIGAda, 2001, pp:1-2 [Conf]
- Robert Dewar
The GNAT Compilation Model. [Citation Graph (0, 0)][DBLP] TRI-Ada, 1994, pp:58-70 [Conf]
- Hal Hart, James Caristi, Robert Dewar, Mark Gerhardt, Drew Hamilton, Christopher Haynes, Samuel A. Rebelsky
The future of programming - are fundamental changes in computer science programs coming? (panel). [Citation Graph (0, 0)][DBLP] SIGCSE, 1998, pp:370-371 [Conf]
Birds-of-a-feather: where would you like to see GNAT go? [Citation Graph (, )][DBLP]
Ada 2005 & high integrity systems. [Citation Graph (, )][DBLP]
Point/counterpoint - CS education in the U.S.: heading in the wrong direction? [Citation Graph (, )][DBLP]
CS education in the U.S.: heading in the wrong direction. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|