Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Berlin, Heidelberg : Springer Berlin Heidelberg
    UID:
    b3kat_BV042435472
    Format: 1 Online-Ressource (XV, 516 S.)
    ISBN: 9783662056561 , 9783540098539
    Note: Im Titel dieses Buches steht ALGORITHMISCHE SPRACHE, im Singular. Dahinter steckt die Grundidee, nicht die Vielfalt der Programmiersprachen anzusprechen, sondern das sie umfassende Gemeinsame. Als geeignete Richtschnur erwies sich dabei die Aufgabenstellung der formalen Programmentwicklung. Sie erlaubt eine Einordnung der Konzepte und hebt fundamentale Begriffe von notationellen Spielarten (features) ab. Damit ergibt sich unmittelbar eine Systematik des Aufbaus. Didaktische, praktische und theoretische Gesichtspunkte sprechen für dieses Vorgehen. Es ist bemerkenswert, wie klar die Struktur einer nach den Prinzipien der Programmtransformation aufgebauten Sprache ausfällt. Natürlich gibt es verschiedene Notationen für eine solche Sprache. Die im Buch verwendete Notation ist grundsätzlich an ALGOL 68 orientiert, aber auch stark von PASCAL beeinflußt - es hätte auch anders herum sein können. In Anhängen sind gelegentlich Hinweise auf die in ALGOL, PASCAL, LISP und anderswo verwendeten Schreibweisen gegeben. Der Aufbau des Buches zeigt eine klare Dreiteilung: die ersten vier Kapitel konzentrieren sich auf die Ebene der "applikativen" Formulierung, gekennzeichnet durch die Punktionsanwendung als beherrschendes Sprachelement - unter Einbeziehung von Problemspezifikationen. Der Übergang auf die durch das Auftreten von Programmvariablen charakterisierte Ebene der "prozeduralen" Formulierung wird in Kap. 4 motiviert und in Kap. 5 und 6 durchgeführt. Die Weiterentwicklung führt in Kap. 7 auf Begriffe, die insbesondere in der Systemprogrammierung für heutige Maschinen von Bedeutung sind: organisierte Speicher, Zeiger und Geflechte; charakteristisch für diese Ebene ist eine gewisse Verselbständigung von Variablen und Zeigern als Objekten
    Language: German
    Keywords: Theoretische Informatik ; Algorithmische Programmiersprache ; Softwareentwicklung ; Algorithmus ; Programmierung ; Softwareentwicklung ; Algorithmus ; Algorithmische Programmiersprache ; Programmierung ; Programmiersprache
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages