PL6 - CSE233/CSE300 1 Lambda Calculus

Info iconThis preview shows pages 1–9. Sign up to view the full content.

View Full Document Right Arrow Icon
1 /Users/ldm/courses/Spring05_CSE300/lectures/PL8.sxi 1 CSE233/CSE300 Lambda Calculus
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 /Users/ldm/courses/Spring05_CSE300/lectures/PL8.sxi 2 Overview Motivation Syntax Semantics Axiomatic Operational Reduction Normal Applicative Properties Confluence
Background image of page 2
3 /Users/ldm/courses/Spring05_CSE300/lectures/PL8.sxi 3 Motivation Lambda calculus Minimalist approach Preserve expressive power Very simple Untyped or typed What we gain Easier to study Time systems Semantics Tool to formalize semantics of other languages
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
4 /Users/ldm/courses/Spring05_CSE300/lectures/PL8.sxi 4 Lambda Calculus Syntax Very small Examples Expr :== <Expr> <Expr> :== <Id>.<Expr> λ :== ( <Expr> ) :== <Id> x y s (x) x y x. x λ x. y λ ( x. y) z λ
Background image of page 4
5 /Users/ldm/courses/Spring05_CSE300/lectures/PL8.sxi 5 Associativity Application associates to the left f a b c d (((f a) b) c) d
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
6 /Users/ldm/courses/Spring05_CSE300/lectures/PL8.sxi 6 Scoping Scope of abstractions Extent to the right as far as possible x. y.M N λ λ x.( y.(M N)) λ λ
Background image of page 6
7 /Users/ldm/courses/Spring05_CSE300/lectures/PL8.sxi 7 Abstraction The abstraction Represents a function definition λ Is the abstraction symbol The formal is the identifier x The body is the expression M x.M λ
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
8 /Users/ldm/courses/Spring05_CSE300/lectures/PL8.sxi 8 Application The application The expression Is a function call Intuitive semantics M is an abstraction N is the argument The application consist of Replace the formal x by the argument N in the body P M N x.P λ
Background image of page 8
Image of page 9
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/11/2012 for the course DKFKDF dfdfd taught by Professor Dsfdsfdsf during the Spring '11 term at APU Japan.

Page1 / 27

PL6 - CSE233/CSE300 1 Lambda Calculus

This preview shows document pages 1 - 9. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online