Transformationsbasierte temporallogische Programmierung
Seiten
1996
Kovac, Dr. Verlag
9783860644027 (ISBN)
Kovac, Dr. Verlag
9783860644027 (ISBN)
- Keine Verlagsinformationen verfügbar
- Artikel merken
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.
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.
| Zusatzinfo | 9 Abb., 5 Tab. |
|---|---|
| Sprache | deutsch |
| Maße | 150 x 210 mm |
| Gewicht | 307 g |
| Einbandart | gebunden |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Schlagworte | ExTeLL • HC/Informatik, EDV/Programmiersprachen • Informatik • Programmierlogik • Programmiersprache • Programmierung • Reduktion • Temporallogik • Transformation • Transformation (EDV) |
| ISBN-13 | 9783860644027 / 9783860644027 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen und praktische Anwendungen von Transpondern, kontaktlosen …
Buch (2023)
Hanser (Verlag)
CHF 125,95
