Daniel P. Friedman - Concepedia

Author

Daniel P. Friedman

Also Known As

D FRIEDMAN, D. Friedman, D. P. Friedman, D.P. Friedman, DANIEL P. FRIEDMAN, Daniel Friedman, Daniel H. Friedman, Daniel P. Friedman, Friedman, Daniel P.

131

Publications

4.9K

Citations

H-Index

Concepts

All Affiliations

Indiana University Bloomington Indiana University Northeastern University

About

Daniel P. Friedman is an author at Indiana University Bloomington specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	37	2.1K
2	Language Studies	9	9	897
3	Arts	1	1	80
4	Law	1	1	10
5	Management	1	1	15

Daniel P. Friedman

Publications

4.2K

Citations

H-Index

Page 1

	Year	Citations
Aspect-Oriented Programming is Quantification and Obliviousness Robert E. Filman, Daniel P. Friedman	2000	535
Revised5 Report on the Algorithmic Language Scheme Hal Abelson, R. Kent Dybvig, Christopher T. Haynes, LISP and Symbolic Computation	1998	412
Revised <sup>4</sup> report on the algorithmic language scheme Hal Abelson, R. Kent Dybvig, Christopher T. Haynes, ACM SIGPLAN Lisp Pointers EngineeringSoftware EngineeringLisp Programming LanguageSoftware AnalysisComputational Linguistics	1991	370
Revised <sup>5</sup> report on the algorithmic language scheme Norman I. Adams, D. H. Bartley, G. Brooks, ACM SIGPLAN Notices	1998	316
Hygienic macro expansion Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, EngineeringIndiana UniversitySoftware EngineeringEvaluation StrategyLindley Hall 101	1986	277
CONS Should Not Evaluate its Arguments. Daniel P. Friedman, David S. Wise International Colloquium on Automata, Languages and Programming Theoretical ArgumentConstitutional LitigationArgumentation FrameworkArgumentation Analysis	1976	270
A syntactic theory of sequential control Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Theoretical Computer Science SyntaxEngineeringAutomated ReasoningGrammatical FormalismFormal Methods	1987	198
Control operators, the SECD-machine, and the λ-calculus. Matthias Felleisen, Daniel P. Friedman Control OperatorsLambda Calculus	1987	163
Reification Daniel P. Friedman, Mitchell Wand EngineeringInterpreter ObjectsInterpreter (Computing)SemanticsSoftware Analysis	1984	108
Backtracking, interleaving, and terminating monad transformers Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Monadplus InterfaceEngineeringAutomated ReasoningProgram AnalysisFunctional Programming Language	2005	96

Page 1