Projects in CS263: Design of Programming Languages

• Visual programming languages: a survey by Marat Boshernitsan and Michael Downes.

• Flow-insensitive points-to analysis with mixed term and set constraints by Jeff Foster.

• Virtual programming languages by David Gibson.

• Proof carrying code: a survey by Anupam Gupta.

• Object oriented distributed computing infrastructures and programming language interoperability by Hans-Arno Jacobsen.

• Design of a speech oriented programming language (sopl) by Adam Janin.

• A survey of document formatting languages by David Martin.

• The semantics of probabilistic programs by Ashwin Nayak.

• Agent-oriented programming: a practical evaluation by David Parks.

• Domain-specific languages (DSLs): a paper survey by Dan Reznik.
  Revised report.

• Languages for user interface design by Jordan Smith.

• Inheritance anomaly in OOCP languages by Rajeshwari SusaiMicheal.

• The O-1 project: an O-1 type analyzer by Tajh Taylor.

• Programming with probabilities by Carter Wendelken.

• A Java implementation of a type inference algorithm by Yizhou Yu.

• On extensions of Java by Yan Zhuang.