In-class Examples List

CS 335
Programming Languages
Spring 2011

Last modified: Friday, May 6, 2011

Important Notes:

• This is merely a selection of files and examples, most of which were mentioned or used in the class. It is not a comprehensive list, nor are all lectures included. Formatting is generally minimal.

• Week 15, Lecture 2, May 6, 2011 - End-of-Semester Wrap-Up and Final Exam Review
  • MacLennan's Principles of Programming Languages, from the course text (in tagged PDF)
  • MacLennan's version of programming language generations, (plus the interesting case of the C language), from the course text (in tagged PDF)
  • Comparative Guide to Programming Languages: how to shoot yourself in the foot; compiled from the web (in tagged PDF)
  
  
• Week 14, Lecture 1, April 26, 2011 - A few words on Control Flow
  • projected PDF pages (in tagged PDF)
  • 335lect14-1-projected.txt - projected notes from lecture (non-PDF)
  
  
• Week 13, Lecture 2, April 21, 2011 - Intro to Smalltalk-80/Squeak, part 3
  • 335lect13-2-projected.txt - projected notes from lecture (non-PDF)
  • 335lect13-2-workspace.txt - pasted contents of Squeak workspace window from lecture, with the print-it values of many of the expressions included
  
  
• Week 13, Lecture 1, April 19, 2011 - Intro to Smalltalk-80/Squeak, part 2
  • 335lect13-1-projected.txt - projected notes from lecture (non-PDF)
  • 335lect13-1-workspace.txt - pasted contents of Squeak workspace window from lecture, with the print-it values of many of the expressions included
  
  
• Week 12, Lecture 2, April 14, 2011 - Intro to Smalltalk-80/Squeak
  • Some of my favorite Smalltalk/Squeak-related resources so far:
    • Squeak home page
    • Intro to the Squeak Environment - warning, though, this is written for an older version of Squeak. The commands mostly still seem to be there in the new version, but the screen dumps look really different.
    • Reading Smalltalk - (in PDF)
    • Writing Simple Games in Squeak , a tutorial introduction to Squeak's Morphics graphics system (and really to the Squeak environment) by walking through the development of a game
    
    
  • 335lect12-2-projected.txt - projected notes from lecture (non-PDF)
  • 335lect12-2-workspace.txt - pasted contents of Squeak workspace window from lecture, with the print-it values of each expression included
  
  
• Week 12, Lecture 1, April 12, 2011 - Some Classic Parameter Passing Methods
  • projected PDF pages (in tagged PDF)
  
  
• Week 10, Lecture 1, March 29, 2011 - A couple of Prolog tidbits, and discussion of object lifetimes, what is a symbol table, storage allocation mechanisms, heap storage allocation in particular, manual memory management and garbage collection, and the beginning of a discussion about how heap storage can be reclaimed
  • change.pl - an example knowledge base with a predicate for making change for a dollar; change-play.txt is a saved SWI-Prolog session using this knowledge base
  • more-rec-examples.pl - a few more recursive examples, posted because of a class member request
  • projected PDF pages (in tagged PDF)
  
  
• Week 9, Lecture 2, March 25, 2011 - Intro to Logic Programming and Prolog, part 4
  • readplay.pl - an example knowledge base using the read predicate; read1.txt is a saved SWI-Prolog session using this knowledge base
  • commandLoop.pl - an example knowledge base using the repeat/0 predicate for looping; loop1.txt is a saved SWI-Prolog session using this knowledge base
  • projected notes regarding cut (!)
  • 335lect09-2-cut-kb.pl - an example knowledge base including several examples of cut
  • parts.pl - another example knowledge base including several examples of cut; parts1.txt is a saved SWI-Prolog session using this knowledge base
  • library.pl - another example knowledge base including an interesting use of cut
  
  
• Week 9, Lecture 1, March 23, 2011 - Intro to Logic Programming and Prolog, part 3
  • projected PDF pages (in tagged PDF)
  • density.pl: mostly is-related predicate examples: density/2, bad_density/2, less_pop/2 (demonstrating a relational operator)
  • saved SWI-Prolog sessions using density.pl: density-play1.txt, density-play2.txt
  • saved SWI-Prolog session playing with Prolog lists: list-play1.txt
  • split.pl: includes predicate split/3
  • saved SWI-Prolog session using split.pl: split-play1.txt
  • mymember.pl; includes recursive list predicate mymember/2
  • oops -- must have forgotten to use protocol/1 to save mymember/2 playing! Tried to reproduce after class: mymember-play-after-class.txt
  • after-class saved SWI-Prolog session demonstrating trace/0: trace-example.txt
  
  
• Week 7, Lecture 2, March 3, 2011 - Intro to Logic Programming and Prolog, part 2
  • projected PDF pages (in tagged PDF)
  • projected plain text
  • greek1.pl - knowledge base with flawed brother rule we ended with on Week 7, Lecture 1
  • greek2.pl - knowledge base with improved brother rule; greek2-demo.txt is a saved SWI-Prolog session using it
  • likes.pl - knowledge base regarding some likes; likes-play-1.txt , likes-play-2.txt , and likes-play-3.txt use it
  • queen-v1.pl - first version of Queen Victoria example predicates adapted from Clocksin and Mellish, "Programming in Prolog", Springer-Verlag, 1981; qv1-play.txt uses it
  • queen-v2.pl - includes improved version of has_sister; qv2-play.txt uses it
  • queen-v3.pl - includes don't care variables in rule is_parent; qv3-play.txt uses it
  • queen-v4.pl - includes recursion example: has_ancestor; qv4-play.txt uses it
  
  
• Week 7, Lecture 1, March 1, 2011 - Intro to Logic Programming and Prolog, part 1
  • Several Prolog references I like (additions welcome):
    • J. R Fisher's Prolog tutorial, Cal-Poly Pomona, http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/pt_framer.html
    • Adventure in Prolog, a game-oriented Prolog tutorial, http://www.amzi.com/AdventureInProlog/ - (thanks to D. Powell!)
    • Ch. 13, MacLennan, "Principles of Programming Languges" 3rd Edition, Oxford University Press, 1999, (course text)
    • Ch. 11, Scott, "Programming Language Pragmatics III", 3rd Edition, Morgan Kaufman, 2009, available through the HSU Library's Safari subscription
    • Clocksin and Mellish, "Programming in Prolog", Springer-Verlag, 1981 (the classic Prolog reference)
    
    
  • projected text (in tagged PDF)
  • rainy.pl - our first Prolog knowledge base
  • rainy-kb-example.txt - saved SWI-Prolog session writing queries/goals to try to prove using rainy.pl
  • weather.pl - our second Prolog knowledge base, featuring a rule/complete Horn clause
  • weather-kb-example.txt - saved SWI-Prolog session writing queries/goals to try to prove using weather.pl
  • greek1.pl - another Prolog knowledge base
  • greek1-kb-example.txt - saved SWI-Prolog session writing queries/goals to try to prove using greek1.pl
  
  
• Week 6, Lecture 2, February 24, 2011 - some discussion of names, bindings, and scopes
  • projected text (in tagged PDF)
  • static-ex.pl - Perl example of static scoping
  • dynamic-ex.pl - Perl example of dynamic scoping
  
  
• Week 5, Lecture 2, February 17, 2011 - Review for Exam 2
  • Exam 1 Study Suggestions (in tagged PDF)
  
  
• Week 5, Lecture 1, February 15, 2011 - More on Lisp/Scheme - more on lambda expressions and higher-order functions, a little bit on currying, and mention of Scheme's read function for interactive input
  • Projected examples from DrRacket Definitions window
  
  
• Week 4, Lecture 2, February 10, 2011 - More on Lisp/Scheme - including higher-order functions, some functional programming model discussion, and just starting lambda (anonymous function) discussion (day 4)
  • Projected examples from DrRacket Definitions window
  
  
• Week 4, Lecture 1, February 8, 2011 - More on Lisp/Scheme - including more on car/cdr/cons, cons cells, and more (day 3)
  • Projected examples from DrRacket Definitions window
  • a CONS cell (in tagged PDF)
  • how a list is represented (in tagged PDF)
  • how empty and 1-element lists are represented (in tagged PDF)
  • list-with-a-list example: how its representation looks (in tagged PDF)
  
  
• Week 3, Lecture 2, February 3, 2011 - Intro to Lisp/Scheme (day 2)
  • Projected examples from DrRacket Definitions window
  
  
• Week 3, Lecture 1, February 1, 2011 - little more on formal languages, and started discussing LISP (day 1)
  • Week 3, Lecture 1 projected notes
  
  
• Week 2, Lecture 2, January 27, 2011 - intro to formal languages: mostly Backus-Naur Form (BNF), also derivation trees
  • Week 2, Lecture 2 projected notes
  • BNF for an Algol-60 number (in tagged PDF)
  • example derivation of an Algol-60 number (in tagged PDF)
  • example derivation tree 1 (in tagged PDF)
  • example derivation tree 2 (in tagged PDF)
  
  
• Week 2, Lecture 1, January 25, 2011 - intro to formal languages: mostly context-free grammars (CFG's)
  • Week 2, Lecture 1 projected notes
  
  
• Week 1, Lecture 2, January 19, 2011 - intro to formal languages: regular expressions (RE)
  • Week 1, Lecture 2 projected notes plus extra (in ugly tagged PDF) - note: this actually goes on to include some context-free grammar (CFG) and Backus-Naur form (BNF) material, too
  
  
• Week 1, Lecture 1, January 17, 2011 - course intro
  • MacLennan's definition of a general purpose programming language

Back to Course Home Page