Semantik von Programmiersprachen

Semantik von Programmiersprachen von Berghammer,  Rudolf
Eine Programmiersprache ist eine formalisierte Sprache, in der Algorithmen zur Ausführung auf einem Computer beschrieben werden. An Stelle von Algorithmen spricht man bei Programmiersprachen auch von Programmen. Die vorliegende Ausarbeitung einer Vorlesung über die Semantik von Programmiersprachen will dem Leser die in der theoretischen Informatik zur Zeit bedeutendesten Methoden zur Formalisierung der Semantik der Kontrollstrukturen einer Programmiersprache vermitteln, wobei sich auf sogenannte sequentielle Sprachen beschränkt wird, also keine parallelen oder verteilte Abläufe betrachtet werden. Die Vermittlung von Methoden beinhaltet auch die dazu notwendigen Grundlagen und bezieht sich somit konsequenterweise auch auf den mathematischen Hintergrund. Bei der Darstellung dieses Stoffs wird versucht, die Gegenstände, etwa die Programmiersprachen bei den verschiedenen Semantikfestlegungen, so einfach wie möglich zu halten, damit die verwendeten Methoden und die Zusammenhänge nicht durch übermäßigen technischen Aufwand verdeckt werden. Auch auf eine ausführliche Beweisführung wird großer Wert gelegt. Und schließlich soll als Anwendung von Semantik noch gezeigt werden, wie wissenschaftliche Methoden zur Programmentwicklung sich auf diese semantischen Grundlagen stützen können.
Aktualisiert: 2023-05-15
> findR *

Semantik von Programmiersprachen

Semantik von Programmiersprachen von Berghammer,  Rudolf
Eine Programmiersprache ist eine formalisierte Sprache, in der Algorithmen zur Ausführung auf einem Computer beschrieben werden. An Stelle von Algorithmen spricht man bei Programmiersprachen auch von Programmen. Die vorliegende Ausarbeitung einer Vorlesung über die Semantik von Programmiersprachen will dem Leser die in der theoretischen Informatik zur Zeit bedeutendesten Methoden zur Formalisierung der Semantik der Kontrollstrukturen einer Programmiersprache vermitteln, wobei sich auf sogenannte sequentielle Sprachen beschränkt wird, also keine parallelen oder verteilte Abläufe betrachtet werden. Die Vermittlung von Methoden beinhaltet auch die dazu notwendigen Grundlagen und bezieht sich somit konsequenterweise auch auf den mathematischen Hintergrund. Bei der Darstellung dieses Stoffs wird versucht, die Gegenstände, etwa die Programmiersprachen bei den verschiedenen Semantikfestlegungen, so einfach wie möglich zu halten, damit die verwendeten Methoden und die Zusammenhänge nicht durch übermäßigen technischen Aufwand verdeckt werden. Auch auf eine ausführliche Beweisführung wird großer Wert gelegt. Und schließlich soll als Anwendung von Semantik noch gezeigt werden, wie wissenschaftliche Methoden zur Programmentwicklung sich auf diese semantischen Grundlagen stützen können.
Aktualisiert: 2023-04-17
> findR *
MEHR ANZEIGEN

Bücher zum Thema Axiomatische Semantik

Sie suchen ein Buch über Axiomatische Semantik? Bei Buch findr finden Sie eine große Auswahl Bücher zum Thema Axiomatische Semantik. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher zum Thema Axiomatische Semantik im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zum Thema Axiomatische Semantik einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.

Axiomatische Semantik - Große Auswahl Bücher bei Buch findr

Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum Thema Axiomatische Semantik, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:

Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien zu finden. Unter Axiomatische Semantik und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.