SPLASH 2013
Sat 26 - Thu 31 October 2013 Indianapolis, United States
Gary Leavens

Registered user since Tue 27 Jan 2015

Name: Gary Leavens

Bio: The long term goal of my research is to better understand how to solve programming problems: how to specify such problems, methods for thinking about such problems, notations for expressing solutions, and ways to check that the solutions are correct. In pursuing this goal, I have worked in two main areas: formal methods and programming languages. formal methods and programming languages.

Country: United States

Affiliation: University of Central Florida

Personal website: http://www.cs.ucf.edu/~leavens

Research interests: Programming languages, semantics, formal methods

Contributions

SPLASH 2013Author of Client-Aware Checking and Information Hiding in Interface Specifications with JML/ajmlc within the Demonstrations-track
Committee Member in External Review Committee within the OOPSLA-track
Show activities from other conferences

SPLASH 2013-profile
View general profile