Skip to main content
SpringerLink
Log in

REDO at Oxford

  • Conference paper
Software Re-use, Utrecht 1989

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

  • 27 Accesses

Abstract

The Programming Research Group at Oxford University is participating in the ESPRIT project REDO. The project is targeted at the ReEngineering and reDOcumentation of COBOL and Fortran programs. The working consortium involves academic and industrial partners across Europe, under the overall management of Lloyd’s Register of Shipping in London. Three universities (Durham, Oxford and Limerick), five software products and services houses (Centrisa (Sp), CTC (Gr), ITS (Sp), Grumman (Ger), Marconi (UK)) and two large users of application codes (Electricité de France (Fr), Delft Hydraulics (Nth)) provide a lively spectrum of talents and activities.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. An Axiomatic Semantics for UNIFORM. REDO Document TN-PRG-1011

    Google Scholar 

  2. Good D. Mechanical Proofs About Computer Programs. In: Rich C, Waters C. (eds) Artificial Intelligence and Software Engineering. Morgan Korfmann Ltd, 1984

    Google Scholar 

  3. Gries D. The Science of Programming. Springer-Verlag, 1981

    Google Scholar 

  4. Kahn G. The Semantics of a Simple Language for Parallel Programming. In: Information Processing 74. North-Holland Amsterdam, 1974, pp 471–475

    Google Scholar 

  5. Morgan C. et al. On the Refinement Calculus. PRG-70 Technical Monograph 1988

    Google Scholar 

  6. UNIFORM: A Language Geared to System Description and Transformation. REDO (ESPRIT 2 Project P2487) document TN-NIL-1002

    Google Scholar 

Download references

Authors
  1. P. T. Breuer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. K. Lano
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Delft University of Technology, PO Box 356, 2600 AJ, Delft, The Netherlands

    Liesbeth M. Dusink PhD

  2. Department of Computer Science, Brunel University, Uxbridge, UB8 3PH, Middlesex, UK

    Patrick A. V. Hall PhD

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Breuer, P.T., Lano, K. (1991). REDO at Oxford. In: Dusink, L.M., Hall, P.A.V. (eds) Software Re-use, Utrecht 1989. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3536-4_4

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3536-4_4

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19652-5

  • Online ISBN: 978-1-4471-3536-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation