About: Robert Bruce Findler   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

Robert Bruce Findler, colloquially known as "Robby", is a computer scientist, currently teaching at the 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.

AttributesValues
rdfs:label
  • Robert Bruce Findler
rdfs:comment
  • Robert Bruce Findler, colloquially known as "Robby", is a computer scientist, currently teaching at the 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.
sameAs
dcterms:subject
dbkwik:speedydelet...iPageUsesTemplate
Name
  • Findler, Robert Bruce
abstract
  • Robert Bruce Findler, colloquially known as "Robby", is a computer scientist, currently teaching at the 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 main contribution to software contracts is a more careful accounting of blame, thereby helping quickly programmers 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 have 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.
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software