5. Arbeitstagung Programmiersprachen (ATPS 2012)
نویسندگان
چکیده
Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschaeftigen. Alle Programmierparadigmen sind von Interesse: imperative, objektorientierte, funktionale, logische, parallele, graphische Programmiersprachen, auch verteilte und nebenlaeufige Programmierung in Intraund Internet-Anwendungen, sowie Konzepte zur Integration dieser Paradigmen. Die ersten vier Arbeitstagungen Programmiersprachen fanden im Rahmen von GI-Jahrestagungen statt (Aachen 1997, Paderborn 1999, Ulm 2004, Lübeck 2009) statt. Wegen der größeren inhaltlichen Nähe, findet sie in diesem Jahr zusammen mit der GITagung Software Engineering statt. Typische, aber nicht ausschliessliche Themenbereiche sind:
منابع مشابه
Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015)
Die Arbeitstagung Programmiersprachen (ATPS) ist eine jährlich stattfindende Veranstaltung der Fachgruppe Programmiersprachen und Rechenkonzepte der Gesellschaft für Informatik (GI). Sie dient dem Austausch zwischen Wissenschaftlern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Dabei sind alle Programmierparadigmen gleichermaßen von Intere...
متن کاملVorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013)
Die Arbeitstagung Programmiersprachen dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Für diese Tagung sind alle Programmierparadigmen und deren Sprachen von Interesse: imperative, objektorientierte, funktionale, logische, parallele, graphische Programmiersprachen, auch verteilte und nebenläufige Progra...
متن کاملVorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016)
Die Arbeitstagung Programmiersprachen dient dem Austausch zwischen Forschern, Entwicklern und Anwendern in Hochschule, Wirtschaft und Industrie, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Dabei sind alle Programmierparadigmen gleichermaßen von Interesse: imperative, objektorientierte, funktionale, logische, parallele und graphische Programmiersprachen ebenso wie v...
متن کامل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 [email protected] 2 Institut für Informatik, Universität Bonn Römerstraße 164, D-53117 Bonn, Deutschland [email protected] Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen ...
متن کاملA Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is necessary to prove their correctness. We develop a formal semantics for static single assignment (SSA) intermediate representations and prove formally within the Isabelle/HOL theorem prover that a relatively simple form of code g...
متن کامل