I think I need more sleep--I'm seeing lambdas everywhere...+----------------------------------------------------------------+
| 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? |
+----------------------------------------------------------------+
Thursday, October 05, 2006
Lambdas everywhere
From Mitch Wand's lecture notes for CSG264, Semantics of Programming Languages:
Subscribe to:
Post Comments (Atom)
3 comments:
Looks like a stick figure to me...
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..
Just be careful or you'll get nightmares about "Silence of the Lambdas."
Post a Comment