Bruce F. Duba - Concepedia

Author

Bruce F. Duba

Rice University

Also Known As

B. Duba, Bruce Duba, Bruce F. Duba

Publications

1.5K

Citations

H-Index

Concepts

All Affiliations

Rice University Indiana University Bloomington Seattle University AT&T (United States)Indiana University

About

Bruce F. Duba is an author at Rice University specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	1.3K
2	Computer Science	7	7	1.1K
3	Computer Engineering	3	3	643
4	Language Studies	1	1	198
5	Medicine	1	1	277

Bruce F. Duba

Publications

1.4K

Citations

H-Index

Page 1

	Year	Citations
The essence of compiling with continuations Cormac Flanagan, Amr Sabry, Bruce F. Duba, EngineeringCompiler TechnologySoftware AnalysisFormal VerificationSyntax	1993	527
Hygienic macro expansion Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, EngineeringIndiana UniversitySoftware EngineeringEvaluation StrategyLindley Hall 101	1986	277
A syntactic theory of sequential control Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Theoretical Computer Science SyntaxEngineeringAutomated ReasoningGrammatical FormalismFormal Methods	1987	198
Typing first-class continuations in ML Bruce F. Duba, Robert Harper, David MacQueen	1991	99
The essence of compiling with continuations Cormac Flanagan, Amr Sabry, Bruce F. Duba, ACM SIGPLAN Notices EngineeringCompiler TechnologySoftware EngineeringSystem-level DesignSoftware Analysis	1993	98
Abstract continuations: a mathematical semantics for handling full jumps Matthias Felleisen, M. Wand, Daniel P. Friedman, Continuation SemanticsProgramming Language TheoryFull Functional JumpsEngineeringFull Jumps	1988	76
Reasoning with Continuations Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Logic in Computer Science ReasoningEngineeringAutomated ReasoningReasoning About ActionFormal Methods	1986	75
Typing first-class continuations in ML Robert Harper, Bruce F. Duba, David MacQueen Journal of Functional Programming Continuation-based Operational SemanticsEngineeringMachine LearningGeneric ProgrammingAutomated Reasoning	1993	62
The essence of compiling with continuations Cormac Flanagan, Amr Sabry, Bruce F. Duba, ACM SIGPLAN Notices EngineeringCompiler TechnologySoftware EngineeringSoftware AnalysisFormal Verification	2004	18
The essence of compiling with continuations (with retrospective) Cormac Flanagan, Amr Sabry, Bruce F. Duba,	1993	17

Page 1