Robert Bruce Findler

Author

Also Known As

Findler, Robert, Findler, Robert Bruce, R. B. Findler, R.B. Findler, ROBERT BRUCE FINDLER, Robert B. Findler, Robert Bruce Findler

176

Publications

4.8K

Citations

H-Index

108

Concepts

All Affiliations

University of Utah Northwestern University University of Chicago Northeastern University Rice University

About

Robert Bruce Findler is an author at University of Utah specializing in engineering, computer science, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	32	52	3.2K
2	Language Studies	9	9	399
3	Education	4	4	270
4	Business	2	2	83
5	Humanities	2	2	108

Robert Bruce Findler

Publications

3.3K

Citations

H-Index

Page 1

	Year	Citations
Contracts for higher-order functions Robert Bruce Findler, Matthias Felleisen Mathematical ProgrammingEngineeringVerificationHigher-order FunctionsFunctional Analysis	2002	438
DrScheme: a programming environment for Scheme Robert Bruce Findler, John Clements, Cormac Flanagan, Journal of Functional Programming EngineeringSoftware EngineeringSyntax CheckerSoftware AnalysisFormal Verification	2002	309
Modular object-oriented programming with units and mixins Robert Bruce Findler, Matthew Flatt Software MaintenanceEngineeringComputer ArchitectureSoftware EngineeringSoftware Reuse	1998	164
Contract Soundness for object-oriented languages Robert Bruce Findler, Matthias Felleisen EngineeringStraightforward InterpretationObject-oriented ModelingVerificationSoftware Engineering	2001	105
The TeachScheme! Project: Computing and Programming for Every Student Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Computer Science Education Mathematics EducationStepwise FashionEngineeringProgram AnalysisProgram Comprehension	2003	97
Operational semantics for multi-language programs Jacob Matthews, Robert Bruce Findler EngineeringLanguage InteroperabilitySoftware EngineeringSemanticsSoftware Analysis	2007	96
Automatically Restructuring Programs for the Web Jacob Matthews, Robert Bruce Findler, Paul Graunke, Automated Software Engineering Software MaintenanceEngineeringProgram AnalysisSoftware TestingWeb Engineering	2004	90
Chaperones and impersonators T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, EngineeringCompiler TechnologyHomosexualitySoftware AnalysisFormal Verification	2012	88
Operational semantics for multi-language programs Jacob Matthews, Robert Bruce Findler ACM SIGPLAN Notices EngineeringLanguage InteroperabilitySoftware EngineeringSemanticsSoftware Analysis	2007	85
A functional I/O system or, fun for freshman kids Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Mathematics EducationEngineeringFunctional Programming LanguagesMiddle School CurriculumFunctional Programming Language	2009	77

Page 1