Programming Languages (CSC-302 99S)


Class 12: Introduction to Denotational Semantics

Back to Introduction to Formal Semantics. On to Denotational Semantics, Continued.

Held Friday, February 19

Summary

Contents


Notes


Denotational Semantics

A Note on Typography

Environments

A Simple Language

A Denotational Semantics for SIMPLE

Detour: Curried Functions

Types for the Semantic Functions

Semantic Functions

Loops


History


Back to Introduction to Formal Semantics. On to Denotational Semantics, Continued.


Disclaimer Often, these pages were created ``on the fly'' with little, if any, proofreading. Any or all of the information on the pages may be incorrect. Please contact me if you notice errors.

This page may be found at http://www.math.grin.edu/~rebelsky/Courses/CS302/99S/Outlines/outline.12.html

Source text last modified Fri Mar 12 10:38:08 1999.

This page generated on Fri Mar 12 12:48:02 1999 by SiteWeaver. Validate this page's HTML.

Contact our webmaster at rebelsky@math.grin.edu