Items related to Semantik von Programmiersprachen (Studienreihe Informatik)
Synopsis
Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1989
- ISBN 10 354015163X
- ISBN 13 9783540151630
- BindingPaperback
- LanguageGerman
- Edition number1
- Number of pages211
Search results for Semantik von Programmiersprachen (Studienreihe Informatik)
Stock Image
Semantik von Programmiersprachen
Published by
Springer Berlin Heidelberg, 1989
ISBN 10: 354015163X
ISBN 13: 9783540151630
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 216 | Produktart: Sonstiges. Seller Inventory # 22634919/202
Quantity: 4 available
Seller Image
Semantik von Programmiersprachen.
Seller: Antiquariat Matthias Drummer, Berlin, Germany
Seller rating 5 out of 5 stars
IX, 202, (2) Seiten, Aus der Reihe "Studienreihe Informatik". Mit grafischen Darstellungen und Literaturverzeichnis. Die Einbandkanten und -ecken sind beschabt, die Ecken deutlich. Einband und Schnitt sind angeschmutzt. Insgesamt aber durchaus noch ordentliches Exemplar Sprache: Deutsch Gewicht in Gramm: 441 Original-Broschur, 16x23cm, Zustand: 3-. Seller Inventory # 80418
Quantity: 1 available
Seller Image
Semantik von Programmiersprachen
Published by
Berlin; Heidelberg; New York; London; Paris; Tokyo : Springer, 1989
ISBN 10: 354015163X
ISBN 13: 9783540151630
Used
Softcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Softcover. 202 S. Guter Zustand. Die Leseseiten sind sauber und ohne Markierungen. Leichte Lager- und Gebrauchsspuren. Ausgeschiedenes Bibliotheksexemplar mit entsprechender Kennzeichnung. Buchrücken mit Leserillen. Ansonsten ordentliches Exemplar. 9783540151630 Sprache: Deutsch Gewicht in Gramm: 1000. Seller Inventory # 305256
Quantity: 2 available
Stock Image
Semantik von Programmiersprachen (Studienreihe Informatik) (German Edition)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540151630_new
Quantity: Over 20 available
Seller Image
Semantik von Programmiersprachen
Published by
Springer Berlin Heidelberg Mrz 1989, 1989
ISBN 10: 354015163X
ISBN 13: 9783540151630
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau. 216 pp. Deutsch. Seller Inventory # 9783540151630
Quantity: 2 available
Seller Image
Semantik von Programmiersprachen
Published by
Springer Berlin Heidelberg, 1989
ISBN 10: 354015163X
ISBN 13: 9783540151630
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau. Seller Inventory # 9783540151630
Quantity: 1 available
Stock Image
Semantik von Programmiersprachen (Studienreihe Informatik) (German Edition)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540151630
Quantity: Over 20 available
Seller Image
Semantik von Programmiersprachen
Published by
Springer Berlin Heidelberg, 1989
ISBN 10: 354015163X
ISBN 13: 9783540151630
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunaechst werden unterschiedliche Formalisierungsansaetze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. A. Seller Inventory # 4882495
Quantity: Over 20 available
Stock Image
Semantik von Programmiersprachen
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 218 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 55059865
Quantity: 4 available
Stock Image
Semantik von Programmiersprachen
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 218. Seller Inventory # 2654499910
Quantity: 4 available