Academic Calendar 2022-2023

Search Results

CISC 465 Semantics of Programming Languages

CISC 465  Semantics of Programming Languages  Units: 3.00  

Specifying syntax and semantics; operational and denotational semantics. Lambda calculi, type systems and logical foundations. Meta-theoretic properties. Semantics of imperative languages.
LEARNING HOURS 120 (36L;84P)

Requirements: Prerequisite Registration in a School of Computing Plan and a minimum grade of a C- (obtained in any term) or a 'Pass' (obtained in Winter 2020) in (CISC 204 and CISC 223 and [CISC 360 or CISC 260]).  
Offering Faculty: Faculty of Arts and Science  

Computing

https://www.queensu.ca/academic-calendar/graduate-studies/programs-study/computing/

The School of Computing graduate facilities consist of network of Macs, PCs, SGI and Sun workstations with the main infrastructure supported by Sun servers. The School's network of 100 computers support the research laboratories in the fields of study described below.  The laboratories contain specialized equipment such as audio and video equipment, robotic equipment, eye tracking equipment, ultra sound machine and tracking systems for surgical tools. Undergraduate teaching facilities include four laboratories with 175 PCs supporting a Win XP and Linux environment, 24 Sun workstations and Sun servers for the main infrastructure. There is a Human Media laboratory consisting of five Macs with tablets and digital video cameras.

Computing and Information Science (CISC)

https://www.queensu.ca/academic-calendar/graduate-studies/courses-instruction/cisc/

he actual courses offered each term will be determined by student demand and the availability of faculty. All courses are half courses (3.0 credit units). In addition to the courses listed below, descriptions of other courses offered by the school are given in the undergraduate calendars. Graduate students in the school may include in their program relevant courses from other departments such as Electrical and Computer Engineering, Psychology, Mathematics, or the School of Business.

Academic Programs

https://www.queensu.ca/academic-calendar/arts-science/academic-programs/

...Found ; MUSC 465 Course MUSC 465 Not Found...BLCK CANC; CHEM; CHIN; CISC; CLST; COCA; COGS...