Automatic Programming
Copyright © By Gordon S. Novak Jr
For original English text, go to: http://www.cs.utexas.edu/users/novak/autop.html
Automatische Programmierung erfolgt wie die Synthese eines Programms aus definierten eine Spezifikation. Wenn die automatische Programmierung ist, nützlich zu sein, die Spezifikation müssen kleiner und leichter zu schreiben als würde das Programm
sein, wenn in einer herkömmlichen Programmiersprache geschrieben.
Unser Ansatz zur automatischen Programmierung wird auf die Wiederverwendung von generischen Basis
Algorithmen durch Aussicht. Ein generischer Algorithmus führt eine Aufgabe, wie das Sortieren einer verketteten Liste von Datensätzen, auf abstrakte Beschreibungen basieren der Daten, auf denen das Programm arbeitet. Ein Blick beschreibt wie tatsächliche Anwendung Daten entsprechen den abstrakten Daten wie verwendet in der generischen Algorithmus. Bei einem Blick kann ein generischer Algorithmus sein
spezialisierten durch eine Kompilierung zu produzieren eine Version von der Algorithmus, der den Algorithmus führt direkt auf den Anwendungsdaten.
Grafische Benutzeroberflächen machen es einfach für den Benutzer Ansichten erstellen der Anwendungsdaten. Bei einer Ansicht einer der Algorithmen-Bibliothekdefiniert für diese Ansicht kann spezialisiert werden, um mit den Anwendungsdaten zu arbeiten.
Spezialisierte Programme können in mehreren Sprachen erstellt (Lisp, C, C + +,Java oder Pascal) aus einer einzigen Kopie der generische Algorithmen.
Ein verwandtes System ermöglicht ein Programm, um grafisch angegeben werden
Anschluss-Diagramme, die Daten, physikalische Gesetze und mathematische vertreten
Modelle.
On-line Demonstrationen dieser Programme sind avialable unten.
CS 394P: Automatische Programmierung
Software-Demos:
Hinweis: Die X-Versionen des Demos (auf der linken Seite) kann mehr sein zuverlässig; diese erfordern einen X-Server (zB Cygwin unter Windows).
Die weirdx Versionen (auf der rechten Seite) kann mit jedem Web-Browser verwendet werden.
- Automatic Programming Server: erstellen Programme in Lisp, C, C + +, Java oder Pascal.
[weirdx Version] - VIP-Demo:Programme schreiben, und tun, Physik, indem Sie Diagramme. [weirdx Version]
- Grafische Programmierung Server:
erstellen Programme in Lisp, C, C + +, Java oder Pascal.
[weirdx Version] - Unit Conversion Demo: Maßeinheiten zu konvertieren.
[X Version]