Gary T. Leavens

Available identifiers

zbMath Open leavens.gary-tWikidataQ102282431 ScholiaQ102282431MaRDI QIDQ811373

List of research outcomes

Publication	Date of Publication	Type
Typed homomorphic relations extended with subtypes	2023-08-16	Paper
The Verified Software Initiative: A Manifesto	2022-02-14	Paper
The verified software initiative	2019-08-09	Paper
Unifying separation logic and region logic to allow interoperability	2018-10-23	Paper
Behavioral interface specification languages	2014-08-13	Paper
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services	2009-03-31	Paper
Specification and verification challenges for sequential object-oriented programs	2007-08-23	Paper
\(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning	2006-12-14	Paper
Modular invariants for layered object structures	2006-10-05	Paper
How the design of JML accommodates both runtime assertion checking and formal verification	2005-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q3046739	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738855	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417651	2003-07-29	Paper
Modular specification of frame properties in JML	2003-02-20	Paper
Executing formal specifications with concurrent constraint programming	2003-02-17	Paper
A complete algebraic characterization of behavioral subtyping	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4222753	1998-12-10	Paper
Protective interface specifications	1998-11-11	Paper
Specification and verification of object-oriented programs using supertype abstraction	1996-02-25	Paper
\(3x + 1\) search programs	1993-02-22	Paper
\(3x + 1\) search programs	1992-01-01	Paper

Research outcomes over time

This page was built for person: Gary T. Leavens