CS 510

Formal Specification of Language.

West Virginia University · UGRD · Fall 2026

1 section

Catalog description

PR: CS 410 . Specifications of language syntax and semantics by grammars and automata and by attribute grammars, denotational semantics, and action equations; algebraic, denotational, and operational semantics; application of formal specifications to construction of software tools.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 5 hours ago

001

Availability not recently verified

Class #west_virginia_university-0123Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?