Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q16106477> ?p ?o }
- Q16106477 description "American computer scientist".
- Q16106477 description "American computer scientist".
- Q16106477 subject Q13244777.
- Q16106477 subject Q5312304.
- Q16106477 subject Q6647384.
- Q16106477 subject Q7067047.
- Q16106477 subject Q7480600.
- Q16106477 subject Q7484666.
- Q16106477 subject Q7584464.
- Q16106477 subject Q8248299.
- Q16106477 subject Q8419088.
- Q16106477 subject Q8611250.
- Q16106477 abstract "Tim Teitelbaum (born 12 April 1943, USA) 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 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. 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 co-authored with Thomas Reps on the Synthesizer Generator.".
- Q16106477 alias "Ray Teitelbaum".
- Q16106477 almaMater Q190080.
- Q16106477 almaMater Q49108.
- Q16106477 birthDate "1943-04-12".
- Q16106477 birthDate "1943-05-12".
- Q16106477 birthYear "1943".
- Q16106477 doctoralAdvisor Q7028783.
- Q16106477 doctoralStudent Q15379099.
- Q16106477 doctoralStudent Q16729921.
- Q16106477 doctoralStudent Q8017123.
- Q16106477 wikiPageExternalLink citation.cfm?id=804050.
- Q16106477 wikiPageExternalLink tim_teitelbaum.html).
- Q16106477 wikiPageExternalLink tim-teitelbaum.pdf).
- Q16106477 wikiPageWikiLink Q1077724.
- Q16106477 wikiPageWikiLink Q1077784.
- Q16106477 wikiPageWikiLink Q1146208.
- Q16106477 wikiPageWikiLink Q127992.
- Q16106477 wikiPageWikiLink Q128751.
- Q16106477 wikiPageWikiLink Q13244777.
- Q16106477 wikiPageWikiLink Q1329550.
- Q16106477 wikiPageWikiLink Q13741.
- Q16106477 wikiPageWikiLink Q1437428.
- Q16106477 wikiPageWikiLink Q15379099.
- Q16106477 wikiPageWikiLink Q16729921.
- Q16106477 wikiPageWikiLink Q190080.
- Q16106477 wikiPageWikiLink Q193076.
- Q16106477 wikiPageWikiLink Q242028.
- Q16106477 wikiPageWikiLink Q2499307.
- Q16106477 wikiPageWikiLink Q30.
- Q16106477 wikiPageWikiLink Q3113337.
- Q16106477 wikiPageWikiLink Q47607.
- Q16106477 wikiPageWikiLink Q49108.
- Q16106477 wikiPageWikiLink Q49115.
- Q16106477 wikiPageWikiLink Q5312304.
- Q16106477 wikiPageWikiLink Q5319002.
- Q16106477 wikiPageWikiLink Q55813.
- Q16106477 wikiPageWikiLink Q597455.
- Q16106477 wikiPageWikiLink Q6647384.
- Q16106477 wikiPageWikiLink Q7028783.
- Q16106477 wikiPageWikiLink Q7067047.
- Q16106477 wikiPageWikiLink Q7248437.
- Q16106477 wikiPageWikiLink Q7390341.
- Q16106477 wikiPageWikiLink Q7480600.
- Q16106477 wikiPageWikiLink Q7484666.
- Q16106477 wikiPageWikiLink Q7584464.
- Q16106477 wikiPageWikiLink Q7625092.
- Q16106477 wikiPageWikiLink Q8017123.
- Q16106477 wikiPageWikiLink Q8248299.
- Q16106477 wikiPageWikiLink Q82594.
- Q16106477 wikiPageWikiLink Q8419088.
- Q16106477 wikiPageWikiLink Q8611250.
- Q16106477 wikiPageWikiLink Q9143.
- Q16106477 almaMater "Carnegie Mellon University, Ph.D., 1975".
- Q16106477 almaMater "M.I.T., S.B., 1964".
- Q16106477 alternativeNames "Ray Teitelbaum".
- Q16106477 birthDate "1943-04-12".
- Q16106477 dateOfBirth "1943-05-12".
- Q16106477 doctoralAdvisor Q7028783.
- Q16106477 doctoralStudents Q15379099.
- Q16106477 doctoralStudents Q16729921.
- Q16106477 doctoralStudents Q8017123.
- Q16106477 doctoralStudents "Allan Zaring".
- Q16106477 doctoralStudents "Aswin vanden Berg".
- Q16106477 doctoralStudents "John Field".
- Q16106477 doctoralStudents "John Reppy".
- Q16106477 doctoralStudents "Roger Hoover".
- Q16106477 doctoralStudents "Stephen Peckham".
- Q16106477 doctoralStudents "Yanhong Annie Liu".
- Q16106477 name "Teitelbaum, Tim".
- Q16106477 name "Tim Teitelbaum".
- Q16106477 shortDescription "American computer scientist".
- Q16106477 type Person.
- Q16106477 type Agent.
- Q16106477 type Person.
- Q16106477 type Scientist.
- Q16106477 type Agent.
- Q16106477 type NaturalPerson.
- Q16106477 type Thing.
- Q16106477 type Q215627.
- Q16106477 type Q5.
- Q16106477 type Q901.
- Q16106477 type Person.
- Q16106477 comment "Tim Teitelbaum (born 12 April 1943, USA) 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.".
- Q16106477 label "Tim Teitelbaum".
- Q16106477 givenName "Tim".
- Q16106477 name "Teitelbaum, Tim".
- Q16106477 name "Tim Teitelbaum".