Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
    Publications

    Publications by José Paiva Proença

    2008

    Reconfiguration of Reo Connectors Triggered by Dataflow

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

    Publication
    ECEASST

    Abstract

    2010

    Feature Petri Nets

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

    Publication
    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

    Authors
    Clarke, D; Proença, J;

    Publication
    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

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

    Publication
    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.

    CloseRead Abstract

    2022

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

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

    Publication
    FACS

    Abstract

    2023

    Caos: A Reusable Scala Web Animator of Operational Semantics

    Authors
    Proença, J; Edixhoven, L;

    Publication
    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