Matthew Flower is an author at University of Washington specializing in automated reasoning, formal verification, and compilers.
Top concepts
CompilersDiagnosisEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2007–2007
2
2
Searching for type-error messages
Benjamin S. Lerner, Matthew Flower, Dan Grossman et al. · 2007 · 91 citations
Searching for type-error messages
Benjamin S. Lerner, Matthew Flower, Dan Grossman et al. · ACM SIGPLAN Notices · 2007 · 14 citations
Rows per page
1–2 of 2