Mar 14, 2025  
2024-2025 Graduate Catalog 
    
Catalog Navigation
Catalog Home
About K-State
University Leadership
Kansas Board of Regents
University Department Heads & Administrators
Campuses
Statements and Disclosures
Governance and Faculty
Academic Calendars
All-University Regulations
Academic Policies and Procedures
Graduate School Handbook
College of Veterinary Medicine: Student/Faculty Handbook
Tuition and Fees
Student Financial Assistance
Glossary and Abbreviations
K-State Course Search
Course Description Key
Courses
Colleges & Departments
Accelerated Degree Programs
Degrees & Certificates Offered
Online Programs
Archived K-State Catalogs
K-State Research and Extension
Research Facilities and Centers
International Programs
Services for Students
Support Services
Graduate School Admissions
KSIS
Auxiliary Services and Facilities
K-State Athletics
K-State Libraries
WebMail
GR Cover 2024-2025
My Portfolio
2024-2025 Graduate Catalog Add to Portfolio (opens a new window)

CIS 905 - Theory of Programming Languages

Credits: 3

Formal definition languages; operational and formal semantic models; equivalence of semantic models; formal properties of programming languages.

Requisites:
Prerequisite: CIS 806.


KSIS Course Search



Add to Portfolio (opens a new window)