Transformationsbasierte temporallogische Programmierung,

Klaus Spies

Verlag: Verlag Dr. Kovac, Hamburg, 1996

ISBN 10: 3860644025 / ISBN 13: 9783860644027

Neu / Softcover / Anzahl: 5

Verkäufer Verlag Dr. Kovac GmbH (Hamburg, Deutschland)

Bewertung:

Bei weiteren Verkäufern erhältlich

Alle Exemplare dieses Buches anzeigen

Über dieses Buch

Leider ist dieses Exemplar nicht mehr verfügbar. Wir haben Ihnen weitere Exemplare dieses Titels unten aufgelistet.

Beschreibung:

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. Bestandsnummer des Verkäufers x402

Bibliografische Details

Titel: Transformationsbasierte temporallogische ...
Verlag: Verlag Dr. Kovac, Hamburg
Erscheinungsdatum: 1996
Einband: Softcover
Zustand: neu
Auflage: 1. Auflage.