Zusammenfassung
Der Begriff „Kontrollabstraktion“ wurde von Crowl and LeBlanc [2] eingeführt als „der Prozess, durch den Programmierer neue Kontrollkonstrukte einführen, indem sie — losgelöst von einer Implementierung — Anforderungen an die Ausführungsreihenfolge von Anweisungen spezifizieren“. Mit „Ausführungsreihenfolge“ ist dabei vor allem die Möglichkeit der Parallelausführung gemeint. Crowl and LeBlanc entwerfen eine Notation für parallele Kontrollabstraktionen and weisen deren Nützlichkeit an vielen Beispielen nach.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
K. M. Chandy, J. Misra. Parallel Program Design: A Foundation. AddisonWesley, 1988.
L. A. Crowl, T. J. LeBlanc. Parallel Programming with Control Abstraction. ACM Trans. Program. Lang. Syst. 16, 3, Mai 1994.
E. W. Dijkstra. Guarded commands, nondeterminacy, and formal derivation of programs. Comm. ACM 18, 8, Aug. 1975.
E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
S. Heilbrunner, L. Schmitz. For Statements with Restricted Enumerations. In: M. Paul, B. Robinet (eds.): International Symposium on Programming, LNCS 167, Springer, 1984.
C. A. R. Hoare. A note on the for statement. Bit 12, 1972, pp. 334 - 341.
B. Liskov, J. Guttag. Abstraction and Specification in Program Development. MIT Press/McGraw-Hill, 1986.
B. Meyer. Design by Contract. In: D. Mandrioli, B. Meyer (eds.): Advances in Object-Oriented Software Engineering. Prentice-Hall, 1991.
D. L. Parnas. A Technique for Software Module Specification with Examples. Comm. ACM 15, 5, Mai 1972.
L. Schmitz. An Improved Transitive Closure Algorithm. Computing 30, 1983, pp. 359 - 371.
L. Schmitz. Using Inheritance to Explore a Family of Algorithms. Struct. Programming 13, 1992, pp. 55 - 64.
L. Schmitz. Rigorous Program Development with Control Abstractions: A Case Study. Univ. Bw. Munchen, Bericht 9602, Mai 1996.
M. Shaw, W. Wulf, R. L. London. Abstraction and verification in Alphard: defining and specifying iteration and generators. Comm. ACM 20, 8, Aug. 1977.
R. E. Tarjan. Depth-first Search and Linear Graph Algorithms. SIAM J. Comput. 1, 2, Juni 1972.
H. S. Warren. A modification of Warshall’s algorithm for the transitive closure of binary relations. Comm. ACM 18, 4, April 1975.
S. Warshall. A theorem on Boolean matrices. J. ACM 9, 1, Jan. 1962.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schmitz, L., Dresden, T.U. (1997). Zum Nutzen sequentieller Kontrollabstraktionen. In: Jarke, M., Pasedach, K., Pohl, K. (eds) Informatik ’97 Informatik als Innovationsmotor. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60831-5_72
Download citation
DOI: https://doi.org/10.1007/978-3-642-60831-5_72
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63066-1
Online ISBN: 978-3-642-60831-5
eBook Packages: Springer Book Archive