TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

1. Front Matter

   PDF

2. CCS for OO and LP

   • J. W. de Bakker, E. P. de Vink

   Pages 1-28

3. An extended expansion theorem

   • Gian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari

   Pages 29-48

4. Concurrent abstract machines

   • G Berry

   Pages 49-49

5. Knowledge and probability in distributed systems: Abstract

   • Joseph Y. Halpern

   Pages 50-54

6. Verification methods for finite systems

   • Ahmed Bouajjani, Joseph Sifakis

   Pages 55-57

7. Interactive interworking for interoperating systems

   • H Weber

   Pages 58-59

8. Formal specification of object systems

   • Ralf Jungclaus, Gunter Saake, Cristina Sernadas

   Pages 60-82

9. On the relationship between algebraic module specifications and program modules

   • Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs

   Pages 83-98

10. Testing against formal specifications: A theoretical view

    • Gilles Bernot

    Pages 99-119

11. Construction and reuse of formal program developments

    • J. Cazin, P. Cros, R. Jacquart, M. Lemoine, P. Michel

    Pages 120-136

12. A theory of program modifications

    • G. Ramalingam, Thomas Reps

    Pages 137-152

13. Proving termination of logic programs by exploiting term properties

    • A. Bossi, N. Cocco, M. Fabris

    Pages 153-180

14. Parametric order-sorted types in logic programming

    • Michael Hanus

    Pages 181-200

15. Exploiting non-determinism through laziness in guarded functional languages

    • Roland Dietrich, Hendrik C. R. Lock

    Pages 201-216

16. Non-standard interpretations of LOTOS specifications

    • Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa

    Pages 217-234

17. A new technique for strictness analysis

    • David A. Wright

    Pages 235-258

18. Using higher order logic for modelling real-time protocols

    • Rachel Cardell-Oliver

    Pages 259-282

19. Combining interaction and automation in process algebra verification

    • Albert Camilleri, Paola Inverardi, Monica Nesi

    Pages 283-296

20. Refining interfaces of communicating systems

    • Ed Brinksma, Bengt Jonsson, Fredrik Orava

    Pages 297-312

TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.

• Software Engineering
• inheritance
• linear optimization
• logic
• modeling
• object
• operating system
• programming
• structured design
• verification

Policies and ethics