LECTURE NOTES:
Computer Science 198:314 Computer Languages-Spring 2008

COLOR CODE
[BLUE ] Indicates FIRST VERSION]

[ RED ] Indicates CURRENT VERSION]
[GREEN] Indicates End F06 VERSIONS

NOTES 1(CHAPT 1) - INTRODUCTION ...02/01
......PURPOSE, HISTORY, LANGUAGE TYPES, COURSE LANGUAGES

NOTES 2a pp 1-21 (CHAPT 3) - FORMAL DEFINITIONS OF COMPUTER LANGUAGES...01/31
......GENERAL: CONTEXT FREE GRAMMARS

NOTES 2b- (Chapt3)- FORMAL DEFINITIONS OF COMPUTER LANGUAGES...02/05
......LEXICAL:FINITE STATE MACHINES....

NOTES 2c - (Chapt4) Attributes- FORMAL DEFINITIONS OF COMPUTER LANGUAGES...02/12
......MORE GENERAL-TRANSLATION: ATTRIBUTE GRAMMARS....

NOTES 2d (Chapt 4) A BIT OF AXIOMATIC SEMANTICS Proving Program Properties...02/12

NOTES 3 Manuals in SERC & online) SCHEME NOTES ...02/21

REVIEW: RECENT LECTURE NOTES ...02/25

NOTES 5a CALL NOTES....03/04

NOTES 5b SCOPE, Blocks Notes....03/06

NOTES 5c TYPING-LAYOUT, ERROR CHECKING...03/13

NOTES 5c COMPARING CONTROL STRUCTURES...03/25

NOTES 6 PROLOG (a)....04/01

I Types: Why Type?, Array Layout, Type Equivalence II Use of return in C, call types and associated Prefixes-Suffixes, Pit Flt falls of call-by-reference- Aliasing. III Tracing Activation Records in Runtime Stack, Procedure Call Rule, IV Control Structure Schema: Functionally Equivalent, Semantically Equivalent , Definitions & examples.

---

Back to my homepage.