Lytton Avenue is an author at Oracle (United States) specializing in program analysis, verification, and reputation management.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisAthletic TrainingSoftware AnalysisAutomated ReasoningFormal VerificationPerformance Studies
Publications per year
1994–2001
3
3
The Juno-2 Constraint-Based Drawing Editor
Allan Heydon, Greg Nelson, Lytton Avenue · 1994 · 80 citations
David Detlefs, K. Rustan, Mirka Leino et al. · 1998 · 73 citations
The Vesta Approach to Software Configuration Management
Allan Heydon, Roy Levin, Timothy Mann et al. · 2001 · 45 citations
Rows per page
1–3 of 3