author : Annabelle McIver

The chapters are collected into three parts: • Models and correctness • Programming techniques • Applications and automated theories

Contents

• Cliff B. Jones.

Wanted: a compositional approach to concurrency

• Ralph-Johan Back, Joakim von Wright.

Enforcing behaviour with contracts

• Ernie Cohen.

Asynchronous progress

• Jayadev Misra.

A reduction theorem for concurrent object-oriented programs

• Manfred Broy.

Abstractions from time

• Ian J. Hayes.

A predicative semantics for real-time refinement

• Michael Jackson.

Aspects of system description

• Peter Henderson.

Modelling architectures for dynamic systems

• Dines Bjorner.

"What is a method?" -- an essay on some aspects of domain engineering

• Manfred Broy.

Object-oriented programming and software development -- a critical assessment

• C. A. R. Hoare, He Jifeng.

A trace model for pointers and objects

• Daniel Jackson.

Object models as heap invariants

• K. Rustan M. Leino, Greg Nelson.

Abstraction dependencies

• Benjamin C. Pierce.

Type systems

• John C. Reynolds.

What do types mean? -- from intrinsic to extrinsic semantics

• Natarajan Shankar.

Automated verification using deduction, exploration, and abstraction

• Pamela Zave.

An experiment in feature engineering

• Eric C. R. Hehner, Theodore S. Norvell, Richard F. Paige.

High-level circuit design

• Suresh Chari, Charanjit S. Jutla, Josyula R. Rao, Pankaj Rohatgi.

Power analysis: attacks and countermeasures

• Annabelle McIver, Carroll Morgan.

A probabilistic approach to information hiding