B. Halley is an author at University of Guelph specializing in linear optimization, formal methods, and program transformation.
Top concepts
CompilersEngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisLinear ProgrammingParallel Computing
Publications per year
1994–2002
2
2
An integrated approach to retargetable code generation
T.C. Wilson, Gary Gréwal, B. Halley et al. · 1994 · 44 citations
An integrated approach to retargetable code generation
T.C. Wilson, Gary Gréwal, B. Halley et al. · 2002 · 26 citations
Rows per page
1–2 of 2