« April 2005 | Main | June 2005 »
May 30, 2005
Gamer's Manifesto
An aptly named Gamer's Manifesto which covers at length the various design defects of current games. Quite a good read.
Posted by Carette at 11:06 PM | Comments (0)
Introductory slides on species
Slides on species, as well as variations on a theme. Relates to how one can differentiate a data-structure.
Posted by Carette at 11:02 PM | Comments (0)
Type-Based Analysis
A good bibliography of material on type-based analyses, including flow-types, effect systems, etc.
Posted by Carette at 10:58 PM | Comments (0)
May 23, 2005
Java-related tools
For doing extensions to Java, the Polyglot project looks like a very good way to go. For doing work at the bytecode level, then the Soot project should be investigated more closely.
Posted by Carette at 08:54 AM | Comments (0)
May 16, 2005
Online semantics textbook
Gordon has reminded me of Syntax and Semantics of Programming Languages, which looks like a good reference textbook for the various styles of common semantics programming languages.
Posted by Carette at 11:17 AM | Comments (0)
Interesting textbook
The logical foundations of Computer Science and Mathematics, despite the fancy title, looks like a good book on the topic.
The LtU thread on the topic is worth keeping track of.
Posted by Carette at 10:58 AM | Comments (0)
May 13, 2005
Abstract Stone Duality
When I finally get some time to look for more long-term research ideas, Paul Taylor's work in Abstract Stone Duality need a very careful read.
Posted by Carette at 03:10 PM | Comments (0)
Symbolic analysis of programs
A good systematic treatment, if somewhat older, of many issues in program comprehension via symbolic analysis "Symbolic Exectution as a tool for validation of specifications", Ralk Kneuper.
Posted by Carette at 11:19 AM | Comments (0)
May 11, 2005
Abstract Interpretation
The work of Cousot on Abstract Interpretation clearly shows a lot of promise for program analysis. The latest work on using parametric abstraction and langragians is particularly intriguing. There is a course at MIT that looks like quite a complete introduction.
Posted by Carette at 02:10 PM | Comments (0)
May 07, 2005
Haskell resources
While the Haskell site is the obvious starting place, the Wiki is also tremendously useful. Once that's been well understood, then Oleg's Haskell collection provides a good workout!
Posted by Carette at 10:16 AM | Comments (0)
May 03, 2005
NYT - RPI program
Ah, to be able to get such publicity! This New York Times article probably got RPI's enrollment up.
Posted by Carette at 11:26 AM | Comments (0)
May 01, 2005
Dynamic Languages
DSL05 looks like a really good place to submit some of the work I have done with David Miller regarding introspection in Maple. Possibly throw in some pointers to code generation and code manipulation, and this could 'work' as a good paper in applications of total introspection in a dynamic language like Maple.
Posted by Carette at 10:49 PM | Comments (0)
Formal model for traits
Along with Aspects, Traits seem to be quite hot on the programming language scene these days. They certainly help capture program intensions better than traditional constructs. But a formal basis really helps to understand what is really going on.
Posted by Carette at 10:08 AM | Comments (0)
For Wolfram
Email is down right now, so I'll note down a reference on graph reduction semantics that I need to forward to Wolfram Kahl when I get a chance.
Posted by Carette at 09:58 AM | Comments (0)