PPT-Functions, Procedures, and Abstraction

Functions Procedures and Abstraction Dr José M Reyes Álamo Status of Assignment and Quizzes Past Due RA1ComputerConcepts RA2PythonCh1Ch2 RA3PythonCh5Ch7 Quiz1 Pending RA4PythonCh3Ch6 RA5PythonCh8Ch10. of Synchronization. Greta . Yorsh. Eran. . Yahav. Martin . Vechev. IBM Research. { . . ………………. . …… . ………………….. . …………………….. …………………………. Coming to Grips with Complexity in Verification. Ken McMillan. Microsoft Research. TexPoint fonts used in EMF: . A. A. A. A. A. Need for Formal Methods that Scale. We design complex computing systems by debugging. Occurs through a process of . simplification. or . distortion. in an attempt to communicate an . essential aspect. of a form or concept. Varying degrees of resemblance to the real world. Abstraction. Richard Gesick. Abstraction. the mechanism and practice of . abstraction. reduces and factors out details so that one can focus on a few concepts at a time. The concept . originated by analogy with abstraction in . Creating Stored Procedures and . Functions. • Differentiate between anonymous blocks and subprograms. • Create a simple procedure and invoke it from an anonymous block. • Create a simple function. with Bounds. Outline. Motivation. Abstractions . of extensive-form games. Theoretical guarantees on abstraction quality. Computing . abstractions. Hardness. Algorithms. Experiments. Nash equilibrium. Dr. José M. Reyes Álamo. Outline. Functions. Built-in functions. User defined functions. Abstraction. Reusability. Parameters and arguments. Returning values. Variables Scope. Functions. From mathematics, a functions perform some operation and returns a result.. Kenny Denmark. Jason Isenhower. Ross Roessler. Background. A* uses heuristics for efficient searching. Initially, heuristics provided by "expert". Challenge is to have program create heuristics. Coming to Grips with Complexity in Verification. Ken McMillan. Microsoft Research. TexPoint fonts used in EMF: . A. A. A. A. A. Need for Formal Methods that Scale. We design complex computing systems by debugging. Where has all my stuff gone ? Abstraction in the physical world Yaakov (J) Stein CTO, RAD There are 2 techniques frequently used to solve hard problems and which have been raised to an art in computer science Paul Ammann. 2. Data Abstraction. Abstract State (Client State). Representation State (Internal State). Methods (behavior). Constructors (create objects). Producers (return immutable object). Mutators (change state). Way of classifying information from abstract (general) to concrete (specific) . . Level 4:. Abstractions. Level 3: . Noun Classes, broad group names with little specification. Level 2:. Noun Categories, more definite groups. Slide . 1. PHY Abstraction for MU-MIMO. Date:. 2010-07-11. Authors: . Name. Affiliations. Address. Phone. email. Riichi Kudo. NTT Corporation. Hikarino-oka Yokosuka-shi Japan. +81-46-859- 3140. kudo.riichi@lab.ntt.co.jp. Slide . 1. PHY Abstraction for MU-MIMO. Date:. 2010-07-11. Authors: . Name. Affiliations. Address. Phone. email. Riichi Kudo. NTT Corporation. Hikarino-oka Yokosuka-shi Japan. +81-46-859- 3140. kudo.riichi@lab.ntt.co.jp.