Thursday, October 05, 2006

Lambdas everywhere

From Mitch Wand's lecture notes for CSG264, Semantics of Programming Languages:
+----------------------------------------------------------------+
| Key questions: |
| |
| |
| Syntax: What _is_ a program? |
| | |
| | |
| | |
| | |
| Operational Semantics: What does a program compute? |
| /\ |
| / \ |
| / \ |
| / \ |
| / \ |
| / \ |
| / \ |
| / \ |
| Equational Theories: Denotational Semantics: |
| When are two expressions What does an expression mean? |
| equivalent? |
+----------------------------------------------------------------+
I think I need more sleep--I'm seeing lambdas everywhere...

3 comments:

Anonymous said...

Looks like a stick figure to me...

BruceJillis said...

Excellent blog though there is something that irks me in your latest post, shouldn't there be a notion of how a valid program is interpreted as sequences of computational steps for a semantics to be considered 'operational'? Well just wondering..

Anonymous said...

Just be careful or you'll get nightmares about "Silence of the Lambdas."