Skip to main content
SpringerLink
Log in

Rechnerarchitekturen zur Unterstützung korrekter und transparenter Programmierung

  • Conference paper
Book cover Software-Fehlertoleranz und -Zuverlässigkeit

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 83))

  • 59 Accesses

Abstract

Bei einer wachsenden Zahl von Rechneranwendungen werden heute sehr hohe Anforderungen an die Korrektheit von Programmen gestellt. Bedenkt man die gleichzeitig stark anwachsende Komplexität der Softwaresysteme, so erscheint die Problematik, Software fehlerfrei zu erstellen, immer gravierender. Als einer der Gründe für die mangelhafte Qualität der heutigen Software kann angesehen werden, daß die Struktur herkömmlicher Programmiersprachen auf eine unter dem Gesichtspunkt heutiger Realisierungsmöglichkeiten veraltete Rechnerarchitektur ausgerichtet ist.

Im Verlauf der Rechnerentwicklung wurde eine Reihe von Ansätzen entwickelt, um diese Architektur abzulösen. Der nachfolgende Beitrag soll einen kurzen überblick über derartige Alternativen bringen. Behandelt werden dabei insbesondere Datenfluß- und Reduktionskonzepte.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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.

Literatur

  1. J. Backus Can Programming be liberated from the von Neumann style? A functional style and its algebra of programs Comm. ACM 21, 8 (August 1978), S. 613–641

    Article  MathSciNet  MATH  Google Scholar 

  2. K.J. Berkling Reduction languages for reduction machines Proc. 2nd Int. Symp. Computer Architecture, 1975, S.133–140

    Google Scholar 

  3. W. Brauer (ed.) Net theory and applications Springer-Verlag Berlin Heidelberg 1980

    Google Scholar 

  4. W.F. Clocksin, C.S. Mellish Programming in Prolog Springer-Verlag Berlin Heidelberg New York 1981

    MATH  Google Scholar 

  5. J.B. Dennis Data flow supercomputers Computer, November 1980, S.48–56

    Google Scholar 

  6. J.B. Dennis The varieties of data flow computers Proc. 1st Int. Conf. on Distr. Computing Systems, 1979, s.430–439

    Google Scholar 

  7. H.J. Genrich, K. Lautenbach System level modelling with high level Petri nets Theoretical Computer Science 13(1981), S. 109–136 North Holland Publishing Company 1981

    Article  MathSciNet  MATH  Google Scholar 

  8. K.-E. Großpietsch Systemspezifikation durch Prädikat/Transitionsnetze sowie reguläre Ausdrücke und daraus resultierende Fehlermodelle GI-Workshop ’Prognosemodelle für Fehleranfälligkeit’, Siemens AG 1983, S. 16–30

    Google Scholar 

  9. W.E. Kluge, H. Schlütter An architecture for the direct execution of reduction languages Proc. Int. Workshop High-Level Language Comp. Arch., 1980, S. 174–180

    Google Scholar 

  10. G. J. Myers Advances in computer architecture (Second edition) j. Wiley and Sons, New York 1982

    MATH  Google Scholar 

  11. C. Schmittgen, W. Kluge A system architecture for the concurrent evaluation of applicative program expressions 10th Int. Symp. Computer Architecture, 1983, S. 356–369

    Google Scholar 

  12. P.C. Treleaven, D.R. Brownbridge, R.C. Hopkins Data-driven and demand-driven computer architecture Computing surveys, Vol. 14, March 1982, S. 93–143

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gesellschaft für Mathematik und Datenverarbeitung, Schloß Birlinghoven, Postfach 1240, 5205, St. Augustin, USA

    K.-E. Großpietsch

Authors
  1. K.-E. Großpietsch
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Systemanalyse, Hochschule Bremerhaven, Columbusstraße 2, 2850, Bremerhaven, Germany

    Fevzi Belli

  2. Institut für Systemtechnik, GMD, Postfach 1240, 5205, St. Augustin, Germany

    Silvia Pfleger

  3. Siemens AG, Otto-Hahn-Ring 6, 8000, München 83, Germany

    Silvia Pfleger

  4. Wissenschaftliches Zentrum, IBM, Tiergartenstraße 15, 6900, Heidelberg, Germany

    Manfred Seifert

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Großpietsch, KE. (1984). Rechnerarchitekturen zur Unterstützung korrekter und transparenter Programmierung. In: Belli, F., Pfleger, S., Seifert, M. (eds) Software-Fehlertoleranz und -Zuverlässigkeit. Informatik-Fachberichte, vol 83. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69705-0_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-69705-0_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13383-4

  • Online ISBN: 978-3-642-69705-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation