Zachary Sparks is an author at Carnegie Mellon University specializing in automated reasoning, software engineering, and formal methods.
Top concepts
DesignAutomationEngineeringFormal MethodsSoftware DesignComputer ScienceAutomated ReasoningSystems EngineeringSoftware EngineeringProgramming Languages
Publications per year
2009–2009
1
1
Typestate-oriented programming
Jonathan Aldrich, Joshua Sunshine, Darpan Saini et al. · 2009 · 121 citations
Artificial Intelligence, Engineering, Object-oriented Modeling +16
Rows per page
1–1 of 1