http:^^www.cs.cornell.edu^info^people^yanhong^polya.html
来自「This data set contains WWW-pages collect」· HTML 代码 · 共 48 行
HTML
48 行
MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 19:06:03 GMT
Content-Type: text/html
Content-Length: 1247
Last-Modified: Saturday, 29-Jun-96 22:21:34 GMT
<!doctype htmlplus public "-//Internet/RFC xxxx//EN"><htmlplus><head><title>Polya Related Project: Composing Efficient Programs</title></head><body><h1>Composing Efficient Programs</h1><hr>Optimization and selection techniques for building effcient programsfrom components.<h2>Theme</h2>It is a trend that software be composed from existing components,forming even larger components. One of the most challenging issues isthe efficiency of the resulting programs, which depends largely onoptimization across component interfaces and selection of appropriatecomponents given complicated interactions among them. How to performsuch optimization and selection systematically is one of my particularinterests.<h2>Other People</h2><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><a href="http://www.cs.cornell.edu/home/gries/gries.html">David Gries</a><br><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><a href="http://www.cs.cornell.edu/home/tt/">Tim Teitelbaum</a><br><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.cornell.edu/home/aswin.html">Aswin van der Berg</a><br><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.cornell.edu/home/tyan/tyan.html">Thomas Yan</a><h2>Keywords</h2> program specification, refinement, program optimization,data-structure selection, program analysis, program transformation,program composition<hr><address><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.cornell.edu/home/yanhong/">Y. Annie Liu</a> <kbd>yanhong@cs.cornell.edu</kbd> Last updated 12/14/95 </address></body>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?