Robert Dewar | Academic Influence

Robert Dewar's AcademicInfluence.com Rankings

Robert Dewar

Computer Science

#1125

World Rank

#1165

Historical Rank

#593

USA Rank

Software Engineering

#186

World Rank

#188

Historical Rank

#71

USA Rank

Database

#6086

World Rank

#6310

Historical Rank

#802

USA Rank

computer-science Degrees

Download Badge

Computer Science

Robert Dewar's Degrees

PhD Computer Science New York University
Masters Computer Science New York University
Bachelors Mathematics Columbia University

Similar Degrees You Can Earn

Why Is Robert Dewar Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Robert Berriedale Keith Dewar was an American computer scientist and educator. He helped to develop programming languages and compilers and was an outspoken advocate of freely licensed open-source software. He was a cofounder, CEO, and president of the AdaCore software company. He was also an enthusiastic amateur performer and musician, especially with the Village Light Opera Group in New York City.

(See a Problem?)

Robert Dewar's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Programming with Sets: An Introduction to SETL (1986) (392)
Programming with Sets (1986) (130)
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage (1979) (109)
Indirect threaded code (1975) (75)
Macro SPITBOL—a SNOBOL4 compiler (1977) (44)
A rigorous framework for fully supporting the ieee standard for floating-point arithmetic in high-level programming languages (2000) (19)
Microprocessors: A Programmer's View (1990) (16)
Higher level programming : introduction to the use of the set-theoretic programming language SETL (1981) (16)
Axiomatic Characterization of the Time-Weighted Rate of Return (1971) (14)
The NYU Ada translator and interpreter (1980) (12)
Transformational Derivation of a Garbage Collection Algorithm (1982) (11)
Tangent formula applications in protein crystallography: an evaluation (1971) (10)
The GNAT compilation model (1994) (9)
The NYU Ada translator and interpreter (1980) (8)
Some modified algorithms for Dijkstra's longest upsequence problem (1982) (8)
The elements of SETL style. (1979) (8)
The IITRAN programming language (1969) (8)
Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT (1999) (7)
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada (2002) (7)
A Stable Minimum Storage Sorting Algorithm (1974) (7)
Ada 9X Project Report, Shared Variables and Ada 9X Issues (1990) (5)
Distributed Ada: developments and experiences: Distributed Ada on Shared Memory Multiprocessors (1990) (4)
Ada 9X Project Report: Ada 9X Revision Issues. Release 1 (1990) (3)
Ada 9X Project Report, The Fixed-Point Facility in Ada (1990) (3)
A Pragmatic View of Formal Methods: the Hi-Lite Project (2011) (3)
Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95 (1997) (2)
Structuring Large SETL Programs (1986) (1)
A principled approach to software Engineering Education , or Java considered Harmful (2009) (1)
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada (2003) (1)
The compiler as a static analysis tool (2007) (1)
The first 100 days of Ada (1991) (1)
Keynote address: future development of the Ada language (2001) (0)
Ada 9 X Project Report SIlAy 90 The Fixed-Point Facility in Ada February 1990 DTIC (0)
Input/Output and Communication with the Environment (1986) (0)
`Abstracto' Project for an Algorithm Specification Language (1978) (0)
Ada 2005 & high integrity systems (2006) (0)
Compound Data Types and Operators (1986) (0)
Microprocessors: A Programmer's Guide (1990) (0)
Panel on the Fifth Generation Project (1983) (0)
Simple Data Types, Expressions, and Operations (1986) (0)
Snobol languages (1974) (0)
Building Parallel, Embedded, and Real-Time Applications with Ada: Foreword (2011) (0)
5. Discussion 4. Fast Multipole Algorithm Figure 2. Initial Code for N-body Calculation 3. Refinement Prototyping Parallel Algorithms (1992) (0)
The Language in Action: A Gallery of Programming Examples (1986) (0)
For environment initiatives, will Ada 95 experiences parallel Ada 83 experiences? (panel session) (1995) (0)
Reimplementing a Multiprocess Distributed Paradigm for Real-Time Systems in Ada 95 This work supported by Ada Joint Program Office and the US Army Missile Command's, Research Development and Engineering Center, Software Engineering Directorate (1997) (0)
Program Development, Testing, and Debugging (1986) (0)
The Data Representation Sublanguage (1986) (0)
The impact of Ada language features on project management (title only) (1984) (0)
The Design of Griffin: A Common Prototyping Language (1991) (0)

This paper list is powered by the following services:

Other Resources About Robert Dewar

What Schools Are Affiliated With Robert Dewar?

Robert Dewar is affiliated with the following schools:

Image Attributions

Image Source for Robert Dewar