Robert Dewar

The compiler as a static analysis tool

This paper shows that a programming language compiler can perform many kinds of tasks that are generally viewed as the domain of separate static analysis tools and, in the other direction, identifies certain kinds of analysis that are best left to separate tools.

Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95

A specification/generation software tool for building hard real-time distributed systems was redeveloped to generate Ada 95 rather that Ada 83 and targeted to the GNAT Ada 95 compiler under Sun Solaris. The resulting simulator was tested with missile flight simulation code. Language issues discovered and paradigms used are discussed with recommendations in the paper. Performance data is provided.

Gem # #150: Out and Uninitialized

Lets get started? Perhaps surprisingly, the Ada standard indicates cases where objects passed to out and in out parameters might not be updated when a procedure terminates due to an exception. Lets take an example:

Gem #46: incompatibilities between Ada 83 and Ada 95

Ada Gem #46 --- Part 1, Unconstrained arrays in generics.

Gem #31: preconditions/postconditions

Ada Gem #31 --- The notion of preconditions and postconditions is an old one. A precondition is a condition that must be true before a section of code is executed, and a postcondition is a condition that must be true after the section of code is executed.

Gem #28: changing data representation (part 2)

Ada Gem #28 --- Part 2, Efficiency Considerations.

Gem #27: changing data representation (part 1)

Ada Gem #27 --- Part 1, Automatic Representation Changes.

Gem #22: Ada speaks many languages

Ada Gem #22 --- Ada speaks many languages. How many? All those languages that you can write with a computer keyboard. Read on to learn about this Ada gem.

Birds-of-a-feather: where would you like to see GNAT go?

This BOF will discuss future directions for the GNAT technology, including both the GAP and Pro versions. We at AdaCore will give some of our thoughts on interesting future possibilities, but mostly we would like to hear from the user community, so we see this session as an open discussion of interesting ideas for the future. This is a chance for you to say what you want, and have your ideas discussed!