Relating Dataflow and Lambda-calculus

More documents

Recommendations

Info

Relate Calculi to Logic - Curry-Howard Isomorphism Types as Formulae - Programs as Proofs λx.x : A → A Typing rules ∼ inference rules - Reduction rules ∼ nor- malization
Why? How many years did it take to proves confluence and termination of λ-calculus? Decidability, confluence and termination results can be reused
Page 1 and 2: Relating Dataflow and Lambda-calcul
Page 3 and 4: Token Pushing Semantics Operational
Page 5 and 6: Transformations On Dataflow Graphs
Page 7 and 8: Sharing of Maximal Free Expressions
Page 9 and 10: In 1985 Corrado Böhm invites Arvin
Page 11 and 12: Again.... Arvind and Henk Barendreg
Page 13 and 14: Don’t worry - Gita was there!
Page 15 and 16: After Ustica Arvind came back speak
Page 17 and 18: We need to take sharing into accoun
Page 19 and 20: Equational GRS Give a name to each
Page 21 and 22: Two Intermediate Languages P-TAC -
Page 23 and 24: Correctness of optimizations We bas
Page 25 and 26: Optimizations and Termination Can l
Page 27 and 28: ..... even false Properties!!!!
Page 29: My life after CSG .....
Page 33 and 34: Detour: can be simplified to: Execu
Page 35 and 36: Logic and Control Operators How do
Page 37 and 38: Proof by Contradiction Prove A: ass
Page 39 and 40: Thanks Silvio Berlusconi! Henk Bare

Relating Dataflow and Lambda-calculus

Create successful ePaper yourself

Delete template?

Save as template?