📄 http:^^www.cs.wisc.edu^~manuvir^work.html
字号:
Date: Tue, 05 Nov 1996 21:10:07 GMTServer: NCSA/1.5Content-type: text/htmlLast-modified: Sun, 14 Apr 1996 04:41:45 GMTContent-length: 1260<html><head><title>What Manuvir Does For a Living</title></head><body background="http://www.cs.wisc.edu/~manuvir/images/paper1.jpg"><!WA0><!WA0><!WA0><!WA0><!WA0><a href="http://www.cs.wisc.edu/~manuvir/manuvir.html"><!WA1><!WA1><!WA1><!WA1><!WA1><img src="http://www.cs.wisc.edu/~manuvir/images/name.gif"></a><br><p><em>Status:</em> Ph.D. student (dissertator)<p><em>Area:</em> Programming Languages and Compilers<p><em>Program:</em> <!WA2><!WA2><!WA2><!WA2><!WA2><A HREF="http://www.cs.wisc.edu/">Computer Sciences Department,</A>University of Wisconsin-Madison<p><em>Job Description:</em> Research Assistant<p><em>Advisor:</em> <!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="http://www.cs.wisc.edu/~reps/reps.html">Prof. Thomas Reps</A><p><em>Thesis:</em> Partial Evaluation using Dependence Graphs<p><hr><p><h3>Conference Publications</h3><ul><li>Das, M., Reps, T., and Van Hentenryck, P.Semantic foundations of binding-time analysis for imperative programs.<i>PEPM '95: Proceedings of the ACM SIGPLAN Symposium onPartial Evaluation and Semantics-Based Program Manipulation</i>,(La Jolla, California, June 21-23, 1995).<!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="http://www.cs.wisc.edu/wpis/papers/pepm95a.ps"> postscript </A></ul><p><hr><p><address><!WA5><!WA5><!WA5><!WA5><!WA5><a href="http://www.cs.wisc.edu/cgi-bin/finger?manuvir@captn-hook">manuvir@cs.wisc.edu</a></address></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -