4
Publications
82
Citations
4
H-Index
1989
Active since
Affiliations
The University of Texas at Austin(Current)
Edgar Knapp is an author at The University of Texas at Austin specializing in formal methods, automated reasoning, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningVerificationProgram AnalysisSoftware AnalysisFormal VerificationGraph TheorySoftware Design
Publications per year
1989–1997
4
4
A predicate transformer approach to semantics of parallel programs
Charanjit S. Jutla, Edgar Knapp, J. R. Rao · 1989 · 30 citations · Full text
A predicate transformer for progress
Edgar Knapp · Information Processing Letters · 1990 · 16 citations
Rows per page
1–4 of 4