📄 http:^^www.cs.wisc.edu^~mds^mds.html
字号:
Date: Thu, 07 Nov 1996 19:14:30 GMTServer: NCSA/1.5Content-type: text/htmlLast-modified: Thu, 24 Oct 1996 21:45:12 GMTContent-length: 2800<HTML><HEAD><TITLE>Marc Shapiro's Page</TITLE></HEAD><BODY><TR> <TD><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><IMG SRC="http://www.cs.wisc.edu/~mds/cs766.shapiro.gif" ALT="[mds]" ALIGN=LEFT> </TD> <TD> Marc Shapiro believes, "'A tautology is a tautology' is a tautology." <P> I am currently obsessively fond of disappear fear, repulsed by C++, pondering fast pointer analyses, watching lots of Jackie Chan movies, thinking about programming language design, not reading much, trying to teach elementary school students to think in terms of recursion, and hoping to be interrupted. <P> This is what C. A. R. Hoare wrote about pointers in 1973: "Their introduction into high-level languages has been a step backward from which we may never recover." </TD></TR><P><UL> <LI> <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><A HREF="http://www.cs.wisc.edu/~mds/home.html">My home page (with my schedule)</A> <LI> <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><A HREF="http://cgi.cs.wisc.edu/scripts/turnidge/accident">Todd's automatic accident generator</A> <LI> <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="http://www.umich.edu/~dimasi/">Elaine DiMasi's twisty little web page</A> <LI> <!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="http://www.hep.princeton.edu/~peet/">Amanda Peet's web retreat</A></UL><HR>Here's my <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="http://www.cs.wisc.edu/~mds/hyper-mode.el">hyper-mode</A> for emacs, with thepull-down menus and all. Doesn't have all the cool html3 tags yet.<HR>This is the <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF="http://www.cs.wisc.edu/~mds/PLDI.submissions.tar.gz">web submissions software</A>I cobbled together for PLDI. You may be able to get it to work. It nowincludes the previously mostly missing file <CODE>submit.html</CODE>!<HR>This is my <!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><A HREF="http://www.cs.wisc.edu/~mds/ShapiroHorwitzPopl97.ps">POPL '97 paper</A>.<BR>"Fast and Accurate Flow-Insensitive Points-To Analysis." Marc Shapiroand Susan Horwitz. To appear in ACM Symposium on Principles of Programming Languages, 1997.<HR>My various addresses are:<UL> <LI> Marc Shapiro, CS Dept <BR> 1210 W. Dayton St <BR> Madison, WI 53706-1685 <LI> 5385 CS <BR> (608)262-1079 <LI> <!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><A HREF="mailto:mds@cs.wisc.edu">mail mds@cs.wisc.edu</A><BR> talk mds@house.cs.wisc.edu <BR> <!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><A HREF="http://www.cs.wisc.edu/cgi-bin/finger?mds@house.cs.wisc.edu">finger mds@house.cs.wisc.edu</A> <LI> 212 Marion St, Apt. 305 <BR> Madison, WI 53703-1953 <BR> (608)257-6286</UL><HR>Here's a list of people I don't know. (Really.)<UL> <LI> <!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><A HREF="http://www-sor.inria.fr/SOR/members/shapiro/">Marc Shapiro</A> (I did meet him once.) <LI> <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF="http://icg.stwing.upenn.edu/~jonathan/home.html">Jonathan Goldstein</A> <LI> <!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><A HREF="http://greed.isca.uiowa.edu/users/paul-ferguson/html/ferguson.html">Paul Ferguson</A> <LI> <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF="http://heasarc.gsfc.nasa.gov/docs/bios/lbrown.html">Lawrence Brown</A> </UL><HR>Last modified: Thu Oct 24 16:45:11 1996 by Marc Shapiro<ADDRESS> <!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><A HREF="http://www.cs.wisc.edu/~mds/mds.html">mds@cs.wisc.edu</A></ADDRESS></BODY></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -