URI permanente para esta colección:

Artículos en la categoría Languages publicados en las Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017).
Notificar un error en esta colección


Envíos recientes

Mostrando 1 - 2 de 2
  • Resumen
    Built-in Variant Generation and Unification, and Their Applications in Maude 2.7
    Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn. Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017), 2017-07-19.
    This paper introduces some novel features of Maude 2.7. We have added support for: (i) built-in order-sorted unification modulo associativity, commutativity, and identity, (ii) built-in variant generation, (iii) built-in order-sorted unification modulo a finite variant theory, and (iv) symbolic reachability modulo a finite variant theory.
  • Resumen
    A Simulation Tool for tccp Programs
    Gallardo, María del Mar; Lavado, Leticia; Panizo, Laura. Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017), 2017-07-19.
    The Timed Concurrent Constraint Language tccp is a declarative synchronous concurrent language, particularly suitable for modelling reactive systems. In tccp, agents communicate and synchronise through a global constraint store. It supports a notion of discrete time that allows all non-blocked agents to proceed with their execution simultaneously. In this paper, we present a modular architecture for the simulation of tccp programs. The tool comprises three main components. First, a set of basic abstract instructions able to model the tccp agent behaviour, the memory model needed to manage the active agents and the state of the store during the execution. Second, the agent interpreter that executes the instructions of the current agent iteratively and calculates the new agents to be executed at the next time instant. Finally, the constraint solver components which are the modules that deal with constraints. In this paper, we describe the implementation of these components and present an example of a real system modelled in tccp.