Artículos relacionados a Semantik von Programmiersprachen (Studienreihe Informatik)
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 60,67
EUR 5,20 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Semantik von Programmiersprachen (Studienreihe Informatik)
Imagen del vendedor
Semantik von Programmiersprachen
Publicado por
Berlin; Heidelberg; New York; London; Paris; Tokyo : Springer, 1989
ISBN 10: 354015163X
ISBN 13: 9783540151630
Antiguo o usado
Softcover
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
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 ref. del artículo: 305256
Cantidad disponible: 2 disponibles
Imagen del vendedor
Semantik von Programmiersprachen.
Publicado por
Berlin, Springer,, 1989
ISBN 10: 354015163X
ISBN 13: 9783540151630
Antiguo o usado
Tapa blanda
Librería: Antiquariat Matthias Drummer, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
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 ref. del artículo: 80418
Cantidad disponible: 1 disponibles
Imagen de archivo
Semantik von Programmiersprachen
Publicado por
Springer Berlin Heidelberg, 1989
ISBN 10: 354015163X
ISBN 13: 9783540151630
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 216 | Produktart: Sonstiges. Nº de ref. del artículo: 22634919/202
Cantidad disponible: 4 disponibles
Imagen de archivo
Semantik von Programmiersprachen (Studienreihe Informatik) (German Edition)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540151630_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Semantik von Programmiersprachen
Publicado por
Springer Berlin Heidelberg Mrz 1989, 1989
ISBN 10: 354015163X
ISBN 13: 9783540151630
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540151630
Cantidad disponible: 2 disponibles
Imagen del vendedor
Semantik von Programmiersprachen
Publicado por
Springer Berlin Heidelberg, 1989
ISBN 10: 354015163X
ISBN 13: 9783540151630
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540151630
Cantidad disponible: 1 disponibles
Imagen del vendedor
Semantik von Programmiersprachen
Publicado por
Springer Berlin Heidelberg, 1989
ISBN 10: 354015163X
ISBN 13: 9783540151630
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 4882495
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Semantik von Programmiersprachen (Studienreihe Informatik) (German Edition)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783540151630
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Semantik von Programmiersprachen
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 218. Nº de ref. del artículo: 2654499910
Cantidad disponible: 4 disponibles
Imagen de archivo
Semantik von Programmiersprachen
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 55059865
Cantidad disponible: 4 disponibles