Imagen del editor

Transformationsbasierte temporallogische Programmierung,

Klaus Spies

ISBN 10: 3860644025 / ISBN 13: 9783860644027
Editorial: Verlag Dr. Kovac, Hamburg, 1996
Nuevos Condición: neu Encuadernación de tapa blanda
Librería: Verlag Dr. Kovac GmbH (Hamburg, Alemania)

Librería en AbeBooks desde: 24 de enero de 2011 Valoración librería Valoración 4 estrellas

Cantidad disponible: 5

Comprar nuevo
Precio: EUR 59,95 Convertir moneda
Gastos de envío: EUR 9,95 De Alemania a Estados Unidos de America Destinos, gastos y plazos de envío
Añadir al carrito

Descripción

Forschungsergebnisse der Programmentwicklung, Band 6 236 pages. IIn dieser Arbeit wird die Möglichkeit der transformationsbasierten temporallogischen Programmierung untersucht. Dabei werden neben den einfacher zu handhabenden deterministischen zukunftsbezogenen Konstrukten wie etwa next sowohl nichtdeterministische Konstrukte wie or und sometimes als auch vergangenheitsbezogene Operationen wie previous und always-in-the-past berücksichtigt. Zu diesem Zweck wird zunächst die Temporallogik EITeL vorgestellt, welche neben den angesprochenen Konstrukten insbesondere die Möglichkeit bietet, durch einen chop-Operator sequentielle Abläufe einfach auszudrücken. Die Gültigkeit von Rekurrenzrelationen ermöglicht es dann, einer großen Klasse von Formeln durch das Prinzip der Transformation eine prozedurale Interpretation zu geben. Auf dieser Basis wird dann die Programmiersprache ExTeLL definiert. ExTeLL ist eine (im Sinne der Theorie der Berechenbarkeit) universelle temporallogische Sprache. Wenn man eine wie auch immer geartete Logik als Programmiersprache verwendet, so stellt sich natürlich die Frage nach ihrer Korrektheit und der Vollständigkeit. Entsprechende Ergebnisse werden ebenso wie ein Nachweis der Universalität von ExTeLL hergeleitet. Schließlich werden auch die pragmatischen Aspekte einer solchen Sprachentwicklung anhand einiger typischer Beispiele untersucht. Dabei zeigt sich, dass sich viele temporale Probleme in eleganter und natürlicher Weise mit ExTeLL lösen lassen. N° de ref. de la librería x402

Hacer una pregunta a la librería

Detalles bibliográficos

Título: Transformationsbasierte temporallogische ...

Editorial: Verlag Dr. Kovac, Hamburg

Año de publicación: 1996

Encuadernación: Softcover

Condición del libro: neu

Edición: 1. Auflage.

Descripción de la librería

Ver la página web de la librería

Condiciones de venta:

Rückgabebelehrung

Rückgaberecht
Sie können die erhaltene Ware ohne Angabe von Gründen innerhalb
von 14 Tagen durch Rücksendung der Ware zurückgeben. Die Frist
beginnt nach Erhalt dieser Belehrung in Textform (z. B. als
Brief, Fax, E-Mail), jedoch nicht vor Eingang der Ware beim
Empfänger (bei der wiederkehrenden Lieferung gleichartiger Waren
nicht vor Eingang der ersten Teillieferung) und auch nicht vor
Erfüllung unserer Informationspflichten gemäß Artikel 246 § 2 in
Verbindung mit § 1 Absatz 1 ...

Más información
Condiciones de envío:

Die Versandkostenpauschalen basieren auf Sendungen mit einem durchschnittlichen Gewicht. Falls das von Ihnen bestellte Buch besonders schwer oder sperrig sein sollte, werden wir Sie informieren, falls zusätzliche Versandkosten anfallen.


Información detallada sobre el vendedor

Todos los libros de esta librería

Métodos de pago
aceptados por la librería

Visa Mastercard American Express Carte Bleue