Follow

Submissions from 2009

PDF

Frances: A Tool For Understanding Code Generation, Tyler Sondag, Kian L. Pokorny, and Hridesh Rajan

Submissions from 2003

PDF

An XML Plagiarism Detection Model for Procedural Programming Languages, Seo-Young Noh

Submissions from 1999

PDF

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

Submissions from 1998

PDF

Safety Checklist for Four-Variable Requirements Methods, Guy Helmer

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

Submissions from 1997

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

Algebraic Identities and Query Optimization In a Parametric Model For Relational Temporal Databases, Shashi K. Gadia and Sunil S. Nair

PDF

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

Submissions from 1996

PDF

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

PDF

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

PDF

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

Submissions from 1995

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

Larch/CORBA: Specifying the Behavior of CORBA-IDL Interfaces, Sankar Gowri Sivaprasad

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

Submissions from 1992

PDF

Course Specifications for New Introductory Courses: Computer Science 227X and 228X, Albert L. Baker, David Fernández-Baca, and Gary T. Leavens