| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | Find in Page

C/C   C/C++ Switch case   Case: Ada Design Choices Case: Pascal Design Choices categories   Categories of OOP Support Categories of Variables by Lifetimes (Topic) Four Categories of Arrays (Topic) Language Categories ch   Ch. 11: Object-Oriented PLs Ch. 14: Functional Programming Ch. 15: Logic Programming Ch. 1: Introduction Ch. 2: History and Evolution Ch. 3: Syntax and Semantics Ch. 4: Names and Binding Ch. 5: Data Types Ch. 6: Expressions Ch. 7: Control Structures Ch. 8: Subprograms Ch. 9: Implementing Subprograms chain   Evaluation of Static Chains Static Chain Example (Topic) Static Chain Example (1) Static Chain Example (2) Static Chain Example (3) Static Chain Example (4) Static Chain Example (5) Static Chain Example (6) Static Chain Example (7) Static Chain Example (8) Static Chain Maintenance Static Chain vs. Display Static Depth and Chain Offset Technique 1: Static Chains (Topic) The Dynamic Chain chapter   Chapter 1: Introduction (Topic) Chapters 1-3, 11, 14, 15 Chapters Covered Chapters Covered character   Character String Types (Topic) characteristics   Characteristics of Subprograms Eiffel Characteristics Loop Invariant Characteristics (Topic) checking   Design Issue: Type Checking and Polymorphism Type Checking (Topic) Type Checking Parameters choice   ALGOL 60 For Design Choices C For Loop Design Choices Case: Ada Design Choices Case: Pascal Design Choices Choice of Control Statements Smalltalk Design Choices circuit   Short Circuit Evaluation Short Circuit Evaluation (cont.) class   Class vs. Instance closing   Closing Reserved Words coercions   Disadvantages of Coercions commands   Guarded Commands (Dijkstra, 1975) (Topic) comp   Independent and Separate Comp. comparing   Comparing Functional and Imperative Languages Comparing Records and Arrays		comparative   Comparative Languages: Introduction (Lecture) compatibility   Type Compatibility: Name Equiv. Type Compatibility: Structural Equiv. compilation   Language Examples: Indep./Sep. Compilation complicated   More Complicated Assignments composition   Function Composition compound   Compound Statements concepts   Reasons to Study Concepts of PLs concl   Sequence of Statements (concl.) conditional   Conditional Expressions considerations   Design Considerations for Parameter Passing constructs   A Function for Constructing Functions Implementing OO Constructs Multiple Selection Constructs (Topic) construction   Construction constructors   Type Constructors (Topic) cont   6 Attributes (cont.) 6 Attributes (cont.) Ada 95 (cont.) C++ Inheritance (cont.) Finding Invariants (cont.) Java (cont.) Logical Pretest Loops (cont.) Operational Semantics (cont.) Param Passing: PL Examples (cont.) Pointer Examples (cont.) Pointer Examples (cont.) Predicate Functions (cont.) Predicate Functions (cont.) Primitive Functions (cont.) Primitive Functions (cont.) Semester Outline (cont.) Sequence of Statements (cont.) Sequence of Statements (cont.) Set Examples (cont.) Short Circuit Evaluation (cont.) Subprogs as Params: Issues (cont.) control   Ch. 7: Control Structures Choice of Control Statements Control Flow: Multi-Way Selection Control Flow: Named Let Control Flow: Selection Control Structures Control Structures (Lecture) Evolution of Control Structures Levels of Control Flow User-Loc. Controls: More Examples User-Located Controls: Ada User-Located Loop Controls (Topic) conversions   Explicit Type Conversions Implicit Type Conversions Type Conversions (Topic) coroutines   Coroutines correspondence   Actual/Formal Param Correspondence cost   Evaluation: Cost counter-controlled   Counter-Controlled Loops (Topic) covered   Chapters Covered Chapters Covered creating   Creating Functional Forms criterion   Using Loop Criterion 4