Skip to main content

Prozedurale Programmiersprachen (Ada, CHILL)

  • Chapter
  • 25 Accesses

Zusammenfassung

Die prozeduralen Programmiersprachen gehören, neben den objektorientierten Sprachen, zu den sogenannten imperativen Programmiersprachen [Schw86]. Sie zählen heute zu den am weitesten verbreiteten und wohl klassisch zu nennenden Programmiersprachen. Einer der ersten Vertreter war die um 1958 entwickelte Sprache Fortran. Daran schlossen sich eine lange Reihe von weiteren Programmiersprachen mit dem Paradigma ”prozedural” an (Tabelle 1.2). All diesen Sprachen ist gemeinsam:

  • die Verwendung von Variablen,

  • die Zuweisung als charakteristische Operation und

  • die kontrollflußorientierte Verarbeitung,

  • die Ausführung der durch die Aufschreibung bestimmten Sequenz von Statements,

  • die ”konventionelle” Datenverarbeitung und Numerik als typischen Anwendungsbereich.

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

Buying options

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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. Appelbe, B.; Dismukes, G.: An Operational Definition of Intermediate Code for Implementing a Portable Ada Compiler, in: Proc. AdaTec Conference on Ada, 1982, 266–274

    Google Scholar 

  2. Arvind; Iannuci, R. A.: A Critique of Multiprocessing von Neumann Style, in: IEEE Computer Society: Super Computers: Design and Application, 1983, 509–519

    Google Scholar 

  3. Backus, J.: Can Programming be Liberated from the von Neumann Style ? A Functional Style and Its Algebra of Programs, CACM 21 (1978), 613–641

    MathSciNet  MATH  Google Scholar 

  4. Baker, T.P.; Riccardi, G.A.: Ada Tasking: From Semantics to Efficient Implementation, Software, 2.2 (1985), 34–45

    Article  Google Scholar 

  5. Baker, T.P.: ”Parallel Processing” and Ada Tasks, AGARD Lecture Series, 1986, 4-1–4-21

    Google Scholar 

  6. Barwig; et al.: Studie - CHILL-Rechner für Kommunikationssysteme, Siemens AG, Interner Bericht, 209c/710c/Do, 1981

    Google Scholar 

  7. BBN Laboratories: Butterfly Parallel Processor Overview, Report Nr. 6149, Version 2, Cambridge, 1986

    Google Scholar 

  8. Berry, D.; et al.: Time Required for Rerference Count Management in Retention Block-Structured Languages, Part 1, Int. Journal Computer Information Science, 1978, 91–119

    Google Scholar 

  9. Biswas, P.: A Capability Architecture for Ada, in: IEEE Computer Society ’84 Conference on Ada Applications and Environments, 1984, 23–32

    Google Scholar 

  10. Boasson, M.: Trends in Languages for Embedded Systems, in: Proc. Conf. Computing in High Energie Physics, 1986, 47–63

    Google Scholar 

  11. Bode, A.; Händler, W.: Rechnerarchitektur II, Berlin: Springer-Verlag 1983

    Book  MATH  Google Scholar 

  12. Boute, R.T.: Foundations of the Next Generation Microprocessors, in: Proc. 7th EURO MICRO Symposium on Microprocessing and Microprogramming, 1981, 271-287

    Google Scholar 

  13. Brinch Hansen, P.: Operating System Principles, Englewood Cliffs, NJ.: Prentice-Hall (1973)

    MATH  Google Scholar 

  14. Brinch Hansen, P.: Distributed Processes: A Concurrent Programming Concept, CACM 21 (1978), 934–941

    MATH  Google Scholar 

  15. Bruner, J.D.; Reeves, A.P.: A Parallel P-Code for Parallel Pascal and other High Level Languages, in: Proc. 1983 Int. Conf. on Parallel Processing, 1983, 240–243

    Google Scholar 

  16. Van Campenhout, J.M.; Stoop, R. G.; Decuypere, R. J.: The Implementation of CHILL on a Multi-Interpreter Architecture, in: Proc. 3rd CHILL Conference, 1984

    Google Scholar 

  17. CCITT-The International Telegraph And Telephone Consultative Committee: CCITT High Level Language (CHILL), Recommendation Z.200, Red Book, 1985

    Google Scholar 

  18. Cline, C.; Siegel, H.J.: Extensions of Ada for SIMD Parallel Processing, IEEE, 1983

    Google Scholar 

  19. Cocco, N.; Mandrioli, D.: The Ada Task System and Real-Time Applications: An Implementation Schema, Computer Language 10 (1985), Nr. 3/4, 189–209

    Article  Google Scholar 

  20. Cox, G.W.; Corwin, W.M.; Lai, K.K.; Pollack, F.J.: Interprocess Communication and Processor Dispatching on the Intel 432, ACM Transactions on Computer Systems 1 (1983), 45–66

    Article  Google Scholar 

  21. Dijkstra, E.W.: Cooperating Sequential Processes, Programming Languages, New York: Academic Press 1968

    Google Scholar 

  22. U.S. Department of Defense: Department of Defense Requirements for High Order Computer Programming Languages ”Tinman”, U.S. Department of Defense, Washington, DC, 1976

    Google Scholar 

  23. U.S. Department of Defense: Department of Defense Requirements for High Order Computer Programming Languages ”Ironman”, U.S. Department of Defense, Washington, DC, 1977

    Google Scholar 

  24. U.S. Department of Defense: Department of Defense Requirements for High Order Computer Programming Languages ”Steelman”, U.S. Department of Defense, Washington, DC, 1978

    Google Scholar 

  25. U.S. Department of Defense: Department of Defense Requirements for High Order Computer Programming Languages ”Stoneman”, U.S. Department of Defense, Washington, DC, 1980

    Google Scholar 

  26. U.S. Department of Defense: Reference Manual for the Ada Programming Language, U.S. Department of Defense, Washington, DC, 1980

    Google Scholar 

  27. U.S. Department of Defense: Reference Manual for the Ada Programming Language, ANSI/MIL-STD 1825 A, U.S. Department of Defense, Washington, DC, 1983

    Google Scholar 

  28. Falis, E.: Design and Implementation in Ada of a Runtime Task Supervisor, in: Proc. AdaTEC Conference on Ada, 1982, 1–9

    Google Scholar 

  29. Fidge, C.J.; Pascoe, R.S.V.: A Comparison of the Concurrency Constructs and Module facilities of CHILL and Ada, The Australien Computer Journal, Nr. 2, 1983, 17–27

    Google Scholar 

  30. Garetti, P.; Laface, P.; Rivoira, S.: Multiprocessor Implementations of Tasking Facilities in Ada, in: Proc. 12th IFAC/IFSP Workshop, 1983, 97–102

    Google Scholar 

  31. Gehani, N.: Ada, ein Lehrbuch mit praktischen Unterweisungen in die Programmiersprache, München-Haar: Markt & Technik 1985

    Google Scholar 

  32. Giloi, W.K.: Rechnerarchitektur, Berlin, Heidelberg, New York: Springer 1981

    MATH  Google Scholar 

  33. Goodenough, J.; et al.: Ada Compiler Validation Implementor’s Guide, SofTech, Waltham, MA, USA, 1980

    Google Scholar 

  34. Goos, G.; Wulf, W.: Diana Reference Manual, Department of Computer Science Carnegie-Mellon University, 1981

    Google Scholar 

  35. Goos, G.: Ada: Zweck, Entwicklung und Zukunft einer Programmiersprache, Angewandte Informatik 24(1982), 80–89

    Google Scholar 

  36. Gupta, R.; Soffa, M.L.: The Efficiency of Storage Management Schemes for Ada Programs, SIGPLAN Notices 20 (1985), Nr. 11, 30–38

    Article  Google Scholar 

  37. Gutfeldt, H.: Grundsätzliche Aspekte der Programmiersprache CHILL, Hasler Mitteilungen Nr. 1, 1982

    Google Scholar 

  38. Haberman, A.N.; Nassi, I.R.: Efficient Implementation of AdaTasks, Technical Report, Department of Computer Science, Carnegie-Mellon University, 1980

    Google Scholar 

  39. Hartwick, P.; Naedel, D.: Ada Machine Delivers High Performance, Defense Electronics 16 (1984), Nr. 1, 98–102

    Google Scholar 

  40. Hoare, C.A.R.: Monitors: An Operating System Concept, CACM 17 (1974)

    Google Scholar 

  41. Hoare, C.A.R.: Communicating Sequential Processes, CACM 21 (1978), 666–677

    MATH  Google Scholar 

  42. Hoare, C.A.R.: The Emperor’s Old Clothes, CACM 24 (1981), 75-83

    Google Scholar 

  43. Hoyer, W.: CHILL-Compiler Spezifikation der Zwischensprache, Bericht Siemens AG München, ZT ZFE FL SYST, 1979

    Google Scholar 

  44. Hwang, K.; Briggs, F.A.: Computer Architecture and Parallel Processing, New York: McGraw-Hill 1984

    MATH  Google Scholar 

  45. Ichbiah, J.D.; et al.: Rationale for the Design of the Ada Programming Language, ACM SIGPLAN Notices 14 (1979)

    Google Scholar 

  46. Intel Corporation: Intel 432 GDP Architecture Reference Manual, Intel Corporation, Santa Clara, CA, 1981

    Google Scholar 

  47. Jones, A.; Ardo, A.: Comparative Efficiency of Different Implementations of the Ada Rendezvous, in: Proc. AdaTEC Tutorial and Conf. on Ada, 1982, 213–223

    Google Scholar 

  48. Kamrad, J.M.: Runtime Organization for the Ada Language System Programs, in: Proc. AdaTEC joint Conf. on Ada, 1983, 10-1–10-23

    Google Scholar 

  49. Kearns, J.P.; Soffa, M.L.: Implementation of Retention in a Coroutine Environment, ACTA Informatica 19(1983), 221–233

    Article  MathSciNet  MATH  Google Scholar 

  50. Kearns, J.P.; Quammen, D.: An Efficient Evaluation Stack for Ada Tasking Programs, in: Proc. IEEE Computer Society Conference on Ada Applications and Environment, 1983, 33–40

    Google Scholar 

  51. Levy, P.; Devlin, M.: Development System Breaks Productivity Barrier, Electronics 58 (1985), Nr. 27, 36–39

    Google Scholar 

  52. Langlois, C.; Denis, G.; D’Isserio, J. P.: Language Machine Adapted to CHILL: first Results of Evaluation, in: Proc. Int. Switching Symposium ISS, 1981

    Google Scholar 

  53. Lampson, B.W.: Fast Procedure Calls, in: Proc. Symposium on Architectural Support of Programming Languages and Operating Systems, 1982, 66–76

    Google Scholar 

  54. Ledgard, H.: Ada, an Introduction, New York, Heidelberg, Berlin: Springer 1983

    MATH  Google Scholar 

  55. Lindquist, T.E.: Ada Task Synchronisation in a Multiprocessor System with Shared Memory, Journal of Pascal, Ada & Modula-2 4 (1985), Nr. 1, 9–19

    Google Scholar 

  56. Murtagh, T.P.: A Less Dynamic Memory Allocation Scheme for Algol-like Languages, in: Proc. 11th ACM Symposium on Principles of Programming Languages, 1983, 283–289

    Google Scholar 

  57. Nagl, M.: Ada und Smalltalk-80: Ein summarischer Vergleich, Osnabrücker Schriften zur Mathematik, Reihe I Informatik, Nr. 16, 1984

    Google Scholar 

  58. O’Connell, S.: Mapping Ada onto a Simple Virtual Machine, in: Conf. Proc. Southeastcon’83, 1983, 73–77

    Google Scholar 

  59. Patterson, J.C.: Extending Ada into Silicon, Defense Electronics 13 (1981), Nr. 9, 128–132

    Google Scholar 

  60. Paulk, M.C.; Shiva, S.G.: Interprocess Communication in Ada, in: Conf. Proc. Southeastcon’84, 1984, 33–35

    Google Scholar 

  61. Perrish, L.: Ada Capabilities for Todays Microprocessors, Defense Electronics 17 (1985), Nr. 6, 117–122

    Google Scholar 

  62. Pettus, R.O.; Trask, M.J.; Lareu N.W.: Ada Multi-Tasking Support for Microprocessor Systems, in: Conf. Proc. Southeastcon ’82, 1982, 239–242

    Google Scholar 

  63. Pratt, K.D.; Sherrill, R.L.: Experiences with the Development of a Real-Time Multiprocessor Executive in Ada, in: Proceedings of the IEEE 1985 National Aerospace and Electronics Conference, 1985, 672–678

    Google Scholar 

  64. Rasmussen, J.B.; Appelbe B.: Real-Time Interrupt Handling in Ada, Software-Practice and Experience 17 (1987), Nr. 3, 197–213

    Article  MATH  Google Scholar 

  65. Reichmeier; Winkler: Überlegungen zur Realisierung eines integrierten CHILL-Prozessors, Siemens AG, Interner Bericht, 052/ZT ZTISOF 2/A 01/JW, 1983

    Google Scholar 

  66. Riccardi, G.A.; Baker, T.P.: A Runtime Supervisor to Support Ada Tasking: Rendezvous and Delays, in: Ada in Use, Proc. Ada Int. Conf., 1985, 329–342

    Google Scholar 

  67. Roberts, E.S.; Evans, A.; Morgan, R.: Task Management in Ada-A Critical Evaluation for Real-Time Multiprocessors, Software-Practice and Experience 11 (1981), 1019–1051

    Article  MATH  Google Scholar 

  68. Rosemberg, F.; Paueli, A.; Ruhman, S.; Ron, D.: CSP and Ada: Protocols for Interprocess Communication in Common Bus Systems, in: Proc. 14th Convention of Electrical and Electronic Engineers in Israel, 1985, 3.2.4-1–3.2.4-4

    Google Scholar 

  69. Roubine, O.; Teller, J.; Maurel, O.: LOLITA-A Low Level Intermediate Language for Ada, in: Proc. AdaTec Conference on Ada, 1982, 251–260

    Google Scholar 

  70. van Rumste, M.: The iAPX 432, a Next Generation Microprocessor, Microprocessing and Microprogramming, Nr. 11, 1983, 69–106

    Google Scholar 

  71. Sammer, W.; Schwärtzel, H.: CHILL Eine moderne Programmiersprache für die Systemtechnik, Berlin, Heidelberg, New York: Springer 1982

    MATH  Google Scholar 

  72. Scharf A.: Mainframe auf Mikroebene, Elektronik Applikation 13 (1981), Nr. 7, 21–25

    Google Scholar 

  73. Schneider, H.-J.: Lexikon der Informatik und Datenverarbeitung, München, Wien: Oldenburg 1986

    Google Scholar 

  74. Schwärtzel H.: Informatik in der Praxis, Heidelberg: Springer 1986

    MATH  Google Scholar 

  75. Shoja, G.C.; et al.: A Control Kernel to Support Ada Intertask Communication on a Distributed Multiprocessor Computer System, Software & Microsystems 1 (1982) Nr. 5, 128–134

    Article  Google Scholar 

  76. Shoja, G.C.; et al.: Some Experiences of Implementing the Ada Concurrency Facilities on a Distributed Multiprocessor Computer System, Software & Microsystems 1 (1982), Nr. 6, 147–152

    Article  Google Scholar 

  77. Smedema, C.H.; Medema, P.; Boasson, M.: The Programming Languages Pascal Modula CHILL Ada, Englewood Cliffs, NJ.: Prentice-Hall 1983

    Google Scholar 

  78. Tedd, M.; Crespi-Reghizzi, S.; Natali A.: Ada for Multiprocessors, The Ada Companion Series, London, New York: Cambridge University Press 1984

    Google Scholar 

  79. Vajda, F.: Concurrent Systems, Programming Primitives and Languages: A Comparative Study, Microprocessing and Microprogramming, Nr. 18, 1986, 185–194

    Google Scholar 

  80. Wegner, P.; Smolka, S.A.: Processes Tasks and Monitors: A Comparative Study of Concurrent Programming Primitives, IEEE Transactions on Software Engineering SE-9 (1983), Nr. 4, 446–462

    Article  Google Scholar 

  81. Wehrum, R.P.; Hoyer, W.; Dießl, G.: On some Key Features of Ada: Language and Programming Environment, Computer Physics Communication 41 (1986), 271–283

    Article  Google Scholar 

  82. Welsh, J.; Lister, A.: A Comparative Study of Task Communication in Ada, Software-Practice and Experience 11 (1981), 257–290

    Article  MATH  Google Scholar 

  83. Wettstein, H.: Betriebssysteme, Universität Karlsruhe, Skriptum zur Vorlesung im Wintersemester 83/84

    Google Scholar 

  84. Winkler, J.F.H.: Ada: die neuen Konzepte, Elektronische Rechenanlagen 24 (1982), 175–186

    MATH  Google Scholar 

  85. Wolfe, M.I.: The Ada Language System, Computer, Nr. 6,1981, 37–45

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin, Heidelberg

About this chapter

Cite this chapter

Kober, R. (1988). Prozedurale Programmiersprachen (Ada, CHILL). In: Kober, R. (eds) Parallelrechner-Architekturen. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73896-8_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-73896-8_2

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-73896-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics