CSCE 730: Programming Language Semantics

3 credits.

Prereq: CSCE 531

Approaches for specifying programming language semantics, including operational, axiomatic, and denotational specification.

Jobs Board

CEC Career center Spring Fling Network
Assistant Professor Of Computer Engineering at Benedict College
Teaching Positions at Georgia College & State University
Richland County Sheriff’s Department: Quality Assurance Specialist;  Mobile Devices
AI Research Internships for Undergraduates  
Full Stack Web Development Developer at Thorlabs
Undergraduate Research Assistant in Machine Learning
Summer Research Experience for Undergraduates (REU) in Multi-Scale Systems Bioengineering and Biomedical Data Science at the University of Virginia
Quality Assurance Specialist;  Mobile Devices
Assistant/Associate Professor in Computer Science, Fayetteville State University