Apr 20, 2024  
2020-2021 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  About SMU
  Catalog Policy and Legal Statement
  Cox School of Business
  Dedman College of Humanities and Sciences
  Dedman School of Law
  Lyle School of Engineering
  Meadows School of the Arts
  Perkins School of Theology
  Simmons School of Education and Human Development
  SMU Guildhall
  Interdisciplinary Programs
  The Moody School of Graduate and Advanced Studies
  Professional and Online
  Academic Programs
  Course Descriptions
  Right to Know
  Educational Programs
  Educational Facilities and Services
  Administration
  Financial Information Bulletin 2020-2021
  My Catalog
HELP
2020-2021 Graduate Catalog [ARCHIVED CATALOG]

Add to Catalog (opens a new window)

CS 7342 - Concepts of Language Theory and Their Applications

Credits: 3

Introduction to formal languages and their relation to automata, and to denotational and operational semantics. Also, applications of formal semantics to the design and specification of programming languages and programming language processors, including computer architectures. Includes the predicate calculus, logic programming, and axiomatic semantics, as well as the application of axiomatic semantics to the verification of programs. Prerequisite: Knowledge of material taught in CS 3342 or permission of the instructor.


Add to Catalog (opens a new window)