50
Publications
4.2K
Citations
30
H-Index
1971
Active since
Affiliations
Daniel P. Friedman is an author at Indiana University Bloomington specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsProgram AnalysisAutomated ReasoningSoftware AnalysisFormal VerificationProgramming LanguagesLanguageSoftware Engineering
Publications per year
1971–2012
50
50
Aspect-Oriented Programming is Quantification and Obliviousness
Robert E. Filman, Daniel P. Friedman · 2000 · 535 citations
Revised5 Report on the Algorithmic Language Scheme
Hal Abelson, R. Kent Dybvig, Christopher T. Haynes et al. · LISP and Symbolic Computation · 1998 · 412 citations
Revised <sup>5</sup> report on the algorithmic language scheme
Norman I. Adams, D. H. Bartley, G. Brooks et al. · ACM SIGPLAN Notices · 1998 · 316 citations · Full text
Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen et al. · 1986 · 277 citations
Rows per page
1–5 of 50