lectures
Get flash to fully experience Pearltrees
calculus
sicp
COMP 411 Semantics of Programming Languages (Spring 2004)
As computer programs play an increasingly more significant role in our daily lives, knowing what they are supposed to be doing and its relation what they actually do becomes particularly important. For example, given two programs we might want ask: are they equivalent? If we optimize, compile, or even write programs, this fundamental question comes up. Often, we rely on intuition for answering this question. But in critical applications where avoiding programming errors is important, or if we just want to produce higher quality software, there is a need for more rigorous techniques to answer this question.
Presenters retain full rights to the content of their presentations, and have released them under the Creative Commons Attribution-ShareAlike license .
MountainWest Ruby Conference 2008
