Page Information

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Announcements about reading group meetings are sent to the whole Department of Computing, but we also maintain a mailing list for regular participants and for participants who are not in the department. The mailing list receives announcements and special mailings not of general interest. Anyone can ask to be subscribed to the list. Alternatively, you can receive announcements by subscribing to the RSS feed of the Latest Space News for the Programming Languages Research Group (PLRG) via the sidebar to the left of this page.

Current Topic:

...

 Biography of a Process Model: The Formative Years

On December 1 8 we will discuss the paper Constructing Quantified Invariants via Predicate Abstraction by Lahiri and Bryant.host William M. Waite (Professor Emeritus, University of Colorado) who will present the following talk about the process he and colleagues have used to develop a general solution to the name analysis problem for programming languages. William has been active in programming languages and compiler construction research for more than fifty years, including co-authoring five books. He is a lead designer and developer of the Eli system for automation of compiler construction which is a joint project with Paderborn University and Macquarie University.

Biography of a Process Model: The Formative Years

Process models are built to help us explain how the world works. A process model’s true beauty is in allowing us to predict process consequences, and thus to ultimately utilize the processes to achieve our own goals. Process models can be built for highly specialized circumstances, but become become more portable and valuable when crafted to address generalized situations. One common process in the world of computing finds the meaning of an identifier in a program. I’ll use this process to illustrate a typical coming-of-age path, from the initial development stages to the validation methods.

Previous topics

PL Reading Group Archive

...