Go to Main Content

Brown University



Detailed Course Information


Spring 2017
May 30, 2020
Transparent Image
  Select the desired Level or Schedule Type to find available classes for the course.

CSCI 2951Y - Special Topics in Formal Semantics and Notional Machines
The course will bridge two hitherto separate but deeply related areas of investigation on the behavior of programs. Formal semantics arise from the programming languages community while notional machines arise from computer science education; both provide a description of program behavior and enable static reasoning. We will assume a background in programming language semantics, and view the notional machines proposed in the literature through this lens to identify their strengths and weaknesses. The rest should be a catalog of how we can improve both notational machines and formal semantics. Prerequisites: CSCI 1730 and Experimental Design course or instructor permission.
1.000 Credit hours
1.000 Lecture hours

Levels: Graduate, Undergraduate
Schedule Types: Primary Meeting

Computer Science Department

Must be enrolled in one of the following Levels:     

Undergraduate level CSCI 1730 Minimum Grade of S

Return to Previous New Search
Transparent Image
Skip to top of page