| 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

labels   Variables as labels: PL/I lambda   Lambda Expressions Lambda Expressions in Scheme language   Applications of Functional Languages: Comparative Languages: Introduction (Lecture) Comparing Functional and Imperative Languages Evaluating A Language (Topic) Fundamentals of FP Languages Implementing Subprograms in ALGOL-like Languages Language Categories Language Design Trade-offs Language Examples: Indep./Sep. Compilation Languages: Key Differentiating Factors Param Passing: Language Examples Primary influences on language design What is a “Language”? languagehistory   Programming LanguageHistory and Evolution (Lecture) leaks   Memory Leaks learn   What Will You Learn? length   String Length Options levels   Levels of Control Flow lexical   Static (Lexical) Scope lifetime   Categories of Variables by Lifetimes (Topic) Explicit Heap-Dynamic Lifetime Implicit Heap-Dynamic Lifetime Stack-Dynamic Lifetime Static Lifetime LISP   A Bit of LISP list   Interal List Representation		local   Introducing Locals: Let Local Referencing Environments Local Variables in Example PLs logic   Ch. 15: Logic Programming Logic Loops: Examples Overview: Logic logical   Logical Pretest Loops Logical Pretest Loops (cont.) logically-controlled   Logically-Controlled Loops (Topic) loop   A Harder Loop Invariant Example A Rule for Loops Ada For Loop ALGOL 60 For Loop C For Loop C For Loop Design Choices C++ & Java For Loops Counter-Controlled Loops (Topic) Finding Loop Invariants FORTRAN DO Loops Is I a Loop Invariant? Logic Loops: Examples Logical Pretest Loops Logical Pretest Loops (cont.) Logically-Controlled Loops (Topic) Loop Invariant Characteristics (Topic) More on Loop Invariants Pascal For Loop User-Located Loop Controls (Topic) Using Loop Criterion 4 lt;=>   Program <=> Data