Follow

Submissions from 2004

PDF

The JML and JUnit Way of Unit Testing and its Implementation, Gary T. Leavens and Yoonsik Cheon

PDF

How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification, Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, and David R. Cok

PDF

Domain Mapping for Product-line Requirements, Kendra Schmid

Submissions from 2003

PDF

SAVCBS 2003: Specification and Verification of Component-Based Systems, Mike Barnett, Stephen H. Edwards, Dimitra Giannakopoulou, and Gary T. Leavens

PDF

A Runtime Assertion Checker for the Java Modeling Language, Yoonsik Cheon

PDF

A Thought on Specification Reflection, Yoonsik Cheon, Yoshiki Hayashi, and Gary T. Leavens

PDF

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, Yoonsik Cheon and Gary T. Leavens

PDF

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, Yoonsik Cheon and Gary T. Leavens

PDF

Model Variables: Cleanly Supporting Abstraction in Design By Contract, Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Murali Kuchibhotla, and Stephen H. Edwards

PDF

Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy, Curtis Clifton and Gary T. Leavens

PDF

Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy, Curtis Clifton and Gary T. Leavens

PDF

Formal Definition of the Parameterized Aspect Calculus, Curtis Clifton, Gary T. Leavens, and Mitchell Wand

PDF

Parameterized Aspect Calculus: A Core Calculus for the Direct Study of Aspect-Oriented Languages, Curtis Clifton, Gary T. Leavens, and Mitchell Wand

PDF

Reasoning about Procedure Calls with Repeated Arguments and the Reference-Value Distinction, Gregory W. Kulczycki, Murali Sitaraman, William F. Ogden, and Gary T. Leavens

PDF

Preliminary Design of JML: A Behavioral Interface Specification Language for Java, Gary T. Leavens, Albert L. Baker, and Clyde Ruby

PDF

FOAL 2003 Proceedings Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003, Gary T. Leavens and Curtis Clifton

Submissions from 2002

PDF

A Runtime Assertion Checker for the Java Modeling Language (JML), Yoonsik Cheon and Gary T. Leavens

PDF

Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning, Curtis Clifton and Gary T. Leavens

PDF

Spectators and Assistants: Enabling Modular Aspect-Oriented Reasoning, Curtis Clifton and Gary T. Leavens

PDF

FOAL 2002 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2002, Gary T. Leavens and Ron Cytron

PDF

Equational Reasoning with Subtypes, Gary T. Leavens and Don Pigozzi

PDF

Modular Specification of Frame Properties in JML, Peter Müller, Arnd Poetzsch-Heffter, and Gary T. Leavens

PDF

An Object-Oriented Event Calculus, Jeremiah S. Patterson

Submissions from 2001

PDF

Alias-free parameters in C using multibodies, Medhat Assaad

PDF

Alias-free Parameters in C for Better Reasoning and Optimization, Medhat Assaad and Gary T. Leavens

PDF

MultiJava: Design, implementation, and evaluation of a Java-compatible language supporting modular open classes and symmetric multiple dispatch, Curtis Clifton

PDF

DECIMAL: A requirements engineering tool for product families, Prasanna Padmanabhan C.

PDF

Mutation, Aliasing, Viewpoints, Modular Reasoning, and Weak Behavioral Subtyping, Krishna Kishore Dhara and Gary T. Leavens

PDF

Preventing Cross-Type Aliasing for More Practical Reasoning, Krishna Kishore Dhara and Gary T. Leavens

PDF

SAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001, Dimitra Giannakopoulou, Gary T. Leavens, and Murali Sitaraman

PDF

SAVCBS 2001 Proceedings: Specification and Verification of Component-Based Systems, Workshop at OOPSLA 2001, Dimitra Giannakopoulou, Gary T. Leavens, and Murali Sitaraman

PDF

Larch Frequently Asked Questions, Gary T. Leavens

PDF

Modular Specification of Frame Properties in JML, Peter Müller, Arnd Poetzsch-Heffter, and Gary T. Leavens

Submissions from 2000

PDF

A Run-time Assertion Checker for Java using JML, Abhay Bhorkar

PDF

MultiJava: Modular Symmetric Multiple Dispatch and Extensible Classes for Java, Curtis Clifton, Gary T. Leavens, Craig Chambers, and Todd Millstein

PDF

Preliminary Design of JML: A Behavioral Interface Specification Language for Java, Gary T. Leavens, Albert L. Baker, and Clyde Ruby

PDF

Executing Formal Specifications with Constraint Programming, Tim Wahls, Gary T. Leavens, and Albert L. Baker

Submissions from 1999

PDF

An Overview of Larch/C++: Behavioral Specifications for C++ Modules, Gary T. Leavens

PDF

Larch/C++ Reference Manual, Gary T. Leavens

PDF

ACL -- Eliminating Parameter Aliasing with Dynamic Dispatch, Gary T. Leavens and Olga Antropova

PDF

A Complete Algebraic Characterization of Behavioral Subtyping, Gary T. Leavens and Don Pigozzi

Submissions from 1998

PDF

ACL--Eliminating Parameter Aliasing with Dynamic Dispatch, Olga Antropova

PDF

ACL---Eliminating Parameter Aliasing with Dynamic Dispatch, Olga Antropova and Gary T. Leavens

PDF

Evaluating the Expressiveness of a Multimethod Object-Oriented Programming Language, Sevtap Otles Karakoy

PDF

Programming is Writing: Why Student Programs must be Carefully Read, Gary T. Leavens, Albert L. Baker, Vasant Honavar, Steven M. LaValle, and Gurpur M. Prabhu

PDF

Preliminary Design of JML: A Behavioral Interface Specification, Gary T. Leavens, Albert L. Baker, and Clyde Ruby

PDF

Multiple Dispatch as Dispatch on Tuples, Gary T. Leavens and Todd Millstein

PDF

Class-Based and Algebraic Models of Objects, Gary T. Leavens and Don Pigozzi

Submissions from 1997

PDF

BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing, Craig Chambers and Gary T. Leavens

PDF

Behavioral Subtyping in Object-Oriented Languages, Krishna Kishore Dhara

PDF

Forcing Behavioral Subtyping Through Specification Inheritance, Krishna Kishore Dhara

PDF

A Bibliography and Index of Our Works on Belief Data: Concept of Error and Multilevel Security, Shashi K. Gadia

PDF

Applicability of Temporal Data Models to Query Multilevel Security Databases: A Case Study, Shashi K. Gadia

PDF

A formal treatment of updates and errors in a relational database, Shashi K. Gadia and Gautam Bhargava

PDF

An Overview of Larch/C++: Behavioral Specifications for C++ Modules, Gary T. Leavens

PDF

Protective Interface Specifications, Gary T. Leavens and Jeannette M. Wing

PDF

Feature Subset Selection Using a Genetic Algorithm, Jihoon Yang and Vasant Honavar

PDF

LSL Traits for using Z with Larch, Hua Zhong

PDF

Power System Security Margin Prediction Using Radial Basis Function Networks, Guozhong Zhou, James D. McCalley, and Vasant Honavar

Submissions from 1996

PDF

Modeling and Simulating Computer Networks Using Formalized Data Flow Diagrams, Michael D. Haverdink, Albert L. Baker, and Armin Mikler

PDF

Polymorphic Type-Checking in Scheme, Steven L. Jenkins and Gary T. Leavens

PDF

An Overview of Larch/C++: Behavioral Specifications for C++ Modules, Gary T. Leavens

PDF

Formal Semantics for Structured Analysis Style Data Flow Diagram Specification Languages, Gary T. Leavens, Tim Wahls, and Albert L. Baker

PDF

An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams, Gary T. Leavens, Tim Wahls, Albert L. Baker, and Kari Lyle

PDF

Protective Interface Specifications, Gary T. Leavens and Jeannette M. Wing

Submissions from 1995

PDF

Type Checking and Modules for Multi-Methods, Craig Chambers and Gary T. Leavens

PDF

A Neural Network Architecture for Syntax Analysis, Chun-Hsien Chen and Vasant Honavar

PDF

Forcing Behavioral Subtyping Through Specification Inheritance, Krishna Kishore Dhara and Gary T. Leavens

PDF

Evaluating Larch/C++ as a Specification Language = A Case Study Using the Microsoft Foundation Class Library, David M. Egle

PDF

Linear-Time Algorithms for Parametric Minimum Spanning Tree Problems on Planar Graphs, David Fernández-Baca and Giora Slutzki

PDF

Polymorphic Type Inference in Scheme, Steven L. Jenkins and Gary T. Leavens

PDF

A Physical Example for Teaching Curried Functions, Gary T. Leavens

PDF

Design and Implementation of the Larch/C++ Type System, Matthew W. Markland

PDF

Utility-Theoretic Heuristics for Intelligent Adaptive Routing in Large Communcation Networks, Armin Mikler, Vasant Honavar, and Johnny S. Wong

PDF

An Object Oriented Approach to Modeling and Simulation of Routing in Large Communication Networks, Armin Mikler, Johnny S. Wong, and Vasant Honavar

PDF

Quo Vadis - Adaptive Heuristics for Routing in Large Communication Networks, Armin Mikler, Johnny S. Wong, and Vasant Honavar

Submissions from 1994

PDF

Foundations of Object-Oriented Languages, Giuseppe Castagna and Gary T. Leavens

PDF

Type Checking and Modules for Multi-Methods, Craig Chambers and Gary T. Leavens

PDF

A Quick Overview of Larch/C++, Yoonsik Cheon and Gary T. Leavens

PDF

Gentle Introduction to Larch / Smalltalk Specification Browsers, Yoonsik Cheon and Gary T. Leavens

PDF

The Larch/Smalltalk Interface Specification Language, Yoonsik Cheon and Gary T. Leavens

PDF

Synthesizing Structured Analysis and Object-Oriented Specifications, David L. Coleman and Albert L. Baker

PDF

Local Variable Allocation For Accurate Garbage Collection of C++, Ravichandran Ganesan

PDF

Reliable General Purpose Dynamic Memory Management for Real, Hong Gao and Kelvin Nilsen

PDF

Generational Garbage Collection of C++ Targeted to SPARC Architectures, Satish K. Guggilla

PDF

Symbolic Artificial Intelligence and Numeric Artificial Neural Networks: Towards A Resolution of the Dichotomy, Vasant Honavar

PDF

Symbolic Artificial Intelligence, Connectionist Networks & Beyond., Vasant Honavar and Leonard Uhr

PDF

Towards Safe Modular Extensible Objects, Gary T. Leavens and Craig Chambers

PDF

Overview and Specification of the Built-In Types in Little Smalltalk, Gary T. Leavens and Yoonsik Cheon

PDF

Blended Algebraic and Denotational Semantics for ADT Languages with Mutable Objects, Gary T. Leavens and Krishna Kishore Dhara

PDF

Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs, Gary T. Leavens and William E. Weihl

PDF

Quo Vadis-A Framework for Intelligent Routing in Large Communication Networks., Armin Mikler, Johnny S. Wong, and Vasant Honavar

PDF

Register Allocation for Accurate Garbage Collection of C++, S. Satishkumar

Submissions from 1993

PDF

Toward Learning Systems That Integrate Different Strategies and Representations, Vasant Honavar

PDF

Inheritance of Interface Specifications, Gary T. Leavens

Submissions from 1992

PDF

Design, Implementation, Use, and Evaluation of Ox: An Attribute- Grammar Compiling System based on Yacc, Lex, and C, Kurt M. Bischoff

PDF

GPPL: A Small Block-Structured Imperative Programming Language Implemented Using Ox, Kurt M. Bischoff

PDF

User Manual for Ox: An Attribute-Grammar Compiling System based on Yacc, Lex, and C, Kurt M. Bischoff

PDF

rtScript: A Scripting Language for Writing Real-Time Programs in C, Youngtae Kim

PDF

Preliminary Design of Larch/C + +, Gary T. Leavens and Yoonsik Cheon