DBpedia 2015-10

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Tim_Teitelbaum> ?p ?o }

Showing triples 1 to 100 of ±132 with 100 triples per page.

Tim_Teitelbaum 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.".
Tim_Teitelbaum alias "Ray Teitelbaum".
Tim_Teitelbaum almaMater Carnegie_Mellon_University.
Tim_Teitelbaum almaMater Massachusetts_Institute_of_Technology.
Tim_Teitelbaum birthDate "1943-04-12".
Tim_Teitelbaum birthDate "1943-05-12".
Tim_Teitelbaum birthYear "1943".
Tim_Teitelbaum doctoralAdvisor Nico_Habermann.
Tim_Teitelbaum doctoralStudent Susan_B._Horwitz.
Tim_Teitelbaum doctoralStudent Thomas_W._Reps.
Tim_Teitelbaum doctoralStudent William_Pugh.
Tim_Teitelbaum wikiPageExternalLink citation.cfm?id=804050.
Tim_Teitelbaum wikiPageExternalLink tim_teitelbaum.html).
Tim_Teitelbaum wikiPageExternalLink tim-teitelbaum.pdf).
Tim_Teitelbaum wikiPageID "42071407".
Tim_Teitelbaum wikiPageLength "6762".
Tim_Teitelbaum wikiPageOutDegree "42".
Tim_Teitelbaum wikiPageRevisionID "618905199".
Tim_Teitelbaum wikiPageWikiLink Association_for_Computing_Machinery.
Tim_Teitelbaum wikiPageWikiLink Attribute_grammar.
Tim_Teitelbaum wikiPageWikiLink Carnegie_Mellon_University.
Tim_Teitelbaum wikiPageWikiLink Category:1943_births.
Tim_Teitelbaum wikiPageWikiLink Category:American_computer_scientists.
Tim_Teitelbaum wikiPageWikiLink Category:American_textbook_writers.
Tim_Teitelbaum wikiPageWikiLink Category:Carnegie_Mellon_University_alumni.
Tim_Teitelbaum wikiPageWikiLink Category:Computer_science_writers.
Tim_Teitelbaum wikiPageWikiLink Category:Cornell_University_faculty.
Tim_Teitelbaum wikiPageWikiLink Category:Living_people.
Tim_Teitelbaum wikiPageWikiLink Category:Massachusetts_Institute_of_Technology_alumni.
Tim_Teitelbaum wikiPageWikiLink Category:Programming_language_researchers.
Tim_Teitelbaum wikiPageWikiLink Computer_scientist.
Tim_Teitelbaum wikiPageWikiLink Cornell_University.
Tim_Teitelbaum wikiPageWikiLink Dynamic_Algorithms.
Tim_Teitelbaum wikiPageWikiLink Dynamic_problem_(algorithms).
Tim_Teitelbaum wikiPageWikiLink Dynamic_program_analysis.
Tim_Teitelbaum wikiPageWikiLink Execution_(computing).
Tim_Teitelbaum wikiPageWikiLink Formal_semantics_of_programming_languages.
Tim_Teitelbaum wikiPageWikiLink French_Institute_for_Research_in_Computer_Science_and_Automation.
Tim_Teitelbaum wikiPageWikiLink Functional_programming.
Tim_Teitelbaum wikiPageWikiLink GrammaTech.
Tim_Teitelbaum wikiPageWikiLink Institut_National_de_Recherche_en_Informatique_et_en_Automatique.
Tim_Teitelbaum wikiPageWikiLink Integrated_development_environment.
Tim_Teitelbaum wikiPageWikiLink Lambda_calculus.
Tim_Teitelbaum wikiPageWikiLink M.I.T..
Tim_Teitelbaum wikiPageWikiLink Machine_code.
Tim_Teitelbaum wikiPageWikiLink Massachusetts_Institute_of_Technology.
Tim_Teitelbaum wikiPageWikiLink Nico_Habermann.
Tim_Teitelbaum wikiPageWikiLink Program_transformation.
Tim_Teitelbaum wikiPageWikiLink Programming_language.
Tim_Teitelbaum wikiPageWikiLink Programming_tool.
Tim_Teitelbaum wikiPageWikiLink SIGSOFT.
Tim_Teitelbaum wikiPageWikiLink SQL.
Tim_Teitelbaum wikiPageWikiLink Semantics_(computer_science).
Tim_Teitelbaum wikiPageWikiLink Source_code.
Tim_Teitelbaum wikiPageWikiLink Static_program_analysis.
Tim_Teitelbaum wikiPageWikiLink Structure_editing.
Tim_Teitelbaum wikiPageWikiLink Structure_editor.
Tim_Teitelbaum wikiPageWikiLink Susan_B._Horwitz.
Tim_Teitelbaum wikiPageWikiLink Thomas_W._Reps.
Tim_Teitelbaum wikiPageWikiLink USA.
Tim_Teitelbaum wikiPageWikiLink United_States.
Tim_Teitelbaum wikiPageWikiLink William_Pugh.
Tim_Teitelbaum wikiPageWikiLinkText "Ray "Tim" Teitelbaum".
Tim_Teitelbaum wikiPageWikiLinkText "T. Teitelbaum".
Tim_Teitelbaum wikiPageWikiLinkText "Tim Teitelbaum ".
Tim_Teitelbaum wikiPageWikiLinkText "Tim Teitelbaum".
Tim_Teitelbaum almaMater "Carnegie Mellon University, Ph.D., 1975".
Tim_Teitelbaum almaMater "M.I.T., S.B., 1964".
Tim_Teitelbaum alternativeNames "Ray Teitelbaum".
Tim_Teitelbaum birthDate "1943-04-12".
Tim_Teitelbaum dateOfBirth "1943-05-12".
Tim_Teitelbaum doctoralAdvisor Nico_Habermann.
Tim_Teitelbaum doctoralStudents Susan_B._Horwitz.
Tim_Teitelbaum doctoralStudents Thomas_W._Reps.
Tim_Teitelbaum doctoralStudents William_Pugh.
Tim_Teitelbaum doctoralStudents "Allan Zaring".
Tim_Teitelbaum doctoralStudents "Aswin vanden Berg".
Tim_Teitelbaum doctoralStudents "John Field".
Tim_Teitelbaum doctoralStudents "John Reppy".
Tim_Teitelbaum doctoralStudents "Roger Hoover".
Tim_Teitelbaum doctoralStudents "Stephen Peckham".
Tim_Teitelbaum doctoralStudents "Yanhong Annie Liu".
Tim_Teitelbaum hasPhotoCollection Tim_Teitelbaum.
Tim_Teitelbaum name "Teitelbaum, Tim".
Tim_Teitelbaum name "Tim Teitelbaum".
Tim_Teitelbaum placeOfBirth "New York, NY".
Tim_Teitelbaum shortDescription "American computer scientist".
Tim_Teitelbaum thesisTitle "Minimum Distance Analysis of Syntax Errors in Computer Programs".
Tim_Teitelbaum thesisUrl citation.cfm?id=804050.
Tim_Teitelbaum thesisYear "1975".
Tim_Teitelbaum wikiPageUsesTemplate Template:Authority_control.
Tim_Teitelbaum wikiPageUsesTemplate Template:Infobox_scientist.
Tim_Teitelbaum wikiPageUsesTemplate Template:Persondata.
Tim_Teitelbaum wikiPageUsesTemplate Template:Reflist.
Tim_Teitelbaum wikiPageUsesTemplate Template:Use_dmy_dates.
Tim_Teitelbaum workplaces Cornell_University.
Tim_Teitelbaum workplaces GrammaTech.
Tim_Teitelbaum workplaces "Institut National de Recherche en Informatique et en Automatique in Rocquencourt, France".
Tim_Teitelbaum description "American computer scientist".
Tim_Teitelbaum description "American computer scientist".