Skip to main content
SpringerLink
Log in

A transformational approach for developing parallel programs

  • Systematic Design, Development, And Verification Of Parallel Algorithms
  • Conference paper
  • First Online:
Conpar 81 (CONPAR 1981)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 111))

Included in the following conference series:

Abstract

We analyze the motto: "efficiency = parallelism + communications" as an approach for developing parallel programs. Communications are used for deriving suitable program transformations via definition of "eureka" functions or synthesis of "annotations". We also introduce a strategy, called minimal extension strategy, for obtaining new auxiliary functions, and some preliminary ideas for a new theory of communications, which do not effect program correctness, but only program efficiency.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Burstall, R.M. and J. Darlington: "A Transformation System for Developing Recursive Programs". J.A.C.M. Vol.24 No.1 (1977) pp.44–67

    MATH  MathSciNet  Google Scholar 

  2. Burstall, R.M. and M. Feather: "Program Development by Transformation: An Overview" Proc. of ‘Les Fondements de la Programmation' (eds. M. Amichahy and D. Neel) Toulouse(1979) (IRIA-SEFI, France)

    Google Scholar 

  3. Burstall,R.M., D.B. MacQueen and D.T. Sannella: "HOPE: An Experimental Applicative Language" Proc. LISP Conference. Stanford University (1980)

    Google Scholar 

  4. Hewitt, C. and H. Baker,Jr.: "Actors and Continuous Functionals" Neuhold, E.J.(ed.) Formal Descriptions of Programming Languages, North Holland, Amsterdam (1978)

    Google Scholar 

  5. Hoare, C.A.R.: "Communicating Sequential Processes" Comm.A.C.M. 21, 8 (1978) pp.666–677

    MATH  Google Scholar 

  6. Kahn, G. and D.B. MacQueen: "Coroutines and Networks of Parallel Processes" Gilchrist, B.(ed.) Information Processing 77, North Holland, Amsterdam (1977) pp.993–998

    Google Scholar 

  7. Milne, G. and R. Milner: "Concurrent Processes and their Syntax" J.A.C.M. Vol.26 (1979) pp.302–321

    MATH  MathSciNet  Google Scholar 

  8. Milner,R: "A Calculus of Communicating Systems" L.N.C.S. 92, Springer Verlag (1980)

    Google Scholar 

  9. Schwarz,J.: "Using Annotations to Make Recursive Equations Behave" D.A.I. Research Report no.43 Edinburgh University (1977)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. I.A.S.I.-C.N.R., Via Buonarroti 12, 00185, Roma, Italy

    Alberto Pettorossi

  2. Dept. of Computer Science, Edinburgh University, Mayfield Road, EH9 3JZ, Edinburgh, Scotland

    Alberto Pettorossi

Authors
  1. Alberto Pettorossi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

W. Brauer P. Brinch Hansen D. Gries C. Moler G. Seegmüller J. Stoer N. Wirth Wolfgang Händler

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pettorossi, A. (1981). A transformational approach for developing parallel programs. In: Brauer, W., et al. Conpar 81. CONPAR 1981. Lecture Notes in Computer Science, vol 111. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0105122

Download citation

  • DOI: https://doi.org/10.1007/BFb0105122

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10827-6

  • Online ISBN: 978-3-540-38715-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation