2
Publications
46
Citations
2
H-Index
1994
Active since
Affiliations
Samuel S. Dooley is an author at IBM Research - Thomas J. Watson Research Center specializing in computer engineering, software systems, and formal methods.
Top concepts
CompilersEngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware SystemsSoftware AnalysisMachine TranslationTheory Of Computing
Publications per year
1994–1998
2
2
A first report on the A<sup>#</sup> compiler
Stephen M. Watt, Peter Broadbery, Samuel S. Dooley et al. · 1994 · 31 citations · Full text
Rows per page
1–2 of 2