8
Publications
234
Citations
8
H-Index
1995
Active since
Affiliations
Oscar Waddell is an author at Indiana University specializing in engineering, computer science, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisComputer EngineeringFormal MethodsSoftware AnalysisFormal VerificationCompilersSoftware DesignSoftware Testing
Publications per year
1995–2005
8
8
Extending the scope of syntactic abstraction
Oscar Waddell, R. Kent Dybvig · 1999 · 40 citations · Full text
Rows per page
1–5 of 8