Navigation

apoios-header

 

FCT.png

 

cisuc.jpg

 

citi.jpg

 

ieeta.jpg

 

lasige.jpg

 

cctc-logo

 

 

acordodia.jpg

 

eurotux.jpg

 

feedzai.jpg

 

Núcleo de Estudantes de Informática

 

 

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.

  
Acções do Documento
« Outubro 2017 »
Outubro
Do
1
2345678
9101112131415
16171819202122
23242526272829
3031
 
Sections