Semantic Web Interest Group IRC Scratchpad

Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at irc.freenode.net port 6667 channel #swig by the chump bot, instructions in the chump user manual. Please use UTF-8 charset on IRC and pastebin for code or data more than 10 lines long.

Nearby: IRC logs (Latest) | semantic-web list | W3C Wiki (Recent changes) | delicious swigbot

last updated at 2004-10-22 20:37
DanC: Jeffrey Dean and Sanjay Ghemawat, Google Inc.
 
 
DanC: ESC/Java and ESC/Modula-3 make use of the theorem prover Simplify.
DanC: Simplify has been implemented by Dave Detlefs (now at Sun Labs East), Greg Nelson, and Jim Saxe. It consists of about 26,000 lines of Modula-3 code.
 
 
 
dajobe: that grandchild is the semweb of course
 
Created by the Daily Chump bot. Hosted by PlanetRDF.