MSPLS Spring '95 Workshop

Saturday, 8 April 1995

10:00-11:00 Registration and Breakfast


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)

12:00-1:30 Lunch


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)

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


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)

6:00-9:00 Dinner

Gerald Baumgartner