This workshop brought together top researchers in logic and software engineering in the unique occasion of celebrating the 70th birthday of Professor C S Tang who has devoted much of his long research career to establishing a solid logic foundation for software engineering.
Contents:
- Clocked Transition Systems (Z Manna & A Pnueli)
- Towards an Object-Oriented Functional Programming Language (Z-Y Qian & B Krieg-Brückner)
- Computing Aspects of Set Theory (E Engeler)
- A Cooperative Design for Hybrid Control Systems (B H Widjaja et al.)
- On Implementing Unique Fixpoint Induction for Value-Passing Processes (H-M Lin)
- Being Whole (R T Yeh)
- Conceptual Models for Distributed Software Development Environments (K C Kishida)
- An Object Oriented Testing and Maintenance Environment (D Kung et al.)
- Logic, Software Engineering and Prototyping (Luqi & V Berzins)
- A CHILL Debugger with a Wider Scope (K Rekdal & J E Stromme)
Readership: Computer scientists.
