Apr 18, 2024  
2018-2019 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Colleges & Departments
  Courses
  Degrees & Certificates Offered
  Graduate School Policies
  About the Catalog
  About the University
  All-University Regulations
  Auxiliary Services and Facilities
  Calendar
  Disclosures
  Enrollment
  Glossary and Abbreviations
  Grades
  Graduate School Admission
  International Programs
  K-State Athletics
  K-State Research and Extension
  Online Programs
  Research Facilities and Centers
  Services for Students
  Student Financial Assistance
  Support Services
  Tuition and Fees
  University Faculty and Professional Staff
  Archived Catalogs
  KSIS
  K-State Libraries
  K-State Online
  WebMail
  My Portfolio
HELP
2018-2019 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 806 - Semantics of Programming Languages

Credits: 3

Introduction of formal semantics description methods for programming languages; comparison of operational, denotational, algebraic, and axiomatic methods; analysis of relationship of formal semantics definitions to computer implementation.

Requisites:
Prerequisite: CIS 771.


KSIS Course Search



Add to Portfolio (opens a new window)