Gary T. Leavens
Encyclopedia
Gary T. Leavens is a professor
of computer science
at the School of Electrical Engineering and Computer Science, University of Central Florida in United States. His best known work is on behavioral interface specification language
s (BISLs) such as Larch/Smalltalk, Larch/C++, and JML. From 1989 until 2007, he was a professor
of Computer Science
at Iowa State University
.
He is also the Program Chair for 2009 OOPSLA
.
Professor
A professor is a scholarly teacher; the precise meaning of the term varies by country. Literally, professor derives from Latin as a "person who professes" being usually an expert in arts or sciences; a teacher of high rank...
of computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
at the School of Electrical Engineering and Computer Science, University of Central Florida in United States. His best known work is on behavioral interface specification language
Specification language
A specification language is a formal language used in computer science.Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during systems analysis, requirements analysis and systems design.Specification...
s (BISLs) such as Larch/Smalltalk, Larch/C++, and JML. From 1989 until 2007, he was a professor
Professor
A professor is a scholarly teacher; the precise meaning of the term varies by country. Literally, professor derives from Latin as a "person who professes" being usually an expert in arts or sciences; a teacher of high rank...
of Computer Science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
at Iowa State University
Iowa State University
Iowa State University of Science and Technology, more commonly known as Iowa State University , is a public land-grant and space-grant research university located in Ames, Iowa, United States. Iowa State has produced astronauts, scientists, and Nobel and Pulitzer Prize winners, along with a host of...
.
He is also the Program Chair for 2009 OOPSLA
OOPSLA
OOPSLA is an annual ACM research conference. OOPSLA mainly takes place in the United States, while the sister conference of OOPSLA, ECOOP, is typically held in Europe...
.