Pedro Crispim

University of Lisbon, Lisbon, Lisbon, Portugal

Are you Pedro Crispim?

Claim your profile

Publications (2)0 Total impact

  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Even though generics became quite popular in mainstream object-oriented (OO) languages, approaches for checking at runtime the conformance of such programs against formal specifications still lack appropriate support. In order to overcome this limitation within ConGu, a tool-based approach we have been developing to support runtime conformance checking of Java programs against algebraic specifications, we recently proposed a notion of refinement mapping that allows to define correspondences between parametric specifications and generic classes. Based on such mappings, we also put forward a notion of conformance between the two concepts. In this paper we present how the new notion of conformance is supported by version 2 of the ConGu tool.
    03/2011: pages 33-48;
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Resumo Dado que os genéricos se tornaram muito populares nas linguagens de programação OO, o facto de um método formal não suportar genéricos limita ex-traordinariamente a sua utilidade e eficácia. De forma a ultrapassar este problema no CONGU, uma abordagem à monitorização da correcção de programas Java face a especificações algébricas, propusemos recentemente uma noção de mapa de refinamento que permite definir uma correspondência entre especificações pa-ramétricas e classes genéricas. Baseados nestes mapas, definimos uma noção de correcção de programas face a especificações. Neste artigo, propomos uma forma de monitorizar, em tempo de execução, esta noção de correcção e apresentamos a solução de desenho que suporta este processo na versão 2 da ferramenta CONGU.