Go to Main Content

Brown University

 

HELP | EXIT

Detailed Course Information

 

Spring 2017
Sep 16, 2019
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

Restrictions:
Must be enrolled in one of the following Levels:     
      Graduate

Prerequisites:
Undergraduate level CSCI 1730 Minimum Grade of S

Return to Previous New Search
Transparent Image
Skip to top of page
Release: 8.7.2.4