Home > Authorities > Grants > Record #307957 > print

001     307957
005     20240928181432.0
024 7 _ |a G:(GEPRIS)22176865
|d 22176865
035 _ _ |a G:(GEPRIS)22176865
040 _ _ |a GEPRIS
|c http://gepris.its.kfa-juelich.de
150 _ _ |a Typbasierte Programmanalyse für Skriptsprachen
|y 2006 - 2013
371 _ _ |a Professor Dr. Peter Thiemann
450 _ _ |a DFG project G:(GEPRIS)22176865
|w d
|y 2006 - 2013
510 1 _ |a Deutsche Forschungsgemeinschaft
|0 I:(DE-588b)2007744-0
|b DFG
680 _ _ |a Skriptsprachen wie Tcl/Tk, Perl, PHP und JavaScript sind dynamische Programmiersprachen zur schnellen Erstellung von Anwendungen (Skripten) durch Kombination von vorgegebenen Komponenten. Skripte wachsen oft evolutionär aus einem schnell implementierten Kern ohne sorgfältige Planung. Daher ist die Änderung von großen Skripten (d.h., ihre Wartung) schwierig. Ein Teil des Wartungsproblems liegt darin, dass es zwar dedizierte Editoren, Debugger und Testwerkzeuge gibt, nicht aber Werkzeuge zur statischen Analyse von Skripten, mit deren Hilfe gewisse Arten von Fehlern ausgeschlossen werden können. Das vorliegende Projekt ist ein erster Schritt zu einem Werkzeug, das eine statische Typanalyse, ähnlich dem Soft-Typing, für JavaScript durchführt. Ziel des Projekts ist der Aufbau einer Experimentierumgebung zur Erforschung von Techniken der typbasierten Programmanalyse für Skriptsprachen am Beispiel der Sprache JavaScript. Zunächst sollen die theoretischen Grundlagen der Typanalyse für JavaScript erarbeitet werden. Darauf aufbauend soll die Experimentierumgebung einen Rahmen zum Entwurf, der Implementierung und der Evaluation von Algorithmen zur Typanalyse für den vollen Sprachumfang zur Verfügung 3 stellen. In dieser Umgebung wollen wir die erarbeiteten Algorithmen implementieren und die Qualität der resultierenden Analyse an realistischen Beispielprogrammen überprüfen. Anschließend soll die Analyse an den so gefundenen Problemstellen verbessert werden. JavaScript wurde gewählt, da die Sprache weit verbreitet ist und industriell eingesetzt wird.
909 C O |o oai:juser.fz-juelich.de:974832
|p authority:GRANT
|p authority
909 C O |o oai:juser.fz-juelich.de:974832
980 _ _ |a G
980 _ _ |a AUTHORITY

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21