🚀 go-pugleaf

Computer Science-colloquium, Technical Univeristy Eindhoven.




Speaker:          prof. Shmuel Katz
                           (Technion, Haifa, Israel)
Date:            monday February 1st, 1993
Time:                      13.30
Place:           CTD 131, Technical University Eindhoven, Holland
Subject:        Superimposition as a language construct

                           


Abstract:

Several versions of a language construct called a superimposition have been
proposed. They are intended to allow easy expression of modules that add
functionality to a distributed system but require access to the state of the
existing processes and execute interleaved with the rest of the computation.
Examples are modules for additional monitoring of existing processes,
debugging aids, repeated checking of whether deadlock has occurred,
increasing fault tolerance, or introducing buffers to reduce synchronization
of processes.    
These constructs capture a kind of modularity natural for distributed
programming, which previously has been treated using a macro-like
implantation of code. In the talk, the elements of a superimposition are
identified, the various options for definitions are compared, correctness
criteria are defined, and examples are presented. A key question is the
degree to which the superimposed code is allowed to affect the values of
variables in the original program, and the influence this has on the safety
and liveness properties that held in the program without the
superimposition.  



-- 
# internet:     robg@win.tue.nl         | Rob Gerth		              #
# EUT:		HG 8.85			| Department of Computing Science     #
# voice:	+31-(0)40-474389/4124	| Eindhoven University of Technology  #
# fax:		+31-(0)40-463992	| 5600 MB Eindhoven, The Netherlands  #