lecture13
web.stanford.edu · 2,214 words · saved by 1 readers
N/A
Operational Semantics of Cool CS143 Lecture 13 Instructor: Fredrik Kjolstad Slide design by Prof. Alex Aiken, with modifications 1 Lecture Outline • COOL operational semantics • Motivation • Notation • The rules 2 Motivation • We must specify for every Cool expression what happens when it is evaluated – This is the “meaning” of an expression • The definition of a programming language: – The tokens ⇒ lexical analysis – The grammar ⇒…
related reading
- Structure and Interpretation of Computer Programsmitp-content-server.mit.edu
- how I think when I think about programming - alice mazalicemaz.com
- cool-manual.pdfweb.stanford.edu
- lecture09web.stanford.edu
- Brown CS: CSCI 1730: Programming Languagescs.brown.edu
- Formally speaking, "Transpiler" is a useless word | Rachit Nigampeople.csail.mit.edu
- Lambda calculus - Wikipediaen.wikipedia.org
- CSC 151 - Mental models of computationeikmeier.sites.grinnell.edu
- CSC 151 - Computation via Expressionseikmeier.sites.grinnell.edu
- UW PLSE | Algebraic Semantics for Machine Knittinguwplse.org
- Evaluating Expressions · Crafting Interpreterscraftinginterpreters.com
- Montague Semantics (Stanford Encyclopedia of Philosophy)plato.stanford.edu