CS232F: Programming Languages (3-0-4-5)

II Semester 2001-2002
Instructor: S. Arun-Kumar

Roll List Last modified: Mon Apr 19 22:42:31 2004 Course Outline
Standby lectures &
tutorials		Tuesday
10:00 VI 301
Lectures
Tuesday9:00 VI 301
Thursday10:00 VI 301
Friday10:00 VI 301
 Evaluation & Exam schedule
I Minor25%14:30-15:3002 FebV 417-418
II Minor25%14:30-15:3014 MarV 417-418
Major (open notes)35%10:30-12:3027 AprV417-418
Tutorials &
Assignments		15%   

Assignments:

Important general notes on assignments
Assignment 1 (early deadline Midnight 22 Jan 2002) Click here to submit Assignment 1
Assignment 2 (early deadline Midnight 17 Mar 2002) Click here to submit Assignment 2 Similarity report on Assignment 2
Assignment 3 (early deadline Midnight 14 Apr 2002) Click here to submit Assignment 3

References:

  1. S. Arun-Kumar, Inheritance in Java, 2002.
  2. S. Arun-Kumar, Type inferencing in the Lambda Calculus, 2002.
  3. S. Arun-Kumar, Some slides on compiler technology used in another course, 2003.
  4. S. Arun-Kumar, Video Lectures on Programming Languages, IIT Delhi Central Library, 1996.
  5. Prasad S, S. Arun-Kumar: Notes on An Introduction to Operational Semantics, November 2001.
  6. Ghezzi C, Jazayeri M: Programming Language Concepts, 3rd ed., John Wiley and Sons, 1998.
  7. Sethi R: Programming Languages, 2nd ed., Addison-Wesley, 1996.

Rational number packages in SML and Java

SML implementationsJava implementation
  1. Signature
  2. Record structure implementation
  3. Abstype structure implementation
  4. Integer implementation
  1. Record structure implmentation
  2. Client code for testing implementation
Solution to Minor 2 paper
Solution to the Towers of Hanoi problem
Some CSP examples
Tutorial sheet on Operational semantics

Some really simple Prolog programs

  1. Selection Sort
  2. Merge Sort
  3. Fibonacci
  4. String to Integer

References related to Logic:

  1. S. Arun-Kumar, Notes on Introduction to Logic for Computer Science (postscript) and occasional handouts
  2. John Kelly, The Essence of Logic, Prentice-Hall India, Eastern Economy Edition, 1997.
  3. M. Fitting, First-Order Logic and Automated Theorem Proving, Springer-Verlag, 1990.
  4. L. C. Paulson, Logic and Proof, Notes for Computer Science Tripos, Cambridge University, 1996.
  5. I. M. Copi, Symbolic Logic, Prentice-Hall India, reprint of 1979 edition by Macmillan.

References related to Standard ML:

  1. L. C. Paulson, ML for the Working Programmer, 2nd Edition, Cambridge University Press, ????.
  2. S. Banerjee, S. Arun-Kumar, D. Dubhashi, Introduction to Computer Science, postscript-gzipped.
  3. R. Harper, Programming in Standard ML, postscript-gzipped, 1998.
S. Arun-Kumar
<sak@cse.iitd.ernet.in>