CISC 465 Semantics of Programming Languages
Specifying syntax and semantics; operational and denotational semantics. Lambda calculi, type systems and logical foundations. Meta-theoretic properties. Semantics of imperative languages.
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.
Computing, Mathematics and Analytics – Specialization (Computing) – Bachelor of Computing (Honours)
...in Computer Science: CISC 422 ; CISC 462 ; CISC 465 ; CISC 466 ; CISC 467 ; MATH 401...
Computing, Mathematics and Analytics – Specialization (Computing) – Bachelor of Computing (Honours)
...in Computer Science: CISC 422; CISC 462; CISC 465; CISC 466; CISC 467; MATH 401...
Concurrent Education Degree Requirements
https://www.queensu.ca/academic-calendar/education/concurrent-education-program/degree-requirements/
...3.0, CISC 102 /3.0, CISC 203...380 /6.0, ENGL 465 /6.0, ENGL...