Resources

• Source code of the CTM textbook's figures
• History of Programming Languages
  • O'Reilly Chart (nice!)
  • 4 pages
  • Wikipedia Timeline
  • DMOZ Directory
  • Bibliography
• Actual BNFs of programming languages
  • Java
  • Oz
• Functional vs. Procedural Programming
  • One C++ programmer's experiments with functional programming (in Lisp)
  • John Hughes on "Why Functional Programming Matters"
  • Paul Hudak on "Conception, evolution, and application of functional programming languages"
  • Google using functional programming techniques
  • FAQ on functional programming
• Relevance of Software Correctness
  • Government mandated quality assurance of software used on national security systems (or systems processing classified information).
    • FAQ Describing mandate effective as of 1 July 2002.
    • Evalution Assurance Levels (Section 2.2.2)
      1. functionally tested
      2. structurally tested
      3. methodically tested and checked
      4. methodically designed, tested, and reviewed
      5. semiformally designed and tested
      6. semiformally verified design and tested
      7. formally verified design and tested
  • Software companies producing high-confidence software (levels 5-7)
    • Galois (using Haskell)
  • Security evaluation status
    • Oracle
    • Windows
  • More info on Wikipedia
• Discussions on Tail Call Optimization in Java
  • http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=4726340
  • http://lambda-the-ultimate.org/node/view/717
  • http://researchweb.watson.ibm.com/journal/sj/391/suganuma.html