Advertisement

Rechnerarchitekturen zur Unterstützung korrekter und transparenter Programmierung

  • K.-E. Großpietsch
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 83)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. /BA1/.
    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–641MathSciNetzbMATHCrossRefGoogle Scholar
  2. /BE1/.
    K.J. Berkling Reduction languages for reduction machines Proc. 2nd Int. Symp. Computer Architecture, 1975, S.133–140Google Scholar
  3. /BR1/.
    W. Brauer (ed.) Net theory and applications Springer-Verlag Berlin Heidelberg 1980Google Scholar
  4. /CL1/.
    W.F. Clocksin, C.S. Mellish Programming in Prolog Springer-Verlag Berlin Heidelberg New York 1981zbMATHGoogle Scholar
  5. /DE1/.
    J.B. Dennis Data flow supercomputers Computer, November 1980, S.48–56Google Scholar
  6. /DE2/.
    J.B. Dennis The varieties of data flow computers Proc. 1st Int. Conf. on Distr. Computing Systems, 1979, s.430–439Google Scholar
  7. /GE1/.
    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 1981MathSciNetzbMATHCrossRefGoogle Scholar
  8. /GR1/.
    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–30Google Scholar
  9. /KL1/.
    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–180Google Scholar
  10. /MY1/.
    G. J. Myers Advances in computer architecture (Second edition) j. Wiley and Sons, New York 1982zbMATHGoogle Scholar
  11. /SC1/.
    C. Schmittgen, W. Kluge A system architecture for the concurrent evaluation of applicative program expressions 10th Int. Symp. Computer Architecture, 1983, S. 356–369Google Scholar
  12. /TR1/.
    P.C. Treleaven, D.R. Brownbridge, R.C. Hopkins Data-driven and demand-driven computer architecture Computing surveys, Vol. 14, March 1982, S. 93–143Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • K.-E. Großpietsch
    • 1
  1. 1.Gesellschaft für Mathematik und DatenverarbeitungSt. AugustinUSA

Personalised recommendations