Gary T. Leavens

David A. Naumann

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Tutorial on JML, the java modeling language.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Information Hiding and Visibility in Interface Specifications.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Formal Techniques for Java-Like Programs.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

MAO: Ownership and Effects for More Effective Reasoning About Aspects.

[BibT_eX]

[DOI]

James Noble

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java.

[BibT_eX]

[DOI]

Joseph R. Kiniry

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, 2007

2006

MultiJava: Design rationale, compiler implementation, and applications.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2006

Preliminary design of JML: a behavioral interface specification language for java.

[BibT_eX]

[DOI]

Clyde Ruby

ACM SIGSOFT Softw. Eng. Notes, 2006

Modular invariants for layered object structures.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

MiniMAO: An imperative core language for studying aspect-oriented reasoning.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

Not a Number of Floating Point Problems.

[BibT_eX]

[DOI]

J. Object Technol., 2006

JML's Rich, Inherited Specifications for Behavioral Subtypes.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

Roadmap for enhanced languages and methods to aid verification.

[BibT_eX]

[DOI]

Simon L. Peyton Jones

Murali Sitaraman

Douglas R. Smith

Aaron Stump

Proceedings of the Generative Programming and Component Engineering, 2006

Formal Techniques for Java-Like Programs.

[BibT_eX]

[DOI]

Elena Zucca

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

2005

Model variables: cleanly supporting abstraction in design by contract.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2005

How the design of JML accommodates both runtime assertion checking and formal verification.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

Lessons from the JML Project.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Extending JML for Modular Specification and Verification of Multi-threaded Programs.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2005, 2005

A contextual interpretation of undefinedness for runtime assertion checking.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2004

Invited Talk: JML framed!

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2004

2003

An overview of JML tools and applications.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Modular specification of frame properties in JML.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2003

Formal Techniques for Java-Like Programs.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

2002

How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2002

Formal Techniques for Java-like Programs.

[BibT_eX]

[DOI]

Sophia Drossopoulou

Proceedings of the Object-Oriented Technology, 2002

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2002, 2002

2001

Special issue: formal techniques for Java programs.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2001

Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs.

[BibT_eX]

[DOI]

Tim Wahls

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Formal Techniques for Java Programs.

[BibT_eX]

[DOI]

Sophia Drossopoulou

Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

2000

Formal methods for multimethod software components.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

Executing Formal Specifications with Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Tim Wahls

Autom. Softw. Eng., 2000

A Complete Algebraic Characterization of Behavioral Subtyping.

[BibT_eX]

[DOI]

Acta Informatica, 2000

Safely creating correct subclasses without seeing superclass code.

[BibT_eX]

[DOI]

Clyde Ruby

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

JML (poster session): notations and tools supporting detailed design in Java.

[BibT_eX]

[DOI]

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

MultiJava: modular open classes and symmetric multiple dispatch for Java.

[BibT_eX]

[DOI]

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Formal Techniques for Java Programs.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, 2000

1999

Formal Semantics for SA Style Data Flow Diagram Specification Languages.

[BibT_eX]

[DOI]

Tim Wahls

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Enhancing the Pre- and Postcondition Technique for More Expressive Specifications.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

Formal Techniques for Java Programs.

[BibT_eX]

[DOI]

Bart Jacobs

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

JML: A Notation for Detailed Design.

[BibT_eX]

[DOI]

Clyde Ruby

Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998

1997 workshop on foundations of component-based systems.

[BibT_eX]

[DOI]

Oscar Nierstrasz

Murali Sitaraman

ACM SIGSOFT Softw. Eng. Notes, 1998

Protective Interface Specifications.

[BibT_eX]

[DOI]

Jeannette M. Wing

Formal Aspects Comput., 1998

Multiple Dispatch as Dispatch on Tuples.

[BibT_eX]

[DOI]

Todd D. Millstein

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1997

The Behavior-Realization Adjunction and Generalized Homomorphic Relations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Class-Based and Algebraic Models of Objects.

[BibT_eX]

[DOI]

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

1996

Polymorphic Type-Checking in Scheme.

[BibT_eX]

[DOI]

Steven L. Jenkins

Comput. Lang., 1996

Forcing Behavioral Subtyping through Specification Inheritance.

[BibT_eX]

[DOI]

Krishna Kishore Dhara

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

Typechecking and Modules for Multimethods.

[BibT_eX]

[DOI]

Craig Chambers

ACM Trans. Program. Lang. Syst., 1995

On Binary Methods.

[BibT_eX]

Theory Pract. Object Syst., 1995

Foundation of Object-Oriented Languages, 2nd Workshop Report.

[BibT_eX]

[DOI]

Giuseppe Castagna

ACM SIGPLAN Notices, 1995

Weak behavioral subtyping for types with mutable objects.

[BibT_eX]

[DOI]

Krishna Kishore Dhara

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Specification and Verification of Object-Oriented Programs Using Supertype Abstraction.

[BibT_eX]

[DOI]

William E. Weihl

Acta Informatica, 1995

1994

The Larch/Smalltalk Interface Specification Language.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1994

Programs, Recursion and Unbounded Choice (Wim H. Hesselink).

[BibT_eX]

[DOI]

SIAM Rev., 1994

A Quick Overview of Larch/C++.

[BibT_eX]

J. Object Oriented Program., 1994

Typechecking and Modules for Multi-Methods.

[BibT_eX]

[DOI]

Craig Chambers

Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994

Inheritance of Interface Specifications (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Workshop on Interface Definition Languages, 1994

1992

Preliminary Design of Larch/C++.

[BibT_eX]

Proceedings of the First International Workshop on Larch, 1992

1991

Modular Specification and Verification of Object-Oriented Programs.

[BibT_eX]

[DOI]

IEEE Softw., 1991

Introduction to the literature on object-oriented design, programming, and languages.

[BibT_eX]

[DOI]

OOPS Messenger, 1991

Formal Techniques for OO Software Development (Panel).

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

Typed Homomorphic Relations Extended with Sybtypes.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990

Reasoning about Object-Oriented Programs that Use Subtypes.

[BibT_eX]

[DOI]

William E. Weihl

Proceedings of the Conference on Object-Oriented Programming Systems, 1990

1984

Prettyprinting styles for various languages.

[BibT_eX]

[DOI]