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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gary T. Leavens