References

 

[ACM91]         ACM/IEEE-CS Joint Curriculum Task Force (1991). Computing Curricula 1991.  New York, ACM Press.

 

[Ari52]             Aristotle, Posterior Analytics, Book 2, Chapter 19, 100A from Aristotle I, Britannica Great Books, 1952

 

[BaKi94]         Barr, John and L.A. Smith King, "Interpreter-based Projects for a Traditional Programming Languages Course", The Journal of Computing in Small Colleges, Volume 10, Number 2, November 1994.

 

[BaKi95]         Barr, John and L.A. Smith King, "An Environment for Interpreter-based Programming Language Projects",  Twenty-sixth SIGCSE Technical Symposium on Computer Science Education, Volume 26, Number 1, March 1995.

 

[BaKi95f]        John Barr and L.A. Smith King, "Teaching Programming Languages by Counter-Example", The Proceedings of the Eleventh Annual Eastern Small College Computing Conference, New Rochelle, NY, October 20-21, 1995.

 

[BaKi00]         Barr, John and L.A. Smith King, "An Environment for Interpreter-based Projects for the Programming Languages Course", National Science Foundation DUE CCLI-EMD 9952398, January 2000 – June 2001.

 

[BaKiCo01]         Barr, John, L.A. Smith King and Ben Coleman, "What Could Be More SLic?: Projects for the Programming Languages Course",   Proceedings of the Thirty-second SIGCSE Technical Symposium on Computer Science Education, Volume 32, Number 1, February 21-24, 2001.

 

[Boi93]            Boizumault. P., The Implementation of Prolog,  Princeton University Press, Princeton, New Jersey, 1993.

 

[Bru99]            Bruce, Kim, "Formal Semantics and Interpreters in a Principles of Programming Languages Course",  Thirtieth SIGCSE Technical Symposium on Computer Science Education, Volume 39, Number 1, March 1999.

 

[CC2001]       http://www.computer.org/education/cc2001/index.htm, accessed 8/22/2000.

 

[CRA99]         http://www.cra.org/Activities/snowbird/slides/Turner/sld007.htm, Computer Sciences Accreditation Board slides (CSAB) accessed 5/21/99

 

[DeJi95]         Dershem, Herbert L. and Michael J. Jipping, Programming Languages: Structures and Models, PWS Publishing Company, 1995.

 

[EnBrBr84]     Ennals, R., J. Briggs, and D. Brough.  “What the naïve user wants from Prolog,” Implementations of Prolog, J.A. Cambell Editor, Halsted Press, New York, 1984, pp. 376-386.

 

[FiGr93]          Fischer, A.,  and Frances Grodzinsky, The Anatomy of Programming Languages, Prentice Hall, 1993.

 

[Fri92]             Friedman, D., Wand, M. and Haynes, C., Essentials of Programming Languages, The MIT Press, 1992.

 

[Ger93]           Gersting, Judith L., Mathematical Structures for Computer Science,  New York: Computer Science Press, 1993.

 

[Hai95]            Haines, Jimmie, “Collaborative Learning in Undergraduate Information Science Education”, Panel, Twenty-Sixth SIGSCE Technical Symposium on Computer Science Education, Volume 27, Number 1, March 1995.

 

[Kam90]         Kamin, Samuel, Programming Languages: An Interpreter-Based  Approach, Addison-Wesley Publishing Company, 1990.

 

[KlSz84]          F. Kluzniak and S. Szpakowicz, “Prolog – a panacea?,”  Implementations of Prolog, J.A. Cambell Editor, Halsted Press, New York, 1984, pp.71-84.

 

[Loc52]           Locke, An Essay Concerning Human Understanding, Book 2, Chapter 1, Section 2, Britannica Great Books, 1952

 

[Pra84]           Pratt, Terrence W., Programming Languages Design and Implementation, 2nd Edition, Prentice-Hall, Inc., 1984.

 

[PrZe96]         Pratt, Terrence W. and Marvin Zelkowitz, Programming Languages Design and Implementation, 3rd Edition, Prentice-Hall, Inc., Englewood Cliffs, NJ, 1996.

 

[Rob65]          Robinson, J.A., “A Machine Oriented Logic Based on the Resolution Principle,” J.A.C.M., volume 12, number 1, 1965, pp. 23-44.

 

[Seb93]          Sebesta, Robert W.  Concepts of Programming Languages, The Benjamin Cummings Publishing Company, Inc., Redwood City, CA, 1993.

 

[Seb99]          Sebesta, Robert W., Concepts of Programming Languages, 4th Edition, Addison-Wesley Publishing, Inc., Menlo Park, CA., 1999.

 

[Set90]            Sethi, Ravi, Programming Languages Concepts and Constructs, Addison-Wesley Publishing Company, 1990.

 

[StLe00]         Stevens, K. Todd, John Lewis, et.al. “Using Large Projects in a Computer Science Curriculum”, Panel, Thirty-first SIGSCE Technical Symposium on Computer Science Education, Volume 32, Number 1, March 2000.

 

[TuNo01]        Tucker, Alan, and Robert Noonan, Programming Languages: Principles and Paradigms, 2001