CS 784 Programming Languages


  • Instructor: T. K. Prasad
  • Phone No.: (937)-775-5109
  • Email: t.k.prasad@wright.edu
  • Home Page: http://knoesis.wright.edu/tkprasad
  • Quarter: Spring, 2012
  • Class Hrs: MW, 4:10pm-5:25pm,  141 Medical Sciences 
  • Office Hrs:MW, 3:30-4pm (395 Joshi) (or by appointment)
    •

    Course Objectives

    To provide a solid foundation for studying advanced topics in Programming Language Specification and Design.

    Prerequisites CS 480/680 Comparative Languages

    Course Description

    This course introduces concepts related to the specification and design of high-level programming languages. It discusses different programming paradigms, algebraic specification and implementation of data types, and develops interpreters for specifying operationally the various programming language features/constructs. It also introduces attribute grammar formalism and axiomatic semantics briefly. The programming assignments will be coded in Scheme using Racket IDE.

    Course Load

    The course load includes homeworks and programming assignments worth 30 points, a midterm exam worth 30 points, and a final exam worth 40 points.

    Reference

    1. Friedman, Wand and Haynes: Essentials of Programming Languages. 2nd (preferred) or 3rd Edition. MIT Press, 2001. ISBN 0-262-06217-8  (code.zip)
    2. R. Kent Dybvig: The Scheme Programming Language, 4th Edition. The MIT Press, 2009.
    1. Guttag, J.V., "Abstract Data Types and the Development of Data Structures,"  CACM, vol. 20, No. 6, June 1977, pp. 396-404.
    2. Chapter 1 of Guttag, J. V., et al, Larch: Languages and Tools for Formal Specification, Springer-Verlag, NY, 1993.
    3. H. Abelson and G. J. Sussman, Structure and Interpretation of Computer Programs, 2nd Ed., MIT Press, 1996.
    4. M. Felleisen, R. B. Findler, M. Flatt, and S. Krishnamurthi, How to Design Programs, MIT Press, 2002.
    5. Scheme : Language Reference Manual
    6. The Teaching About Programming Languages Project
    7. Chez Scheme Download Site (http://www.scheme.com)
    8. Racket Download Site (http://racket-lang.org/)

    Grading

    The letter grades will be assigned using the following scale: A[90-100], B[80-90), C[70-80), D[60-70), and F[0-60). However, I reserve the right to adjust the scale somewhat to utilize the gaps in the distribution.

    Class Schedule and Syllabus


    		 Topics with links to Lecture Notes Addl. Readings (EOPL-2nd ed)
    Class 1 Evolution of Programming Languages Turing Awards
    Class 2 Scheme Metalanguage Why specify?  Chap 1.1, 1.2
    Class 3 Abstract Data Types: Algebraic Specs Chap 2
    Class 4 (continue)
    Class 5 Programming Paradigms
    Class 6 Abstract Syntax and its Representation Chap 2
    Class 7 Interpreter for a Simple Expression Language Chap 3
    Class 8 User-Defined Functions; Scoping Chap 1.3, 3
    Class 9 Midterm Exam  (April 25)
    Class 10 Implementing Recursion Chap 3
    Class 11 Closures and Streams
    Class 12 Imperative Programming : Assignment Chap 3
    Class 13 (continue)  
    Class 14 Interpreter for an Object-Oriented Language Chap 5
    Class 15 (oopl.ps)  
    Class 16 Introduction to Attribute Grammars
    Class 17 (continue)
    Class 18 Introduction to Axiomatic Semantics
    Class 19 (continue)
    Class 20 Wrap-up
      Final Exam  (June 04, 5:45pm-7:45pm)

     Old Exams  (Spring 2011)

      Assignments (Spring 2012)