Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
    Publicações

    Publicações por José Paiva Proença

    2008

    Reconfiguration of Reo Connectors Triggered by Dataflow

    Autores
    Koehler, C; Costa, D; Proença, J; Arbab, F;

    Publicação
    ECEASST

    Abstract

    2010

    Feature Petri Nets

    Autores
    Muschevici, R; Clarke, D; Proença, J;

    Publicação
    Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)

    Abstract

    2010

    Towards a Theory of Views for Feature Models

    Autores
    Clarke, D; Proença, J;

    Publicação
    Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)

    Abstract

    2006

    A framework for point-free program transformation

    Autores
    Cunha, A; Pinto, JS; Proenca, J;

    Publicação
    IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES

    Abstract
    The subject of this paper is functional program transformation in the so-called point-free style. By this we mean first translating programs to a form consisting only of categorically-inspired combinators, algebraic data types defined as fixed points of functors, and implicit recursion through the use of type-parameterized recursion patterns. This form is appropriate for reasoning about programs equationally, but difficult to actually use in practice for programming. In this paper we present a collection of libraries and tools developed at Minho with the aim of supporting the automatic conversion of programs to point-free (embedded in Haskell), their manipulation and rule-driven simplification, and the (limited) automatic application of fusion for program transformation.

    FecharLer Abstract

    2022

    Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings

    Autores
    Tapia Tarifa, SL; Proença, J;

    Publicação
    FACS

    Abstract

    2023

    Caos: A Reusable Scala Web Animator of Operational Semantics

    Autores
    Proença, J; Edixhoven, L;

    Publicação
    Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

    Abstract

    • 10
    • 12