This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: 1 9/6/06 From Slides by A. Dimock (Copyright) 1 Design of Programming Languages Or: what are the language tradeoffs I can choose among and why?? 9/6/06 From Slides by A. Dimock (Copyright) 2 DPL - 1: Syntax, Types of Semantics, Impcore Instructor: G. Pecelli Material by N. Ramsey, R. Harper, J. Reynolds, H. and F. Nielsen. Other material by A. Dimock, and various others as the need arises. 9/6/06 From Slides by A. Dimock (Copyright) 3 DPL-1 http://www.cs.uml.edu/~giam/DPL Class: Tuesdays 5:30-8:20 Of¡ce Hours: Th.:.9:00-12:00; Tu. 2:30-5:15. Other times by appointment. E-mail: [email protected] TA: ??? Norman Ramsey's materials (most recent available): http://www.eecs.harvard.edu/~nr/cs152/ 9/6/06 From Slides by A. Dimock (Copyright) 4 DPL-1: Administration - Grading Homework, Exams (2), Final. About 10 HW assignments (probably 13) Lateness Penalty 2 n-- n = days late. No submissions accepted after 6 days. Mix of questions. Conciseness and clarity. Submission formats: .pdf, .doc, scanned (if VERY clear) for non-code. Code ONLY in ASCII with TEST CASES (obligatory) - graded as 0 otherwise. submit giam HWx <¡lename> 9/6/06 From Slides by A. Dimock (Copyright) 5 DPL-1: Administration - Collaboration. Discuss problems in general terms: OK. Exchange code or solution details: not OK. All discussions MUST be attributed. Stuff from net or other sources: MUST be attributed. 9/6/06 From Slides by A. Dimock (Copyright) 6 DPL-1: Administration - Computing. Course software runs on mercury.cs.uml.edu Software not installed: ~giam/public_html/DPL/software Programming in : C, SML, Prolog, languages from Ramsey & Kamin 2 9/6/06 From Slides by A. Dimock (Copyright) 7 DPL-1: Administration - Prerequisites Good programming skills: 91.301 or equivalent modifying code learn SML as needed Unix. Basic math skills: Sets, relations, functions. Induction proofs. Basic logic. 9/6/06 From Slides by A. Dimock (Copyright) 8 DPL-1: Administration - Readings. Ramsey & Kamin: sequence of languages and concepts. Interpreters in C and SML. Evaluation semantics as a formalism. Small section on program correctness (maybe). L. C. Paulson: Foundations of Functional Programming. A. M. Pitts: Lecture Notes on Denotational Semantics. Ullman: Elements of ML. A. J. C. Gordon: Notes on Hoare Logic. 9/6/06 From Slides by A. Dimock (Copyright) 9 DPL-1: Administration - Syllabus. Notation; Concrete and Abstract Syntax A Core Imperative Language (Ch 1&2) Scheme and Recursive Programming (Ch. 3) The Lambda Calculus Introduction to Standard ML (Ullman) Type Systems (Ch. 6 and supplements) ML Type Inference (Ch. 7) Intro to Denotational Semantics Prolog and Logic Programming Smalltalk and OO Programming Data Abstraction and CLU (maybe) Program Correctness Relating Semantics (maybe) Module Systems (maybe) 9/6/06 From Slides by A. Dimock (Copyright)...
View Full Document
- Fall '09
- denotational semantics, A. Dimock