Follow

Submissions from 2004

PDF

Literature Review on Temporal, Spatial, and Spatiotermpoal Data Models, Seo-Young Noh

Submissions from 2000

PDF

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

Submissions from 1999

PDF

Introduction to the Literature On Programming Language Design, Gary T. Leavens

Submissions from 1998

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

Submissions from 1997

PDF

Specification Facets for More Precise, Focused Documentation, Gary T. Leavens and Clyde Ruby

Submissions from 1996

PDF

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

PDF

Introduction to the Literature on Programming Language Design, Gary T. Leavens

Submissions from 1994

PDF

Aiding Self-motivation with Readings in Introductory Computing, Gary T. Leavens

PDF

Fields in Physics are like Curried Functions or Physics for Functional Programmers, Gary T. Leavens

PDF

Introduction to the Literature on Semantics, Gary T. Leavens

PDF

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