4. TAPSOFT 1991: Brighton, UK

->Volume 1

Samson Abramsky, T. S. E. Maibaum (Eds.): TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD). Lecture Notes in Computer Science 494 Springer 1991, ISBN 3-540-53981-6 BibTeX

ADC Advances in Distributed Computing

• J. W. de Bakker, Erik P. de Vink: CCS for OO and LP. 1-28 BibTeX
• Gian Luigi Ferrari, Roberto Gorrieri, Ugo Montanari: An Extended Expansion Theorem. 29-48 BibTeX
• Gérard Berry: Concurrent Abstract Machines (Abstract). 49 BibTeX
• Joseph Y. Halpern: Knowledge and Probability in Distributed Systems (Abstract). 50-54 BibTeX
• Ahmed Bouajjani, Joseph Sifakis: Verification for Finite Systems (Extended Abstract). 55-57 BibTeX
• H. Weber: Interactive Internetworking for Interoperating Systems (Abstract). 58-59 BibTeX

CCPSD Colloquium on Combining Paradigms for Software Development

• Ralf Jungclaus, Gunter Saake: Formal Specification of Object Systems. 60-82 BibTeX
• Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs: On the Relationship Between Algebraic Module Specifications and Program Modules. 83-98 BibTeX
• Gilles Bernot: Testing Against Formal Specifications: A Theoretical View. 99-119 BibTeX
• Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel: Construction and Reuse of Formal Program Developments. 120-136 BibTeX
• G. Ramalingam, Thomas W. Reps: A Theory of Program Modifications. 137-152 BibTeX
• Annalisa Bossi, Nicoletta Cocco, Massimo Fabris: Proving Termination of Logic Programs by Exploiting Term Properties. 153-180 BibTeX
• Michael Hanus: Parametric Order-Sorted Types in Logic Programming. 181-200 BibTeX
• Roland Dietrich, Hendrik C. R. Lock: Exploiting Non-Determinism through Laziness in Guarded Functional Languages. 201-216 BibTeX
• Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa: Non-standard Interpretations of LOTOS Specifications. 217-234 BibTeX
• David A. Wright: A New Technique for Strictness Analysis. 235-258 BibTeX
• Rachel Cardell-Oliver: Using Higher Order Logic for Modelling Real-Time Protocols. 259-282 BibTeX
• Albert John Camilleri, Paola Inverardi, Monica Nesi: Combining Interaction and Automation in Process Algebra Verification. 283-296 BibTeX
• Ed Brinksma, Bengt Jonsson, Fredrik Orava: Refining Interfaces of Communicating Systems. 297-312 BibTeX
• Bernd Krieg-Brückner, Donald Sannella: Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. 313-336 BibTeX
• John-Jules Ch. Meyer, Roel Wieringa: Actor-Oriented System Specification with Dynamic Logic. 337-357 BibTeX
• Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode: Towards a Formally Based Component Description Language. 358-378 BibTeX
• Srecko Brlek, Pierre Castéran, Robert Strandh: On Addition Schemes. 379-393 BibTeX
• Bernhard Steffen, Jens Knoop, Oliver Rüthing: Efficient Code Motion and an Adaption to Strength Reduction. 394-415 BibTeX
• David de Frutos-Escrig, María-Inés Fernández-Camacho: On Narrowing Strategies for Partial Non-Strict Functions. 416-437 BibTeX
• Rita Loogen: From Reduction Machines To Narrowing Machines. 438-457 BibTeX
• Geoffrey L. Burn: The Evaluation Transformer Model of Reduction and Its Correctness. 458-482 BibTeX