1 of 7

2 of 7

I am enthusiastic over humanity's extraordinary and sometimes very timely ingenuities. If you are in a shipwreck and all the boats are gone, a piano top buoyant enough to keep you afloat may come along and make a fortuitous life preserver. This is not to say, though, that the best way to design a life preserver is in the form of a piano top.

​

I think we are clinging to a great many piano tops in accepting yesterday's fortuitous contrivances as constituting the only means for solving a given problem.

R. Buckminster Fuller

3 of 7

CSE 505 Winter 2015

Principles of Programming Languages

Episode 06: Op Sem Proofs

4 of 7

Previously on 505

Inductively Defined Predicates

Small Step Operational Semantics

Formalizing Divergence

5 of 7

Synopsis

HW 01 Recap (attu, 2pm, replay)

Injectivity

Strengthening Hypotheses

Inversion + Induction on Derivations

6 of 7

7 of 7

On the Next Episode of 505

Stay tuned!

Interpreters

functions vs. relations

intro to denotational semantics