31Y4: Comparative Programming Languages (Assignment Two)

Download PDF of Assignment Two handout.

The following are the URLs given in the assignment handout:

1. C# and Java

www.javaworld.com/javaworld/jw-11-2000/jw-1122-csharp1.html
www.javaworld.com/javaworld/jw-11-2000/jw-1122-letters.html
msdn.microsoft.com/msdnmag/issues/0900/csharp/default.aspx
www.softsteel.co.uk/tutorials/cSharp/cIndex.html

2. Visual Programming

(none)

3. Built-in Verification Support

www.eschertech.com/
ACM article
sct.inf.ethz.ch/research/
www.dai-arc.polito.it/dai-arc/auto/tools/tool8.shtml
http://www.praxis-cs.co.uk/sparkada/
http://www.cs.iastate.edu/~leavens/JML/
http://vl.fmnet.info/b/

4. Domain Specific languages

Call for papers for USENIX conference on DSLs (gives a nice overview of DSLs)
An overview of DSLs with lots of good links
A paper describing a framework for DSLs
An annotated bibliography

5. Functional programming in the real world

homepages.inf.ed.ac.uk/wadler/realworld/
www.math.luc.edu/icfp/
www-sal.cs.uiuc.edu/~kamin/cs497/
haskell.cs.yale.edu/yale/papers/emsoft01/

6. Combining Prolog and Java

www.ugosweb.com/jiprolog/index.shtml
grunge.cs.tu-berlin.de/~tolk/vmlanguages.html#logic
www.amzi.com/products/prolog_products.htm

7. Python

www.python.org/
in particular www.python.org/doc/Comparisons.html
www.pythonology.org/home
diveintopython.org/

Contact Information