Programming Language Semantics   [Archived Catalog]
2018-2019 Graduate Studies Bulletin
   
Print-Friendly Page (opens a new window)

CSCE 730 - Programming Language Semantics

Credits: 3

Approaches for specifying programming language semantics, including operational, axiomatic, and denotational specification.

Prerequisites: CSCE 531



Print-Friendly Page (opens a new window)
Close Window
   
All bulletins © 2024 Columbia Campus.
Powered by the Acalog™ Academic Catalog Management System™ (ACMS™).

Mobile Site.