| 词条 | Tim Teitelbaum |
| 释义 |
| name = Tim Teitelbaum | image = | image_size = | alt = | caption = | birth_date = {{Birth date and age|1943|04|12}} | birth_place = | death_date = | death_place = | resting_place = | resting_place_coordinates = | residence = | citizenship = | nationality = | fields = | workplaces = Cornell University (1973-2010) GrammaTech (1988-present) Institut National de Recherche en Informatique et en Automatique (INRIA) in Rocquencourt, France (1982-83) | alma_mater = M.I.T., S.B., 1964 Carnegie Mellon University, Ph.D., 1975 | thesis_title = Minimum Distance Analysis of Syntax Errors in Computer Programs | thesis_url = http://dl.acm.org/citation.cfm?id=804050 | thesis_year = 1975 | doctoral_advisor = Nico Habermann | academic_advisors = | doctoral_students = Thomas W. Reps[1] Susan B. Horwitz[2] Roger Hoover Bill Pugh[3] Stephen Peckham[4] Allan Zaring[5] John Field[6] John Reppy[7] Yanhong Annie Liu[8] Aswin vanden Berg[9] | notable_students = | known_for = | author_abbrev_bot = | author_abbrev_zoo = | influences = | influenced = | awards = | signature = | signature_alt = | website = | footnotes = | spouse = }} Tim Teitelbaum (born April 12, 1943, United States) is an American computer scientist known for his early work on integrated development environments (IDEs), syntax-directed editing, and incremental computation. As an educator and faculty member of the Cornell University Computer Science Department since 1973, he was recognized for his large-scale teaching of introductory programming, and for his mentoring of highly successful graduate students. As a businessman, he is known for having co-founded GrammaTech, Inc. and for having been its sole CEO since 1988. In 1978, Professor Teitelbaum created the Cornell Program Synthesizer, one of the seminal systems that demonstrated the power of tightly integrating a collection of program development tools, all deeply knowledgeable about a programming language and its semantics, into one unified framework. His more than 45 lectures and demonstrations of this early IDE during 1979-82, as well as the credo of his 1981 paper[10] co-authored with Thomas Reps, asserted: Programs are not text; they are hierarchical compositions of computational structures and should be edited, executed, and debugged in an environment that consistently acknowledges and reinforces this viewpoint. Motivated by the importance of immediate feedback in interactive systems such as IDEs, Teitelbaum’s research in the 1980s and 1990s focused on the problem of incremental computation: Given a program P written in language L, and the result of executing P on input x, how can one efficiently determine the result of running P on input x’, where the difference between x and x’ is some small increment x’-x. In a body of work with his graduate students, Teitelbaum investigated this problem for a range of languages L that included attribute grammars, SQL, first-order functional languages, and the lambda calculus. In addition to incremental evaluation methods, the work also included program transformation methods, i.e., the automatic derivation from P of an incremental program P’, where executing P’ on previous result P(x), increment x’-x, and auxiliary information retained from previous executions, efficiently performs the same computation as executing P on input x’. Teitelbaum's recent work is aimed at the design and implementation of tools that assist in making software safer and more secure.[11] Techniques include static program analysis and dynamic program analysis of both source code and machine code. Teitelbaum was co-recipient of the Association for Computing Machinery SIGSOFT Retrospective Impact Paper Award (2010) for his 1984 paper[12] co-authored with Thomas Reps on the Synthesizer Generator.[13][14] References1. ^http://pages.cs.wisc.edu/~reps/reps.html 2. ^{{Cite web | url=http://pages.cs.wisc.edu/~horwitz/horwitz.html | title=Susan B. Horwitz}} 3. ^{{Cite web | url=http://www.cs.umd.edu/~pugh/ | title=Bill Pugh}} 4. ^Stephen Peckham at LinkedIn 5. ^{{Cite web | url=http://math.owu.edu/faculty/akzaring.php | title=Department of Mathematics and Computer Science}} 6. ^{{Cite web | url=http://research.google.com/pubs/JohnField.html | title=John Field}} 7. ^{{Cite web | url=http://www.cs.uchicago.edu/people/jhr | title=Computer Science}} 8. ^{{Cite web | url=http://www.cs.sunysb.edu/~liu/ | title=Yanhong Annie Liu}} 9. ^http://www.linkedin.com/pub/aswin-van-den-berg/3/799/229 10. ^{{cite journal |last = Teitelbaum | first = T. |author2=T. Reps |authorlink2=Thomas W. Reps | title = The Cornell Program Synthesizer: A syntax-directed programming environment | journal = Communications of the ACM | volume = 24 | issue = 9 | date = September 1981 | pages=563–573 | doi = 10.1145/358746.358755}} 11. ^{{Cite web | url=http://www.grammatech.com | title=GrammaTech}} 12. ^http://dl.acm.org/citation.cfm?id=808247 13. ^{{cite book |doi=10.1007/978-1-4613-9623-9 | title=The Synthesizer Generator|year = 1989|last1 = Reps|first1 = Thomas W.| last2=Teitelbaum| first2=Tim| isbn=978-1-4613-9625-3}} 14. ^{{cite book |doi=10.1007/978-1-4613-9633-8 | title=The Synthesizer Generator Reference Manual|year = 1989|last1 = Reps|first1 = Thomas W.| last2=Teitelbaum| first2=Tim| isbn=978-0-387-96910-7}} External links
10 : 1943 births|Living people|Carnegie Mellon University alumni|Massachusetts Institute of Technology alumni|American computer scientists|Programming language researchers|Computer science writers|American textbook writers|American male non-fiction writers|Cornell University faculty |
| 随便看 |
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。