Programming Languages (CSC-302 99S)


Class 16: Scheme Semantics (2)

Back to Scheme Semantics (1). On to Program Verification.

Held Monday, March 1

Summary

Contents


Handouts

Notes


Review and such

Typography

Questions

These are the questions I received via e-mail. I assume answers to a general audience are appropriate.

New Topics

Domains

Semantic Functions


History


Back to Scheme Semantics (1). On to Program Verification.


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.16.html

Source text last modified Fri Mar 5 12:46:09 1999.

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

Contact our webmaster at rebelsky@math.grin.edu