ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
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:Central Florida University
Research interests:Programming languages, semantics, formal methods

Contributions

FTfJP 2015 Conditional Effects in Fine-grained Region Logic
Committee Member in Steering Committee within the FTfJP-track
Show activities from other conferences

ECOOP 2015-profile
View general profile