Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Robert_Bruce_Findler> ?p ?o }
Showing triples 1 to 67 of
67
with 100 triples per page.
- Robert_Bruce_Findler abstract "Robert Bruce Findler, colloquially known as "Robby", is an American computer scientist, currently an associate professor of electrical engineering and computer science at Northwestern University. He is also a member of the PLT group and, as such, responsible for the creation and maintenance of DrRacket. In addition to DrRacket, Findler has contributed numerous components to Racket and supervises its Web-based software library, called PLaneT. Findler is also a leading team member of the ProgramByDesign project. Findler received his PhD at Rice University under the direction of Matthias Felleisen. His dissertation was on the linguistics of software contracts, popularly known as design by contract. His work on software contracts provides a more careful accounting of blame, thereby helping programmers quickly home in on the faulty part of a software system.In addition to DrRacket and software contracts, Findler focuses on the design and implementation of a workbench for semantics engineers. This workbench, called Redex, is a tool for specifying and executing the reduction semantics of a programming language. It is already widely used by programming language researchers in the US and Europe. Most recently, SUN's Fortress research team used Redex to specify and explore key parts of their language.Findler served as the semantics editor of the Revised^6 Report on the Scheme programming language. He and his PhD student Jacob Matthews developed a Redex model of the core semantics, which is included as an appendix of the report. The appendix plays the same role as Standard ML's formal specification (Milner, Tofte, Harper, MacQueen) but is executable and thus can visualize individual examples.".
- Robert_Bruce_Findler wikiPageExternalLink citations?user=eBqftc8AAAAJ&hl=en.
- Robert_Bruce_Findler wikiPageExternalLink ~robby.
- Robert_Bruce_Findler wikiPageID "36192167".
- Robert_Bruce_Findler wikiPageLength "2911".
- Robert_Bruce_Findler wikiPageOutDegree "16".
- Robert_Bruce_Findler wikiPageRevisionID "659369294".
- Robert_Bruce_Findler wikiPageWikiLink Category:Living_people.
- Robert_Bruce_Findler wikiPageWikiLink Category:Northwestern_University_faculty.
- Robert_Bruce_Findler wikiPageWikiLink Category:Programming_language_researchers.
- Robert_Bruce_Findler wikiPageWikiLink Category:Rice_University_alumni.
- Robert_Bruce_Findler wikiPageWikiLink Design_by_contract.
- Robert_Bruce_Findler wikiPageWikiLink DrRacket.
- Robert_Bruce_Findler wikiPageWikiLink Fortress_(programming_language).
- Robert_Bruce_Findler wikiPageWikiLink Matthias_Felleisen.
- Robert_Bruce_Findler wikiPageWikiLink Northwestern_University.
- Robert_Bruce_Findler wikiPageWikiLink ProgramByDesign.
- Robert_Bruce_Findler wikiPageWikiLink Programming_language.
- Robert_Bruce_Findler wikiPageWikiLink Racket_(programming_language).
- Robert_Bruce_Findler wikiPageWikiLink Rice_University.
- Robert_Bruce_Findler wikiPageWikiLink Scheme_(programming_language).
- Robert_Bruce_Findler wikiPageWikiLink Standard_ML.
- Robert_Bruce_Findler wikiPageWikiLinkText "Findler".
- Robert_Bruce_Findler wikiPageWikiLinkText "Robby Findler".
- Robert_Bruce_Findler wikiPageWikiLinkText "Robert Bruce Findler".
- Robert_Bruce_Findler hasPhotoCollection Robert_Bruce_Findler.
- Robert_Bruce_Findler name "Findler, Robert Bruce".
- Robert_Bruce_Findler shortDescription "Computer scientist".
- Robert_Bruce_Findler wikiPageUsesTemplate Template:Authority_control.
- Robert_Bruce_Findler wikiPageUsesTemplate Template:Compu-scientist-stub.
- Robert_Bruce_Findler wikiPageUsesTemplate Template:Notability.
- Robert_Bruce_Findler wikiPageUsesTemplate Template:Persondata.
- Robert_Bruce_Findler wikiPageUsesTemplate Template:RefimproveBLP.
- Robert_Bruce_Findler wikiPageUsesTemplate Template:Reflist.
- Robert_Bruce_Findler description "Computer scientist".
- Robert_Bruce_Findler description "Computer scientist".
- Robert_Bruce_Findler subject Category:Living_people.
- Robert_Bruce_Findler subject Category:Northwestern_University_faculty.
- Robert_Bruce_Findler subject Category:Programming_language_researchers.
- Robert_Bruce_Findler subject Category:Rice_University_alumni.
- Robert_Bruce_Findler hypernym Scientist.
- Robert_Bruce_Findler type Agent.
- Robert_Bruce_Findler type Article.
- Robert_Bruce_Findler type List.
- Robert_Bruce_Findler type Person.
- Robert_Bruce_Findler type Scientist.
- Robert_Bruce_Findler type Article.
- Robert_Bruce_Findler type List.
- Robert_Bruce_Findler type Scientist.
- Robert_Bruce_Findler type Person.
- Robert_Bruce_Findler type Agent.
- Robert_Bruce_Findler type NaturalPerson.
- Robert_Bruce_Findler type Thing.
- Robert_Bruce_Findler type Q215627.
- Robert_Bruce_Findler type Q5.
- Robert_Bruce_Findler type Person.
- Robert_Bruce_Findler comment "Robert Bruce Findler, colloquially known as "Robby", is an American computer scientist, currently an associate professor of electrical engineering and computer science at Northwestern University. He is also a member of the PLT group and, as such, responsible for the creation and maintenance of DrRacket. In addition to DrRacket, Findler has contributed numerous components to Racket and supervises its Web-based software library, called PLaneT.".
- Robert_Bruce_Findler label "Robert Bruce Findler".
- Robert_Bruce_Findler sameAs m.02vw_ch.
- Robert_Bruce_Findler sameAs Q7342450.
- Robert_Bruce_Findler sameAs Q7342450.
- Robert_Bruce_Findler wasDerivedFrom Robert_Bruce_Findler?oldid=659369294.
- Robert_Bruce_Findler givenName "Robert Bruce".
- Robert_Bruce_Findler isPrimaryTopicOf Robert_Bruce_Findler.
- Robert_Bruce_Findler name "Findler, Robert Bruce".
- Robert_Bruce_Findler name "Robert Bruce Findler".
- Robert_Bruce_Findler surname "Findler".