[{"run_id":"20260906T231458-5fdd2fff","semester":"1272","observed_at":"2026-09-06 23:14:58.172943+00:00","record_version_id":"00646a66c0d9fd96c1512336c872c9e2704593baab2fe6185a6673bd5a935713","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","record_version_id":"00646a66c0d9fd96c1512336c872c9e2704593baab2fe6185a6673bd5a935713","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-03b0bbb9723907cf3d1b41cf0bb34837dc398e42","semester":"1262","observed_at":"2025-04-16 05:20:33.104844+00:00","record_version_id":"3eb22dd763263187f2e6b7a500f1ba433d355408d2709834766bc93acbbe099c","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-0837245627eb714ae6bb0375f7abe8f41042011f","semester":"1262","observed_at":"2025-04-16 05:20:33.104844+00:00","record_version_id":"3eb22dd763263187f2e6b7a500f1ba433d355408d2709834766bc93acbbe099c","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-08c92e359bbbc110b0778b7e0b15d6f40000e6b1","semester":"1262","observed_at":"2025-08-21 07:05:14.730696+00:00","record_version_id":"5618ff54ca29adb39d45f4783f73f3b7245e501b12b0dbe0d46fc8b738f1a978","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-0944d76440dc778fbb89626058c10451009ce9c6","semester":"1262","observed_at":"2025-05-21 03:36:18.194118+00:00","record_version_id":"8232e8bf6a4b0a9d2d5864475bdc621d6c90cd389e6d12fc1ff272be5ae57a99","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-0a7f4bce29c816ef4d3d71b4eb8a2a3e15e33cc1","semester":"1262","observed_at":"2025-06-18 20:04:02.695444+00:00","record_version_id":"3c19178996352e75feed05606a5a4e376b238a830aca4587d0823dfabc848c9c","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-0ab917f827a7de22ebdc1087114d377a31c4687b","semester":"1262","observed_at":"2025-05-22 02:11:02.531191+00:00","record_version_id":"cbed5a9846548e6307134219862b4ed3e03fd3bee635bc84c9ebf3b4d87cf33e","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-0c40ecab4b6db9333d1f18aef816e3ee659e300c","semester":"1262","observed_at":"2025-05-25 18:02:34.797617+00:00","record_version_id":"a82e0a1e1a704f761819507d25302f11476c21b249739d8352ed22cce521b00f","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-0cb4d29a588ec7f11c7e00b7cf5dc3a0d23d0349","semester":"1266","observed_at":"2026-01-22 01:00:26.555427+00:00","record_version_id":"1ad37bc9ba51dec843932c6a08b5ee23f888ec8c13a6249ccf2eee67dff3485b","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-11c30ec39e91498cbfcf3a923c53a4b03e387280","semester":"1262","observed_at":"2025-07-20 04:58:26.847117+00:00","record_version_id":"3e5d53fe9b3d248f23c48c6ba7134e2f24721c5b1f2b097a27c0cdb1dc56ed99","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-13cd500edf2587e9a3428f326253738fbea965ea","semester":"1264","observed_at":"2025-12-14 04:50:04.653658+00:00","record_version_id":"9a02239e2562d7aeafdf947f5c7dc7a9e0e204454c1f0db3a730fb55789b11ad","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-1da08b2de39f05e6bc877c189fc2fd6eeda563f5","semester":"1262","observed_at":"2025-07-01 00:03:56.707251+00:00","record_version_id":"40b2c6406c8ff831f4412bd25739a0e06b21e51fdd294f307dd33cee82c523a6","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-2031af47efe133b0e7877f433286ff07385afc41","semester":"1262","observed_at":"2025-07-02 20:16:45.749584+00:00","record_version_id":"79324ed487e1380d6a22c620b3ccf776250d5a2aa1c7d874a9d828a476b76eb6","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-238eba6f32fbc30407f616dd0628ff02a2a824dd","semester":"1262","observed_at":"2025-08-17 05:15:07.788352+00:00","record_version_id":"aa947515656f9ba9a8f72f8c1b09558b7545016eeee59400606e78abc8594b27","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-25f0ff56bc4d80f8a8afa1a0bcce8dae6fddb5e5","semester":"1262","observed_at":"2025-05-25 17:20:25.942090+00:00","record_version_id":"eba23c75d706f00c368749fc2702438ce08f643c3ac1e48d299212acfb4b4c1f","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-2923f91826ce253b7aeefa9f75b4a39fe4c80ff0","semester":"1262","observed_at":"2025-08-10 05:10:25.938416+00:00","record_version_id":"294c86688f4719d06959d61e10755c5d26ab9b57048d7f1c10677bf1fa74ae19","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-2a05214a4023e0157fa6f7d188c85308f714176c","semester":"1262","observed_at":"2025-09-07 04:56:38.255315+00:00","record_version_id":"268c4b3b88e99a0696b93558fbe823c66ed7c7230ced4bbd1ccdcb57e3d0a55c","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-2b1b8e39131de92b94620b25c5bbb25690efed4c","semester":"1262","observed_at":"2025-06-01 07:54:53.913454+00:00","record_version_id":"b2c776fdf1f20f46b56b1b4dc2daf7f8951671d49c27388744b4076a42d24fdf","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-33a1225644e5a5855d60f66e65413946e72fedf4","semester":"1262","observed_at":"2025-06-22 01:52:05.152650+00:00","record_version_id":"fd69f7982b322b6411995711ac54639e11b5c765eb06d8915654c55ab1956f8c","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-3b89c83dbf5208e13756184de1f2b2d0c09af35f","semester":"1262","observed_at":"2025-06-30 06:40:10.235522+00:00","record_version_id":"8d7266f484976078cc807d9caf55f672135a08ff9c6523d132239460c8d73564","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-3c3eebf7f35c39364b445a2fa5a112ce28dbb4a1","semester":"1262","observed_at":"2025-06-01 17:03:59.062985+00:00","record_version_id":"32eebac9db331aa25c177b4692ab9ff81a344577737b4fea78fb9dcbb0000841","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-3fa4dd71391f1c9cf4ab2216680bbc428689f92d","semester":"1262","observed_at":"2025-05-25 01:15:58.180530+00:00","record_version_id":"addb744a08b0b25be890c1cf068de465766a4bdf3e971bff99c8c1fbaffb61d0","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-4040aa216da722a34483f68fc1e129ea571ae08d","semester":"1262","observed_at":"2025-06-01 07:27:39.695506+00:00","record_version_id":"297b0a3bb368048c1987a4ac9a5f6ee0278288c91db030f156119dacff15fbd2","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-454d53cd690294459f8ad0793cc3ed562060e56c","semester":"1262","observed_at":"2025-05-25 01:34:00.536004+00:00","record_version_id":"69ce872aacfe2f6e2378b50814b30a93b08e8df8b3ffceb8678ccacce60cba39","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-486f091e051fdb4ccdb80ee7b4fb0a5814510324","semester":"1264","observed_at":"2025-11-16 05:32:31.273726+00:00","record_version_id":"6f9c87edf83a691f3e3eb38e48563e691598d0ebd8057a8d52cc9c0ddf013edd","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-50393cfc5fd5598d4f4731ef1919f2ff53af07d9","semester":"1262","observed_at":"2025-06-30 06:05:57.438846+00:00","record_version_id":"611e007bd717fd54ee7681c873848108969f4e0ebba1c1a22503907a2fee4192","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-50f6947786b208c800db8bbd0cec84a8f0f187d2","semester":"1262","observed_at":"2025-06-02 03:49:42.915428+00:00","record_version_id":"f97ece5451c86f8369d029c2e81502d1203d27cdcca030d1e8c6b5663402e5fa","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-51d86ed4082dced3803c295419b0ec8440942016","semester":"1264","observed_at":"2025-11-12 04:50:41.141307+00:00","record_version_id":"f570be57d296aeb0d1a85fb593588dd21b1fd866f32cf111b6a47c18fc49b07d","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-53101bd1c10db0d00d094e4c9154d4c244ff23d9","semester":"1262","observed_at":"2025-10-05 04:58:05.366968+00:00","record_version_id":"225833637ecc6824158304376449796b14f7f6b2f54daa5fbbcefa82236ccf5b","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-58751151c564e11c5cb8aedd3a2d3527c22f73eb","semester":"1262","observed_at":"2025-06-01 06:59:01.536576+00:00","record_version_id":"30bcc32560853fec1521e89e06b8b8cc5fc5d34f3f6a86e9167103d6b6d7cf1d","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-5c4c8d3701a333ba4ddadef7d0b5dde8440fcdf0","semester":"1262","observed_at":"2025-06-01 01:57:51.256704+00:00","record_version_id":"c9430b0f7b04f39d30f83388b1ba967127cba18afe2fd41a1a0a5c2b77cf738a","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-5d20d9f81651d3c83fcaa2fd10870ce6e5d5a685","semester":"1262","observed_at":"2025-05-21 16:48:48.484741+00:00","record_version_id":"d5c7be5900339f2368096bdba24602285ee71e9e1e11733ef6438f96a8ed836c","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-5feaebf2ab37051c86ad360cc0fa0d7e0e2ea295","semester":"1262","observed_at":"2025-05-24 15:58:23.378859+00:00","record_version_id":"97e078846421703bc336d3b714223f5104b4e96abd0d8629242b5edb89c6ea6e","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-60949965544fce098cc006354e201149005fb77b","semester":"1264","observed_at":"2025-10-26 05:07:14.077864+00:00","record_version_id":"7133a58f4d60fc795afd9cbec1885170232694165c29f5d3db7575ce8f6a49fc","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-639225ac3addf8522f1d30cb4fe26054ea7f8c49","semester":"1262","observed_at":"2025-06-01 08:14:42.497608+00:00","record_version_id":"87b4c97b1764bdd090813c8dfd5772a9dda2c98032c51850fc0796819ab81d39","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-64093b17b3a9c67a41aa33eb37adb53ec38df714","semester":"1262","observed_at":"2025-05-22 02:11:02.531191+00:00","record_version_id":"02c90ee40b515b8eac891d2a86841bc665b719c3ceddfb040ce3d3d1e2bf0042","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-6885b56099f55e08aa0205546369fb0381d50e13","semester":"1262","observed_at":"2025-07-13 04:59:22.367394+00:00","record_version_id":"782281fc510655c2e52db452df2f4d3342515e47ce40aa044028c07e23800298","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-69d4b2b16e8268f75b6390b3a0e2ce8bf73999da","semester":"1262","observed_at":"2025-06-30 03:21:29.925498+00:00","record_version_id":"ba6c526d47c617c3333b8a76a1e29c86cd6c26e7a63a95feb7f8d4a9e048fcac","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-6b29c3e0673b2f9a736d2363db5409e03d5b3ed4","semester":"1264","observed_at":"2025-12-03 12:33:41.418072+00:00","record_version_id":"98109408b02580088763a183a3e4e688c59ecd502e948a84abc1d52441429d15","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-73259984748de484976ef2ad56ad7ab3d4cb4518","semester":"1262","observed_at":"2025-06-26 08:27:56.461216+00:00","record_version_id":"558d37b0906046b8c8c6d2f15510b25bcd801b50ff8b7e78b0aff6f3859d6aa3","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-741602fbc6252c232a0b9e6bc1a9ae3101625f5a","semester":"1262","observed_at":"2025-06-30 22:49:32.522034+00:00","record_version_id":"c232856463b4fa7452758ccb3e9fb1b49418f6045d2faf82e1bee53f87e6bddf","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-7774f45558276ec29bf626e58fffb4a27bdbb2a9","semester":"1264","observed_at":"2025-11-01 11:49:36.359151+00:00","record_version_id":"9a21dcf60eff7b06d67123cc5e2921dad0c4ddc6b6332e3d62b2de4857f12228","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-7ab7c5e783fc8ebef8b8ee8cea019ee37a72ce74","semester":"1262","observed_at":"2025-09-28 04:58:07.340658+00:00","record_version_id":"320bbe8a83ddd3b32605584482a8159890220f509fd390465db21d269f885515","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-7b2f22d83ea05055ab90dcb77dc802382cccc6f7","semester":"1262","observed_at":"2025-05-21 17:56:46.096741+00:00","record_version_id":"74fa94665d6e2a9b74edc6b0d858850a27613cac73b20d4ab7fbbe86a681392c","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-7ca1175502be18eb51f7b016818a884a43fd4ebb","semester":"1262","observed_at":"2025-07-29 06:28:23.644795+00:00","record_version_id":"12e2428b064ce58675af226727c0a3862950e0072fbaa227299b837d23e5772d","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-7d8cee5e42602ad9ba5dc0322085af2fa0dffaac","semester":"1262","observed_at":"2025-05-22 01:15:19.291664+00:00","record_version_id":"f20edba55b00cba97ada757acd61b9f7fad435b34c5bcd8fb663c42bbb333f05","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-81a0d6a7f668c98c59bd05fa988aa079c5ad1f68","semester":"1262","observed_at":"2025-05-31 07:49:50.419452+00:00","record_version_id":"650056e0e373ccb45ad065ca3db990bd968b3ebe634541345b42021881ced372","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-82f31c08c746a214872494cde6ecaeb9330441b4","semester":"1262","observed_at":"2025-06-17 21:26:08.547156+00:00","record_version_id":"a7624ade8f3f18071997b0aa86b083bb69b36b9bb80b246aa598a9825dc9fb19","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-84c248343c5a99ab42c5616c594812a5e3e31cbb","semester":"1262","observed_at":"2025-07-04 06:00:07.487827+00:00","record_version_id":"129061446cc7bdc6b2e21ea305f6cf56ee53407d8de905a5f5b46023e895f76a","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-86334e7275e315853287e8580c35456c68df800b","semester":"1262","observed_at":"2025-05-22 06:53:03.336354+00:00","record_version_id":"456195711412a4b3917b9185ced2742a136cae0a84a1706c89e5b9835b39ba9d","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-8686dc1664f93a6c05f50321410961b39b12f91b","semester":"1262","observed_at":"2025-05-28 10:17:41.595894+00:00","record_version_id":"7b03b56c47c416d437539fa1776748cd324d1b90db7c896d2cfa9aad885006cf","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-86d941366886c9a14a2581c04e20d0bdd25e1b02","semester":"1262","observed_at":"2025-08-31 04:54:14.656039+00:00","record_version_id":"6ffec49f08d5a8db1e12faed0c7a4f60a3335ae80e5c9fa939b627252544747a","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-8ba1d2e6cfbb1525b4f9f769ec164fb6ad0f237a","semester":"1262","observed_at":"2025-06-02 05:22:45.010398+00:00","record_version_id":"21ddfddc1bc3f4d1fd7e5b43a643a74a8f17d076747bf405f9a2474c86fb5519","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-90e5aa456689a3b222016c05c319bbcd0bddd453","semester":"1262","observed_at":"2025-05-25 02:00:10.037905+00:00","record_version_id":"0cdeb8b0d74c01bd6e10834f1af33f580dd5e459a675cb74406b93866838c2c4","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-92d960aa7e4cd6e4c9ac8b2e232092904038e9e4","semester":"1262","observed_at":"2025-06-08 01:50:46.451351+00:00","record_version_id":"a2424279ca436fe1118cf31e6ee2a0a43c92bceb566b5d6bbc1d5a406be083c2","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-94002ae588a8f71eca6d64105f2e603e8587293b","semester":"1262","observed_at":"2025-05-21 09:01:16.021508+00:00","record_version_id":"956f2b3e22f07f74366b200458a4eff39749d221be9c543da4ce78676b8b678b","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-9dd575e013c5c6e000ab3ad2d1288cc1dd9c96dc","semester":"1264","observed_at":"2025-12-21 04:47:46.589081+00:00","record_version_id":"3301ec7ad7f80715f876400281e1b1d4ad921be7411a97bdfdfec0a447403ea5","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-a1ea26ed78cbd6e94bc3221e50a6ed9b6bf43871","semester":"1262","observed_at":"2025-05-25 09:16:55.180581+00:00","record_version_id":"b2fc1d21961812ad1d9d34283ad6d19b16239bb231dd51c039245dce61ad25e8","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-a76a3505853d5ea9c13bb98472b87361d469e2ee","semester":"1262","observed_at":"2025-05-28 18:03:41.793846+00:00","record_version_id":"ac83126a7b904862f5fe5b65c9d2212aba9fa3539a40811dc5f01c3e9747fea9","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-b285d591f6acf3aa1910e02edc297664db86eb8c","semester":"1262","observed_at":"2025-06-10 22:48:22.460295+00:00","record_version_id":"8619dc9a6ab7fed776ae484e50d22c3a95351af227af55dfd129d68eb02293c2","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-b79af756e4f00ba98231feb859ed8e98239eb811","semester":"1262","observed_at":"2025-05-22 02:47:56.931581+00:00","record_version_id":"dac8b71524e98b67b23d0b49681d5ec51e6feff1b06760df7c2156e566f8edf5","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-b89e05b94730c6471439082d9279c0a834a4aeec","semester":"1262","observed_at":"2025-08-26 20:25:42.325239+00:00","record_version_id":"701607e1e770645a63de9b228311ff6349f900083e7127ffc004a60b296ed3a2","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-b9279a12d1f2688df9e556183c94d41a89e431dc","semester":"1262","observed_at":"2025-07-06 01:49:47.203835+00:00","record_version_id":"9fa509c21f3a09f35a7ef8e8cce56d985ccfa79dcc88e59b18a421a0c6762b40","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-bbdc905e96cc681a5e9a8b02c795b682206e36d1","semester":"1262","observed_at":"2025-06-25 08:02:45.445730+00:00","record_version_id":"76444ee519e3a1f058c757b3416ff51c70d344b65b2209643b96dd16e2af81fc","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-bde225b5243a13d81827aa173e39c78a652b54a0","semester":"1262","observed_at":"2025-05-23 07:22:33.219345+00:00","record_version_id":"5e74ed49680c209cc834634a66c9278783a43a5ecbb2715ad211060304b779ab","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-c1fac4cbfde737f4f4ac02cdf15e6f5a9b5b676d","semester":"1262","observed_at":"2025-05-22 01:15:19.291664+00:00","record_version_id":"f20edba55b00cba97ada757acd61b9f7fad435b34c5bcd8fb663c42bbb333f05","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-c6b62be45f8a13cba109ef2a7741b9cd9a6b8272","semester":"1262","observed_at":"2025-08-24 08:48:09.035112+00:00","record_version_id":"5fb17826e14a3f259e785f3cc4a70a4e8135b5ce7264ff780d0164510a965f75","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-cc83f62cb6db61f39320916d819ad48ce55cd96d","semester":"1262","observed_at":"2025-05-22 00:45:35.735230+00:00","record_version_id":"2d1250eafc8503213b97a12cde1a4050f6fb388709fd200476824fd135429bf5","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-d33818a01b6b4c5e2902e704da6e5b713742d4dc","semester":"1262","observed_at":"2025-10-13 10:46:24.251475+00:00","record_version_id":"ace90108159c2b4b1fdb8f0ca6660d1d65981d4a6db2f3254b4d5818646b7562","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-d3c17db9832d3064916046caf891dd23f10b1bb9","semester":"1262","observed_at":"2025-08-26 11:30:42.288639+00:00","record_version_id":"a008e9023f629a3f4a8c3f0fa4695bd94f574d4a3020e0931d55246bcedd223b","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-d4ee226dc44268e9b6767fb9f5f20343322f494b","semester":"1262","observed_at":"2025-06-15 01:52:23.911697+00:00","record_version_id":"67d52dc46d350a670aa6fc97baf0f227f956ff1af01dfa432782448a8c5f99e5","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-d8f9fc7f136e2033556d9d65bbdbdf33425dbdc9","semester":"1262","observed_at":"2025-05-28 16:48:12.400438+00:00","record_version_id":"49de83d72000a56145f071a6f0659754ebcb42186c7d3f6fd6730e520844d438","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-dbbc9739c616c3846b2e796e00a36fa41225f7d8","semester":"1262","observed_at":"2025-06-01 17:47:19.325144+00:00","record_version_id":"bd098d2c0b196e436bfdf46a72cbdbada78ef45a5bc128dd384150a313022b2e","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-dbe5f2d24b48c3177297a3d69c553cc9d1194bac","semester":"1262","observed_at":"2025-09-14 05:00:27.366070+00:00","record_version_id":"e49749c7cbf1d1f5838b1a62d6686848b312c3b18f3509932445ea3b97169b46","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-dd357dc2758e9e282c30988a527ce37de92593b9","semester":"1264","observed_at":"2025-10-19 01:39:41.951404+00:00","record_version_id":"814866447cbacf3aefe0bee0782c4b35085fd6291833b19b9ae1e9274dd429e7","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-de74de559e409a3fe668685e28043b888d2e6841","semester":"1262","observed_at":"2025-06-27 07:38:50.882897+00:00","record_version_id":"ba73a19b037591863e11cd261b0bddf45b7e6a2768d2a5abf79e2d744eb6bb92","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-deca7188cf536ade3203cd88b52a45e92a059617","semester":"1262","observed_at":"2025-06-27 00:37:46.087071+00:00","record_version_id":"5e1b67047c590dd946f73d32019d478f47aee8f8e2fcafe0ab9cf832fdcff87b","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-df60fa9ac3931c5612b0fa641b7a6f5fbec86fab","semester":"1262","observed_at":"2025-05-24 06:36:37.554678+00:00","record_version_id":"f6c291a63fede79d89cf3da2fc048b888f81aa387f094930dcbe943581c67c91","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-e339da2d849aaf8bb4dceca07a84728af23cf755","semester":"1262","observed_at":"2025-07-23 08:49:22.748925+00:00","record_version_id":"0b27a010ba609f87235c5d42a50095785141f12685eb5bfcb1944cc114d68785","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-e934b1784835f5d36ae9b7ef0992b11e72c39142","semester":"1262","observed_at":"2025-06-01 06:21:25.219533+00:00","record_version_id":"0745d1c184de5cf1e42df3f22c0fca6696944b075787f5c1f071cfa2b1c994b7","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-ef471690c082448deebd2687eab84b0b78813c36","semester":"1262","observed_at":"2025-06-29 01:47:56.317645+00:00","record_version_id":"db2119a22e5723e912ca9fbb50297f6e14b995d306976286752a5fa9f08aa649","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-efc4e8e2cd7c3f68e059a308990c00c77c7611eb","semester":"1264","observed_at":"2025-10-16 05:48:13.935141+00:00","record_version_id":"f95685f57f53f737b2e57974d4ec9b6d6b5de296af9dc15900a6018571e0ad56","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"},{"run_id":"legacy-f18b7749725097d41f69c60779ff38cf073b93b3","semester":"1262","observed_at":"2025-05-21 19:52:03.259353+00:00","record_version_id":"39c0401813af80bdbb3924367f4393bee1e1f520ceba8c3ab9e190ac5f40a95a","course_id":"COMPSCI 538","course_uid":"course_72304a5f1ade48d79a193831","catalog_version_id":"3a8e8ba5790a888f007b949c5448f89ddb9fa91d11c4fd59213a640305fc8bd9","course_number":538,"subjects":["COMPSCI"],"title":"INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES","description":"Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.","requirements_text":"E C E/​COMP SCI  354and (COMP SCI 367 or400) or graduate/professional standing or declared in the Capstone Certificate in Computer Sciences for Professionals"}]