Gary T. Leavens

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Typed homomorphic relations extended with subtypes Lecture Notes in Computer Science	2023-08-16	Paper
The Verified Software Initiative: A Manifesto Theories of Programming	2022-02-14	Paper
The verified software initiative ACM Computing Surveys	2019-08-09	Paper
Unifying separation logic and region logic to allow interoperability Formal Aspects of Computing	2018-10-23	Paper
Behavioral interface specification languages ACM Computing Surveys	2014-08-13	Paper
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services Programming Languages and Systems	2009-03-31	Paper
Specification and verification challenges for sequential object-oriented programs Formal Aspects of Computing	2007-08-23	Paper
\(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning Science of Computer Programming	2006-12-14	Paper
Modular invariants for layered object structures Science of Computer Programming	2006-10-05	Paper
How the design of JML accommodates both runtime assertion checking and formal verification Science of Computer Programming	2005-05-12	Paper
scientific article; zbMATH DE number 2089386 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2087852 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1955931 (Why is no real title available?)	2003-07-29	Paper
Modular specification of frame properties in JML Concurrency and Computation: Practice and Experience	2003-02-20	Paper
Executing formal specifications with concurrent constraint programming Automated Software Engineering	2003-02-17	Paper
A complete algebraic characterization of behavioral subtyping Acta Informatica	2000-05-09	Paper
scientific article; zbMATH DE number 1231452 (Why is no real title available?)	1998-12-10	Paper
Protective interface specifications Formal Aspects of Computing	1998-11-11	Paper
Specification and verification of object-oriented programs using supertype abstraction Acta Informatica	1996-02-25	Paper
3x + 1 search programs Computers & Mathematics with Applications	1993-02-22	Paper
\(3x + 1\) search programs Computers & Mathematics with Applications	1992-01-01	Paper

Research outcomes over time

This page was built for person: Gary T. Leavens