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