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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Semantik von Programmiersprachen
Image fournie par le vendeur
Semantik von Programmiersprachen
Edité par
Berlin; Heidelberg; New York; London; Paris; Tokyo : Springer, 1989
ISBN 10 : 354015163X
ISBN 13 : 9783540151630
Ancien ou d'occasion
Softcover
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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. N° de réf. du vendeur 305256
Acheter D'occasion
EUR 10
Frais de port :
EUR 14,95
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Semantik von Programmiersprachen.
Edité par
Berlin, Springer,, 1989
ISBN 10 : 354015163X
ISBN 13 : 9783540151630
Ancien ou d'occasion
Couverture souple
Vendeur : Antiquariat Matthias Drummer, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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-. N° de réf. du vendeur 80418
Acheter D'occasion
EUR 12
Frais de port :
EUR 37
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Semantik von Programmiersprachen (Studienreihe Informatik) (German Edition)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020160493
Acheter neuf
EUR 57,17
Frais de port :
EUR 3,44
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Semantik von Programmiersprachen (Studienreihe Informatik) (German Edition)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540151630_new
Acheter neuf
EUR 59,41
Frais de port :
EUR 13,60
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Semantik von Programmiersprachen
Edité par
Springer Berlin Heidelberg Mrz 1989, 1989
ISBN 10 : 354015163X
ISBN 13 : 9783540151630
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540151630
Acheter neuf
EUR 54,99
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Semantik Von Programmiersprachen (Studienreihe Informatik)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 211 pages. German language. 9.61x6.69x0.49 inches. In Stock. N° de réf. du vendeur x-354015163X
Acheter neuf
EUR 84,57
Frais de port :
EUR 11,35
De Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Semantik von Programmiersprachen
Edité par
Springer Berlin Heidelberg, 1989
ISBN 10 : 354015163X
ISBN 13 : 9783540151630
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 4882495
Acheter neuf
EUR 54,99
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Semantik von Programmiersprachen
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1989, 1989
ISBN 10 : 354015163X
ISBN 13 : 9783540151630
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Deutsch. N° de réf. du vendeur 9783540151630
Acheter neuf
EUR 54,99
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Semantik von Programmiersprachen
Edité par
Springer Berlin Heidelberg, 1989
ISBN 10 : 354015163X
ISBN 13 : 9783540151630
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540151630
Acheter neuf
EUR 54,99
Frais de port :
EUR 61,91
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Semantik von Programmiersprachen
Edité par
Springer Berlin Heidelberg, 1989
ISBN 10 : 354015163X
ISBN 13 : 9783540151630
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher. N° de réf. du vendeur 22634919/202
Acheter D'occasion
EUR 12,48
Frais de port :
EUR 105
De Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)