Specification and implementation

URI permanente para esta colección:

Artículos en la categoría Specification and implementation publicados en las Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021).
Notificar un error en esta colección

Examinar

Envíos recientes

Mostrando 1 - 3 de 3
  • Artículo
    First steps towards a specification of Blockchain systems using Maude
    Durán, Francisco; Moreno-Delgado, Antonio. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021-09-22.
    This work presents a formal specification of the blockchain algorithm. We specify the consensus algorithm in rewriting logic and Maude. The fact that the specification is executable allows us to simulate and analyze it, with the goal of identifying potential weaknesses and testing new algorithms built on top of the existing infrastructure.
  • Resumen
    Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
    Arias, Joaquín; Carro, Manuel. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021-09-22.
    Conferencia: 35th International Conference on Logic Programming. Publicado en revista: Theory and Practice of Logic Programming. Fecha de publicación: September 2019.
  • Artículo
    Towards a Maude-based implementation of MultEcore multilevel modelling languages
    Durán, Francisco; Rodríguez, Alejandro. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021-09-22.
    MultEcore is a language and tool for the definition of domain-specific modelling languages following the multilevel modelling approach. This work presents some challenges towards the rewriting logic semantics of multilevel model hierarchies and multilevel coupled model transformations used to specify such languages. Although we briefly describe the specification of hierarchies and transformations, we will focus on the latest additions to the language, which allow the instantiation of the multilevel models with a language of choice, e.g., OCL or SML, for the specification and manipulation of values of objects’ attributes, and the use of nested and cross-level boxes for the specification of patterns in the rules. The executable specification can then be used for the simulation/execution of MultEcore models and their analysis using Maude formal tools.