Workspaces ---- apbd asves asvpapers bear blast buildmaster caltrop cases compaan concurrency cosi dif diva dopcenter dopsysadmin elab embedded embeddedadmin giotto healtheu hyinfo m2t2 mescal metropolis mica mobies mocpaper msgadmin mvsis nephest platform ransom robosysadmin savg sec seminar sensorprivacy smartnets systems truck video webmaster wow

... Many of these conventions come from John Ousterhout's Tcl/Tk Engineering Manual, available with the Tcl/Tk distribution from ftp.cs.berkeley.edu. The function naming conventions and the automatic prototype extractor were also inspired by the ideas of Herve Touati, Jean Christophe Madre, and Olivier Coudert. The documentation extractor for Sun's Java language is similar to ours (http://java.sun.com). ... Verification Interacting with Synthesis ... HTML: Hyper Text Markup Language, used on the World-Wide Web. A complete description of these directives may be found at http://www.ncsa.uiuc.edu/General/Internet/WWW/HTMLPrimer.html. Tom Shiple Fri May 10 17:19:47 PDT 1996

You are not logged in

©2002-2009 U.C. Regents