Compiladores e Linguagens de Programação

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

Motivação e Objectivos

O CoRTA é uma conferência de organização nacional dedicado ao desenho, processamento e aplicação de linguagens de programação.

As linguagens de programação são um dos elementos fundamentais de toda a Informática e, no panorama nacional, o CoRTA é a conferência que promove a discussão sobre paradigmas e linguagens de programação, sua concepção, especificação, processamento e avaliação. O CoRTA pretende proporcionar, tanto a nível académico como empresarial, um fórum privilegiado onde profissionais, investigadores, docentes e estudantes discutem estes temas apresentando trabalhos teóricos, práticos e experimentais. Neste sentido, o CoRTA surge como um local ideal para os mais jovens apresentarem e verem criticado o seu trabalho nestas áreas de investigação, indo ao encontro de um dos pressupostos do INForum.

Tópicos

Desenho e especificação de linguagens de domínio específico
Paradigmas, conceitos e metodologias em linguagens de programação
Avaliação de linguagens e métricas gramaticais
Técnicas de compilação e interpretação
Compilação dinâmica e ``just-in-time''
Geração e optimização de código
Técnicas de ``runtime'' e de gestão de memória
Máquinas virtuais
Representação e visualização de programas
Análise e transformação de programas
Ambientes de programação, depuração e refactorização
Ambientes de execução segura, paralela e/ou distribuída

Comissão de Programa

Alberto Simões, Inst. Politécnico do Porto (PT)
António Menezes Leitão, Inst. Superior Técnico (PT)
Bastian Cramer, Univ. Paderborn (DE)
Bostjan Slivnik, Univ. Ljubljana (SI)
Casiano Rodríguez León, Univ. La Laguna (ES)
Daniel Diaz, Univ. de Paris I (FR)
Daniela da Cruz, Univ. do Minho (PT)
Giovani Librelotto, Univ. Federal de Santa Maria (BR)
Ivan Lukovic, Univ. Novi Sad (RS)
Jean-Cristophe Filliâtre, (LRI) Univ. Paris Sud 11 (FR)
João Costa Seco, Univ. Nova de Lisboa (PT)
João M.P. Cardoso, FEUP (PT)
José Alegria, Portugal Telecom (PT)
Maria João Varanda Pereira, Inst. Politécnico de Bragança (PT)
Mario Berón, Univ. San Luis (AR)
Marjan Mernik, Univ. Maribor (SI)
Nuno Rodrigues, Inst. Politécnico do Cavado e Ave (PT)
Pedro Rangel Henriques, Univ. do Minho (PT)
Rogério Dias Paulo, Efacec (PT)
Rogério Reis, FCUP (PT)
Salvador Abreu, Univ. de Évora (PT) - Chair
Simão Melo de Sousa, Univ. da Beira Interior (PT)
Xavier Gómez Guinovart, Univ. Vigo (ES)

Informação Adicional

Os proceedings serao publicados no CoRR, estando a ser considerada uma edição em revista de versões estendidas dos melhores artigos.