Expertise
Keywords:Static analysis, abstract interpretation, denotational semantics
Affiliations

Professor, Computing and Information Sciences, Kansas State University

Communities
Management Information Systems, Information Science/Systems, Computer Science
Degrees
PhD, Kansas State University, Computer science, 1981
MS, Kansas State University, Computer science , 1977
BA, Fort Hays State University , Mathematics, 1975
Keywords
france computer and information sciences software engineering