6. Arbeitstagung Programmiersprachen (ATPS 2013)
暂无分享,去创建一个
Jens Knoop1, Janis Voigtländer2 1 Institut für Computersprachen, TU Wien Argentinierstr. 8 / E185.1, A-1040 Wien, Österreich knoop@complang.tuwien.ac.at 2 Institut für Informatik, Universität Bonn Römerstraße 164, D-53117 Bonn, Deutschland jv@iai.uni-bonn.de Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Alle Programmierparadigmen sind von Interesse: imperative, objektorientierte, funktionale, logische, parallele, graphische Programmiersprachen, auch verteilte und nebenläufige Programmierung in Intraund InternetAnwendungen, sowie Konzepte zur Integration dieser Paradigmen. Typische, aber nicht ausschließliche Themenbereiche sind: Entwurf von Programmiersprachen und anwendungsspezifischen Sprachen Implementierungsund Optimierungstechniken Analyse und Transformation von Programmen Ressourcenanalyse (Zeit, Speicher, Leistungsverbrauch) Typsysteme Semantik und Spezifikationstechniken Modellierungssprachen, Objektorientierung Intraund Internet-Programmierung Programmund Implementierungsverifikation Werkzeuge und Programmierumgebungen Frameworks, Architekturen, generative Ansätze Erfahrungen bei exemplarischen Anwendungen Verbindung von Sprachen, Architekturen, Prozessoren Ebenfalls von Interesse sind Arbeiten zu Techniken, Methoden, Konzepten oder Werkzeugen, mit denen Sicherheit und Zuverlässigkeit bei der Ausführung von Programmen erhöht werden können. Die Tagung richtet sich ausdrücklich auch an Interessenten aus Wirtschaft und Industrie.