Slide 1Writing specifications for object-oriented programs K. Rustan M. Leino Microsoft Research, Redmond, WA, USA 21 Jan 2005 Invited talk, AIOOL 2005 Paris, France joint…
Slide 1CVPR2013 Poster Modeling Actions through State Changes Slide 2 Outline 1.Introduction 2.Method 3.Results 4.Dicussion Slide 3 1. Introduction What makes an action (e.g.…
Slide 1Object-Oriented Programming Basics Prof. Ankur Teredesai, Computer Science Department, RIT. Slide 2 As time goes by You must remember this, A kiss is still a kiss,…
1.Playing with the State Monad David Galichet Freelance DeveloperTwitter : @dgalichet2. Wait ! what’s a Monad ? •Functor•Monad•For comprehensions 3. Wait ! what’s…
1.IOS Development game2. iPhone OS Overview 3. Cocoa TouchArchitecture 4. Objects 5. Object 6. Behavior 7. Message 8. State 9. Other Objects As State 10. Outlets 11. Target…