5
Publications
1.2K
Citations
5
H-Index
1985
Active since
Affiliations
D. H. Bartley is an author at Indiana University specializing in language studies, formal methods, and computational linguistics.
Top concepts
LanguageEngineeringLinguisticsFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware EngineeringProgramming Languages
Publications per year
1985–1998
5
5
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
The implementation of <i>PC Scheme</i>
D. H. Bartley, John C. Jensen · 1986 · 32 citations · Full text
The Revised Revised Report on Scheme or an Uncommon Lisp
Hal Abelson, Norman I. Adams, D. H. Bartley et al. · Defense Technical Information Center (DTIC) · 1985 · 29 citations
Rows per page
1–5 of 5