1996 Technical Reports

Department of Computing and Information Sciences
Kansas State University

Note: not all reports are available in electronic form. (Sorry!)

Important: The links on this page connect to the department's ftp directory. For whatever strange reason, some WWW browsers cannot access the directory. If you try one of the links on this page and receive an error message in response, please use ordinary ftp to obtain the reports: (i) ftp ftp.cis.ksu.edu (anonymous login) (ii) cd pub/CIS (iii) get README

Here is a listing of the abstracts for the reports.

Report 96-1. Calendar Algebra, by Robert J. Zhang and Elizabeth A. Unger

Report 96-3. Abstract Interpretation of Small-Step Semantics by David Schmidt

Report 96-5. Experiments with Modular FLAVERS Analysis by Matthew B. Dwyer

Report 96-6. Modular Flow Analysis for Concurrent Software by Matthew B. Dwyer

Report 96-7. An Application-Independent Concurrency Skeleton in Ada-95 by Matthew B. Dwyer, Matthew J. Craig, Eric Runquist

Report 96-8. Event Specification and Detection by Robert J. Zhang and Elizabeth A. Unger

Report 96-9. High-Level Coordination Abstractions in Stock Languages by Matthew B. Dwyer and Matthew J. Craig

Report 96-10. Polymorphic Lambda Calculus and Subtyping by Adrian Fiech and David Schmidt

Report 96-11. A Powerdomain of Possibility Measures by Michael Huth

Report 96-12. A Protocol for Weak Virtual Synchrony by Yiwei Chiao, Masaaki Mizuno, and Hemang Nadkarni

Report 96-13. A New Framework for Design, Verification, and Implmentation of Self-Stabilizing Distributed Algorithms by Hirotsugu Kakugawa, Masaaki Mizuno, and Mikhail Nesterenko

Report 96-14. A Fuzzy Lower Powerdomain by Michael Huth

Report 96-15. Quantitative Analysis and Model Checking by Michael Huth and Marta Kwiatkowska

Report 96-16. Sense Typed Lambda-Calculus for Natural Language Processing by Maria Zamfir Bleyberg, Clark Sexton, and Bill Hankley

Report 96-17. Accommodating Integrity Constraints During Database Design by Dimitris Plexousakis and John Mylopoulos

Dave Schmidt (schmidt@cis.ksu.edu)