CSCE 730: Programming Language Semantics

3 credits.

Prereq: CSCE 531

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

Jobs Board

Sigma Omega Upsilon: International Business Fraternity
Web Developer for The Nerve
Django Developer Needed
DoD Cyber Scholarship Program (DoD CySP) 
Undergraduate and Graduate Research Assistants: Software Developer  
Department of Energy Summer Research Program
Summer Undergraduate Research Experience at Virginia
Capgemini hiring Software and Data Engineers
Internships at Tata Consultancy Services (TCS)
UofSC's Annual Big Data Health Case Competition