REFLECTING ON OUR 50 TH YEAR

Reflecting Critically On Our Efforts To Improve Teaching and Learning

The 50 Year Extreme Wave

Demonstration that the variation of average wave conditions month hy month has no significant effect [This document should not be cited in a published bibliography, and is supplied for the use of the recipient only],

Compiling a 50-year journey

Fifty years ago, John McCarthy and James Painter (1967) published the first paper on compiler verification, in which they showed how to formally prove the correctness of a compiler that translates arithmetic expressions into code for a register-based machine. In this article, we revisit this example in a modern context, and show how such a compiler can now be calculated directly from a specific...

Vancomycin: a 50-year reassessment.

Reflecting on Progress in PH and Appreciating the Contributions of Our Physicians