PPT-CS61A Lecture 10 Immutable Data Structures

Jom Magrotker UC Berkeley EECS July 3 2012 Computer Science in the News httpwwwdigitaltrendscommobilestudyapplessiriiswrongoveronethirdofthetime Today Review Immutable Recursive Lists. Functions and. Applicative Model of Computation. Tom Magrino and Jon Kotker. UC Berkeley EECS. June 19, 2012. CS in the News. Teaching goes social!. http://www.nytimes.com/2012/06/19/us/teachers-union-to-open-lesson-sharing-web-site.html?_r=1&ref=education. Logic Programming. Jom. . Magrotker. UC Berkeley EECS. August 2, 2012. Computer Science in the News. http://www.seas.harvard.edu/news-events/press-releases/adding-a-3d-print-button-to-animation-software. October 10, 2012. Pat . Helland. Salesforce.com. Outline. Introduction. Accountants Don’t Use Erasers. Keeping the Stone Tablets Safe. Hey! Versions Are Immutable, Too!. Immutability by Reference. Immutability Is in the Eye of the Beholder. K. Rustan M. Leino. Microsoft Research. Peter Müller. ETH Zurich. Angela Wallenburg. Chalmers University. Executive summary. Context. Verification system for object-oriented programs. Contribution. Specification and structuring technique for objects that no longer undergo change. Synchronization. Atomicity. Specifying critical sections. Memory visibility. One thread’s modification seen by the other. Visibility. T1: X = 5; print(X); will result in 5. . T1: X = 5; T2: print(X); may or may not print 5. . Ruth Anderson. CSE 160. University of Washington. 1. Copying and mutation. list1 = ["e1", "e2", "e3", "e4. "]. list2 = list1. list3 = list(list1) . # make a copy; also “. list1[:]. ”. p. rint list1, list2, list3. Mutable Data Structures. Jom. . Magrotker. UC Berkeley EECS. July 16, 2012. Computer Science in the News. (Two Years Ago). http://articles.nydailynews.com/2010-04-27/news/27062899_1_marks-death-format-floppy-disk. Kinematic analysis of deformation. B. Natalin. Structural geology and tectonics. Structural geology is the study of deformation of rocks. - we study such features as folds, faults, their geometry, movements, origins;. Complexity and Orders of Growth. Jon . Kotker. and Tom Magrino. UC Berkeley EECS. June 27, 2012. Computer Science in the News. Bot With Boyish Personality Wins . Biggest . Turing . Test. Eugene . Goostman. . (. i MYOO tuh bul. ) . adj.. not changeable. The laws of . 1984. are . immutable. . What the Party decides is permanent.. She was so stubborn that once she made up her mind about something, it was . 13a. Physical . properties of . solids are largely influenced by . the . structures.The. . larger the degree of association is, . the . less volatile is the . compound:. WCl. 6 . (. b.p. .: 286 . o. Magrotker. UC Berkeley EECS. July 26, 2012. Computer Science in the News. http://www.theverge.com/2012/7/26/3188043/robot-baby-osaka-university-asada-laboratory. Today. Interpretation: Review and More!. Jom. . Magrotker. UC Berkeley EECS. July 11, 2012. Computer Science in the News. http://web.mit.edu/newsoffice/2012/smile-detector-0525.html. Today. Review: Object-Oriented Programming. Inheritance. Homologous structures. Human Arm . Bat Wing . Whale Flipper. . Analogous. Structures . Similar functions but NOT structurally related. . Insects are arthropods and birds are vertebrates. . The wing of a bird and the wing of a butterfly are examples of .