Articoli correlati a Transformationsbasierte temporallogische Programmierung...
- ISBN 10 3860644025
- ISBN 13 9783860644027
- RilegaturaPerfect Paperback
Compra nuovo
Scopri di più su questo articolo
EUR 59,95
Spese di spedizione:
EUR 9,95
Da: Germania a: U.S.A.
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Transformationsbasierte temporallogische Programmierung,
Editore:
Verlag Dr. Kovac, Hamburg
(1996)
ISBN 10: 3860644025
ISBN 13: 9783860644027
Nuovo
Softcover
Prima edizione
Quantità: 5
Da:
Valutazione libreria
Descrizione libro Softcover. Condizione: neu. 1. Auflage. 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. Codice articolo x402
Compra nuovo
EUR 59,95
Convertire valuta