Graduate
Online Academic Catalog
Semantics of Program Languages
Quick Links
91.538
Course ID: 008162
Consistent and complementary definitions of programming languages. Axiomatic, operational, denotational, translational, and other semantic approaches. Formal program specification. Verification using the techniques of Floyd and Hoare.
Credits: 3