Workspaces ---- apbd asves asvpapers bear blast caltrop cases concurrency cosi dif diva dopcenter dopresence dopsysadmin eecsx44 elab embedded embeddedadmin giotto hyinfo m2t2 mescal metropolis mica mobies msgadmin murieh mvsis nephest ransom recons robosysadmin savg sec seminar smartnets video webmaster

... 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

Contact

©2002-2018 U.C. Regents