[Home] [CV] [Publications]


Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 Reasoning about Programs
Talcott, C. L. - 1995

This talk gives a rather personal perspective in which I will consider reasoning about programs exhibiting a spectrum of paradigms/facilities. I will begin with a brief summary of early work in which methods were developed to reason about programs that could be modelled as first order functions, or as state transformers. Then I will trace a lambda thread, following the view of Landin that programming languages are lambda expressions plus operators providing desired computational facilities (lambda – the ultimate integrating mechanism).