Saturday, 8 April 1995
-
10:00-11:00 Registration and Breakfast
-
-
11:00-12:00
-
- Language Constructs for High-Precision Specification of
Real Time Constraints
- Tai M. Chung and
Henry G. Dietz
(
Dept. of Electrical and Computer Engineering,
Purdue University)
Abstract,
Paper
- RTsynchronizer, a High-Level Language Construct for Specifying
Real-Time Constraints in Distributed Concurrent Systems
- Shangping Ren
(Dept. of Computer Science,
University of Illinois at Urbana-Champaign)
Abstract
-
12:00-1:30 Lunch
-
-
1:30-3:00
-
- Business Meeting
- Election of
Henry G. Dietz as new
MSPLS president.
Selection of
Loyola University,
Chicago,
as the meeting site for the Fall '95 Workshop.
- State in Programming Languages - Issues in Language Design
-
Uday S. Reddy
(Dept. of Computer Science,
University of Illinois at Urbana-Champaign)
Abstract
- An Algebraic Semantics of Subobjects
-
Jonathan G. Rossie, Jr. and
Daniel P. Friedman
(Dept. of Computer Science,
Indiana University)
Abstract,
Extended Abstract
-
3:00-4:00 Break and Demos
-
-
4:00-5:30
-
- Object Interactions as First Class Objects:
From Design to Implementation
- Mahesh Dodani, Kok Siew Gan,
and Lizette Velazquez
(Dept. of Computer Science,
The University of Iowa)
Extended Abstract,
Paper
- A Framework for Higher-Order Functions in C++
-
Konstantin Läufer
(
Dept. of Mathematical and Computer Sciences,
Loyola University of Chicago)
Abstract,
Paper
- Lazy Functional Programming for Full-Text Information Retrieval
- Donald A. Ziff
(Dept. of Computer Science,
University of Chicago)
Abstract
-
6:00-9:00 Dinner
-
Gerald Baumgartner