Covers issues in the design, implementation, analysis, and specification of programming languages. Topics include formal semantics (including operational, axiomatic, and denotational semantics), advanced type systems, program analysis (including abstract interpretation and model checking), specification, and verification. (Formerly Computer Science 253.)
1 term
Other grades
University of California, Santa Cruz
CSE 210B at UCSC: average GPA 3.57 across 11 students. Grade distribution by term. Covers issues in the design, implementation, analysis, and specification of…
Average GPA: 3.57
Grade distribution records: 11 students across 1 terms.
| Grade | Students | Percent |
|---|---|---|
| A+ | 3 | 27.3% |
| A | 1 | 9.1% |
| A- | 2 | 18.2% |
| B+ | 1 | 9.1% |
| B- | 2 | 18.2% |
| S | 2 | 18.2% |
Based on 11 student grade records across 1 term and 1 professor.
The course page is taking longer to load. This summary is still available.
We could not load the full course details. This summary is still available.
Still loading. This can take a moment on a slow connection.
Loading My Class Grades