Dr. Dobb's is part of the Informa Tech Division of Informa PLC

This site is operated by a business or businesses owned by Informa PLC and all copyright resides with them. Informa PLC's registered office is 5 Howick Place, London SW1P 1WG. Registered in England and Wales. Number 8860726.


Channels ▼
RSS

Design

Prizes Awarded for Work in Object-Oriented Programming


The Dahl-Nygaard Prizes for 2007 will be awarded to Luca Cardelli of Microsoft Research and Jonathan Aldrich of Carnegie Mellon University for their work in object-oriented programming. Aldrich will receive the Junior Prize and Cardelli the Senior Prize. The Dahl-Nygaard Prizes, established in 2004 by the Association Internationale Pour les Technologies Objets (AITO), are named for Ole-Johan Dahl and Kristen Nygaard who developed Simula, considered the first object-oriented programming language.

Cardelli received the Senior prize for his overall contribution to both theory and practice for object-oriented languages, and to Aldrich, the Junior prize for his contributionsto expressing and verifying software architecturesin object-oriented languages.

Cardelli systematically developed typing theories for objects, from record types to bounded quantification, eventually leading to his book A Theory of Objects, published with Martin Abadi in 1996. This book develops an "object calculus" as a foundation for object-oriented languages, in much the same way that Church's lambda-calculus is a foundation for procedural languages. Overall, Cardelli's work was inspired by expertise on language design, including functional languages and theory, such as ML, and object-oriented languages such as Modula-3. This led Cardelli to language design in the areas of mobility and locality with contributions such as Obliq and Ambient. Ambient Calculus (developed with Andy Gordon) enables the formal analysis of mobile and wide-area systems, in part by taking advantage of a decade of previous work on process algebra.

Aldrich develops lightweight ways to statically assure architectural characteristics of large object-oriented systems. His thesis work on ArchJava was the first system to verify at compile time that the dynamic structure of an object-oriented application conforms to an abstract, hierarchical software architecture.

ArchJava tackles challenging aspects of object-oriented systems, including aliasing, reentrancy, inheritance, and the use of sophisticated design patterns. Aldrich's research is grounded in formal soundness proofs yet is validated through case study evaluations with realistic software systems and tasks. More recently, Aldrich has made contributions in other aspects of object-oriented architecture assurance, including object protocol checking, modularity in aspect-oriented programming, and novel object models.

The prizes will be awarded at ECOOP 2007. Previous recipients of the prizes include Erich Gamma, Richard Helm, Ralph Johnson, and the late John Vlissides, and Bertrand Meyer and Gail Murphy.

.


Related Reading


More Insights






Currently we allow the following HTML tags in comments:

Single tags

These tags can be used alone and don't need an ending tag.

<br> Defines a single line break

<hr> Defines a horizontal line

Matching tags

These require an ending tag - e.g. <i>italic text</i>

<a> Defines an anchor

<b> Defines bold text

<big> Defines big text

<blockquote> Defines a long quotation

<caption> Defines a table caption

<cite> Defines a citation

<code> Defines computer code text

<em> Defines emphasized text

<fieldset> Defines a border around elements in a form

<h1> This is heading 1

<h2> This is heading 2

<h3> This is heading 3

<h4> This is heading 4

<h5> This is heading 5

<h6> This is heading 6

<i> Defines italic text

<p> Defines a paragraph

<pre> Defines preformatted text

<q> Defines a short quotation

<samp> Defines sample computer code text

<small> Defines small text

<span> Defines a section in a document

<s> Defines strikethrough text

<strike> Defines strikethrough text

<strong> Defines strong text

<sub> Defines subscripted text

<sup> Defines superscripted text

<u> Defines underlined text

Dr. Dobb's encourages readers to engage in spirited, healthy debate, including taking us to task. However, Dr. Dobb's moderates all comments posted to our site, and reserves the right to modify or remove any content that it determines to be derogatory, offensive, inflammatory, vulgar, irrelevant/off-topic, racist or obvious marketing or spam. Dr. Dobb's further reserves the right to disable the profile of any commenter participating in said activities.

 
Disqus Tips To upload an avatar photo, first complete your Disqus profile. | View the list of supported HTML tags you can use to style comments. | Please read our commenting policy.