Program Comprehension for Domain-Specific Languages

Maria João Varanda Pereira, Marjan Mernik, Daniela da Cruz and Pedro Rangel Henriques

From Lisp S-Expressions to Java Source Code

António Menezes Leitão

Representing and Querying Multiple Ontologies with Contextual Logic Programming

Nuno Lopes, Cláudio Fernandes and Salvador Abreu

ComponentJ: A Component-Based Programming Language with Dynamic Reconfiguration

João Costa Seco, Ricardo Silva and Margarida Piriquito

Integration of the ST Language in a Model-Based Engineering Environment for Control Systems – An Approach for Compiler Implementation

Elisabete Ferreira, Rogério Paulo, Daniela da Cruz and Pedro Henriques

Developing Libraries Using Software Transactional Memory

Ricardo Dias, João Lourenço and Gonçalo Cunha

ALMA versus DDD

Daniela da Cruz, Pedro Rangel Henriques and Maria João Varanda Pereira

KAT and PHL in Coq

David Pereira and Nelma Moreira