http:^^www.cs.wisc.edu^~reps^reps.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 1,008 行 · 第 1/5 页

<i>ACM SIGPLAN Notices 23</i>, 7 (July 1988),  pp. 35-46.
<p>
<li>
<a name="iwsvcc88">
Reps, T., Horwitz, S., and Prins, J.,</a>
Support for integrating program variants in an environment for
programming in the large.
In <i>Proceedings of the International Workshop on Software Version
and Configuration Control</i>, (Grassau, W. Germany, Jan. 27-29, 1988),
<i>Berichte des German Chapter of the ACM</i>, Vol. 30, J.F.H. Winkler (ed.),
B.G. Teubner, Stuttgart, W. Germany, 1988, pp. 197-216.
<p>
<li>
<a name="popl88a">
Horwitz, S., Prins, J., and Reps, T.,</a>
Integrating non-interfering versions of programs.
In <i>Conference Record of the Fifteenth ACM Symposium on Principles of
Programming Languages</i>, (San Diego, CA, January 13-15, 1988),
ACM, New York, NY, 1988, pp. 133-145.
<p>
<li>
<a name="popl88b">
Horwitz, S., Prins, J., and Reps, T.,</a>
On the adequacy of program dependence graphs for representing programs.
In <i>Conference Record of the Fifteenth ACM Symposium on Principles of
Programming Languages</i>, (San Diego, CA, January 13-15, 1988),
ACM, New York, NY, 1988, pp. 146-157.
<!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><!WA148><A HREF="http://www.cs.wisc.edu/wpis/papers/popl88b.ps"> popl88b.ps </A>
<p>
<li>
<a name="popl86">
Reps, T., Marceau, C., and Teitelbaum, T.,</a>
Remote attribute updating for language-based editors.
In <i>Conference Record of the Thirteenth ACM Symposium on Principles of
Programming Languages</i>, (St. Petersburg, FL, January 13-15, 1986),
ACM, New York, NY, 1986, pp. 1-13.
<p>
<li>
<a name="psde84">
Reps, T. and Teitelbaum, T.,</a>
The Synthesizer Generator.
In <i>Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering
Symposium on Practical Software Development Environments</i>,
(Pittsburgh, PA, April 23-25, 1984),
<i>ACM SIGPLAN Notices 19</i>, 5 (May 1984),  pp. 42-48.
<p>
<li>
<a name="popl84">
Reps, T. and Alpern, B.,</a>
Interactive proof checking.
In <i>Conference Record of the Eleventh ACM Symposium on
Principles of Programming Languages</i>,
(Salt Lake City, Utah, January 15-18, 1984),
ACM, New York, NY, 1984, pp. 36-45.
<p>
<li>
<a name="compcon83">
Reps, T.,</a>
Static-semantic analysis in language-based editors.
In <i>Digest of Papers of the IEEE Spring CompCon 83</i>,
(San Francisco, CA, March 1-3, 1983),
IEEE Computer Society, Washington, DC, 1983, pp. 411-414.
<p>
<li>
<a name="popl82">
Reps, T.,</a>
Optimal-time incremental semantic analysis for syntax-directed editors.
In <i>Conference Record of the Ninth ACM Symposium on Principles
of Programming Languages</i>, (Albuquerque, NM, January 25-27, 1982),
ACM, New York, NY, 1982, pp. 169-176.
<p>
<li>
<a name="stm81">
Teitelbaum, T., Reps, T., and Horwitz, S.,</a>
The why and wherefore of the Cornell Program Synthesizer.
In <i>Proceedings of the ACM SIGPLAN/SIGOA Symposium on Text Manipulation</i>,
(Portland, OR, June 8-10, 1981),
<i>ACM SIGPLAN Notices 16</i>, 6 (June 1981),  pp. 8-16.
<p>
<li>
<a name="popl81">
Demers, A., Reps, T., and Teitelbaum, T.,</a>
Incremental evaluation for attribute grammars with application to
syntax-directed editors.
In <i>Conference Record of the Eighth ACM Symposium on Principles
of Programming Languages</i>, (Williamsburg, VA, January 26-28, 1981),
ACM, New York, NY, 1981, pp. 105-116.
</ul>
<h3>Software</h3>
<ul>
<li>
<a name="prog_integration_system">
Reps, T., Bricker, T., Rosay, G., <i>et al.</i>,</a>
<i>The Wisconsin Program-Integration System</i>.
Release 0.5, April 1990;
Release 1.0, April 1992.
Release 2.0, July 1993.
Licensed to 9 sites.
(Click <!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><!WA149><A HREF="http://www.cs.wisc.edu/wpis/html/license.ps">here</A>
for license information.)
</ul>
<h3>Patents</h3>
<ul>
<li>
<a name="slicing_patent">
Reps, T., Horwitz, S., and Binkley, D.,</a>
Interprocedural slicing of computer programs using dependence graphs.
U.S. Patent Number 5,161,216, November 3, 1992.
</ul>
<h3>Pending Submissions</h3>
<ul>
<li>
<a name="tr1323">
Reps, T., Sagiv, M., and Wilhelm, R.,</a>
Solving shape-analysis problems in languages with destructive updating.
TR-1323, Computer Sciences Department,
University of Wisconsin, Madison, WI, August 1996.
<!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><!WA150><A HREF="http://www.cs.wisc.edu/wpis/papers/tr1323.ps"> tr1323.ps </A>
<p>
Submitted for journal publication.
<p>
<li>
<a name="tr1283">
Horwitz, S., Reps, T., and Sagiv, M.,</a>
Demand interprocedural dataflow analysis.
TR-1283, Computer Sciences Department, University of Wisconsin,
Madison, WI, August 1995.
(Click <!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><!WA151><A HREF="http://www.cs.wisc.edu/Dienst/UI/2.0/Describe/ncstrl.uwmadison%2fCS-TR-95-1283">here</A> to access paper.
Click <!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><!WA152><A HREF="http://www.cs.wisc.edu/wpis/papers/tr1283r.ps"> here </A>
to access the latest version.)
<p>
Submitted for journal publication.
<p>
<li>
<a name="npfo_submission">
Ramalingam, G. and Reps, T.,</a>
New programs from old.
<!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><!WA153><A HREF="http://www.cs.wisc.edu/Dienst/UI/2.0/Describe/ncstrl.uwmadison%2fCS-TR-91-1057">TR-1057</A>,
Computer Sciences Department, University of Wisconsin-Madison, November 1991.
(Click <!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><!WA154><A HREF="http://www.cs.wisc.edu/wpis/papers/npfo.revision.ps"> here </A>
to access the latest version.)
<p>
Submitted for journal publication.
</ul>
<h3>Other Publications and Reports</h3>
<ul>
<li>
<a name="rsw96">
Reps, T., Sagiv, M., and Wilhelm, R.,</a>
On shape abstractions and shape analyses.
Computer Sciences Department, University of Wisconsin,
Madison, WI, July 1996.
<p>
<li>
<a name="tr1276">
Reps, T., Sagiv, M., and Wilhelm, R.,</a>
Solving shape-analysis problems in languages with destructive updating.
TR-1276, Computer Sciences Department,
University of Wisconsin, Madison, WI, July 1995.
<!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><!WA155><A HREF="http://www.cs.wisc.edu/wpis/papers/tr1276.ps"> tr1276.ps </A>
<p>
<li>
<a name="dagstuhl94">
van Leeuwen, J., Mehlhorn, K., and Reps, T. (eds.),</a>
Incremental computation and dynamic algorithms.
Dagstuhl Seminar Report 88,
International Conference and Research Center for Computer Science (IBFI),
Schloss Dagstuhl, Wadern, Germany, 1994.
<p>
<li>
<a name="diku94">
Reps, T., Sagiv, M., and Horwitz S.,</a>
Interprocedural dataflow analysis via graph reachability.
TR 94-14, Datalogisk Institut, University of Copenhagen,
Copenhagen, Denmark, April 1994.
<!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><!WA156><A HREF="http://www.cs.wisc.edu/wpis/papers/diku-tr94-14.ps"> diku-tr94-14.ps </A>
<p>
<li>
<a name="prog_integration_manual">
Reps, T.,</a>
<i>The Wisconsin Program-Integration System Reference Manual: Release 2.0</i>.
Computer Sciences Department, University of Wisconsin-Madison,
July 1993.
<!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><!WA157><A HREF="http://www.cs.wisc.edu/wpis/papers/manual.2.0.ps">manual.2.0.ps</A>
<p>
<li>
<a name="popl93">
Ramalingam, G. and Reps, T.,</a>
A categorized bibliography on incremental computation.
In <i>Conference Record of the Twentieth ACM Symposium
on Principles of Programming Languages</i>, (Charleston, SC, Jan. 11-13, 1993),
ACM, New York, NY, 1993, pp. 502-510.
(Tutorial paper.)
<p>
<li>
<a name="popl93_notes">
Reps, T.,</a>
Incremental computation.
Unpublished tutorial notes, 1993.
(Presented at the Twentieth ACM Symposium on Principles of Programming Languages, (Charleston, SC, Jan. 11-