CoRTA 2009 - Compilers, Programming Languages, Related Technologies and Applications

Scope

The conference emphasizes theoretical, practical and experimental work and invites "research papers" but also "position papers" and "extended abstract" on methods and tools for all aspects of compiler technology and all language paradigms. Topics of interest include, but are not limited to:

•   compilation and interpretation techniques
•   program representation and analysis
•   code generation
•   code optimization
•   run-time techniques
•   memory management
•   dynamic and just-in-time compilation
•   virtual machines
•   programming tools
•   programming, refactoring and debugging environments
•   formal techniques for compilation and execution
•   design of novel language constructs and their implementation
•   programming language concepts and methodologies.

A selection of accepted papers will be invited for a special issue of the Journal of Computer Science and Information Systems. See the conference website for more details.

Important Dates

•   Submission deadline    June 5 14, 2009
•   Author notification    June 26 30, 2009
•   Final paper due        July 10, 2009
•   Conference             September 11-12, 2009

Submission Guidelines

The proceedings will be available at the conference. The submission must be written in English, submitted in pdf format and can be: up to 12 pages, for a research or position paper; or 4 pages, for an extended abstract. You are strongly encouraged to use the Springer LNCS style for proceedings, available at http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0 Paper submission will be handled by Easychair.  Please, submit using http://www.easychair.org/conferences/?conf=inforum2009

Invited talks

Simulation and animation of visual languages

Bastian Cramer, Universitaet Paderborn

Today, visual languages are often used in the software engineering process to specify a system on a high abstraction level. Generator frameworks are often used to generate environments for visual languages. Hence, it is possible to derive even challenging editors for VLs with modest effort and to use them in rapid development processes.
Indeed, today's software design process focuses on static visual languages. The simulation and animation of such a language could bridge the gap between program and program execution which must always be in the programmers mind.
This talk presents how we have extended our VL environment generator DEViL (Development Environment for Visual Languages) with simulation and animation support. Simulation is achieved through a domain analysis and  the reuse of existing specification concepts in DEViL. An animation is automatically derived from a simulation specification. This results in a formal mapping between simulation and animation.
Animation is then a (nearly) linear graphical interpolation which can be adapted by means of 'animation patterns' in a declarative way.

Bastian Cramer received his degree in Computer Science from the University of Paderborn, Germany in 2005. Then he joined the research group 'Programming Languages and Compilers' of Prof. Kastens at the same university. His research focus is the generation of software from specifications and especially the generation of environments for visual domain specific languages. He has several years of experience in language design in corporation with the automotive industry. Currently he is working on his PhD concerning simulation and animation of visual languages.

Program Committee

  Ademar Aguiar, Universidade do Porto
  Bastian Cramer, Universität Paderborn
  Boštjan Slivnik, University of Ljubljana
  Carlos Fonseca, Universidade do Algarve
  Ivan Lukovic, University of Novi Sad
  Joost Visser, Software Improvement Group (SIG)
  Jorge Sousa Pinto, Universidade do Minho
  João José Almeida, Universidade do Minho
  João Costa Seco, Universidade Nova de Lisboa
  João Saraiva, Universidade do Minho
  Luís Caires, Universidade Nova de Lisboa
  Maria João Varanda Pereira, Instituto Politécnico de Bragança
  Mário Florido, Universidade do Porto
  Marjan Mernik, University of Maribor
  Matej Črepinšek, University of Maribor
  Mirjana Ivanovic, University of Novi Sad
  Paulo Matos, Instituto Politécnico de Bragança
  Pedro Guerreiro, Universidade do Algarve
  Pedro Henriques, Universidade do Minho
  Rogério Dias Paulo, Efacec
  Salvador Abreu, Universidade de Évora
  Tomaz Kosar, University of Maribor
  Vasco Vasconcelos, Universidade de Lisboa
  Vitor Santos, Microsoft Portugal

Program Chair

  António Menezes Leitão, Universidade Técnica de Lisboa

Sponsors

  EFACEC Engenharia, S.A.