<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Vorwort zur 7. Arbeitstagung Programmiersprachen (ATPS 2014)</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Volker Stolz</string-name>
          <email>stolz@i</email>
          <email>stolz@ifi.uio.no</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Baltasar Tranco´ n Widemann</string-name>
          <email>baltasar.trancon@tu-ilmenau.de</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>TU Ilmenau</institution>
          ,
          <country country="DE">Deutschland</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Universitetet i Oslo</institution>
          ,
          <addr-line>Norwegen</addr-line>
        </aff>
      </contrib-group>
      <abstract>
        <p>Die Arbeitstagung Programmiersprachen dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen bescha¨ftigen. Dabei sind alle Programmierparadigmen gleichermaßen von Interesse: imperative, objektorientierte, funktionale, logische, parallele und graphische Programmierung, auch verteilte und nebenla¨ufige Programmierung in Intra- und Internet-Anwendungen, sowie Konzepte zur Integration dieser Paradigmen. Die ersten vier Arbeitstagungen Programmiersprachen fanden 1997, 1999, 2004 und 2009 im Rahmen von GI-Jahrestagungen statt. Nach 2012 und 2013 findet die Tagung in diesem Jahr zum dritten Mal zusammen mit der GI-Tagung Software Engineering statt. Auf den Aufruf zur Einreichung von Beitra¨gen sind 12 Arbeiten eingegangen. Nach ausfu¨hrlicher Begutachtung und Diskussion hat das Programmkomitee sechs volle Beitra¨ge und drei erweiterte Zusammenfassungen zur Pra¨sentation angenommen, die in diesem Tagungsband zusammengestellt und vero¨ffentlicht sind. Thematisch decken die Beitra¨ge einen breiten Querschnitt aktueller Forschungsthemen im programmiersprachlichen Bereich ab, insbesondere: Entwurf von Programmiersprachen und anwendungsspezifischen Sprachen Implementierungs- und Optimierungstechniken Analyse und Transformation von Programmen Typsysteme, Semantik und Spezifikationstechniken Modellierungssprachen, Objektorientierung Formale Methoden, Programm- und Implementierungsverifikation Werkzeuge und Programmierumgebungen Frameworks, Architekturen, generative Ansa¨tze Erfahrungen bei exemplarischen Anwendungen Uber die eingereichten Beitra¨ge hinaus freuen wir uns besonders, dass Uwe Aßmann unsere Einladung angenommen hat und einen Hauptvortrag zum Thema Towards Model-Driven Software Engineering for Cloud Robots ha¨lt. Wir mo¨chten uns bei allen Beteiligten fu¨r die Unterstu¨tzung zum Gelingen der ATPS 2014 bedanken. Zuallererst gilt unser Dank den Autoren und dem eingeladenen Vortragenden f u¨r ihre Beitra¨ge zum Programm. Wir danken außerdem den Programmkomiteemitgliedern (Eric Bodden, Clemens Grelck, Michael Hanus, Cristian Heinlein, Jens Knoop, Herbert Kuchen, Ralf La¨mmel, Andres Lo¨h, Ina Scha¨fer, Thomas Noll und Wolf Zimmermann) und externen Gutachtern (Frank Huch und Martin Steffen). Sie alle haben in kurzer Zeit engagiert und mit großem Einsatz daran gearbeitet, die Einreichungen zu begutachten und den Autoren fundierte und nu¨tzliche Ru¨ckmeldungen zukommen zu lassen. Unser besonderer Dank gilt den Organisatoren der SE 2014 in Kiel f u¨r ihre Unterstu¨tzung, die ATPS 2014 zusammen mit der SE 2014 abzuhalten.</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>