Covid-19 Update: Fall courses offered in one of four options.

Semantics of Program Languages

Catalog Search > Computer Related > 91.538

Note: This course is not available for the current semester.

Course No: 91.538; Last Offered: No Data;

Course Description

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.

Prerequisites & Notes

  • Prerequisites:
  • Special Notes:
  • Credits: 3;

Questions About This Course?

Contact the Advising Center at 978-934-2474 or

Use the Back button in your browser to go back to search results.