- -

Listar por palabra clave "Program transformation"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Program transformation"

Ordenar por:Orden:Resultados:

  • thumb
    Automatic transformation of iterative loops into recursive methods 
    Insa Cabrera, David; Silva, Josep (Elsevier, 2015-02)
    [EN] Context In software engineering, taking a good election between recursion and iteration is essential because their efficiency and maintenance are different. In fact, developers often need to transform iteration ...
  • thumb
    Conversion to Tail Recursion in Term Rewriting 
    Nishida, Naoki; Vidal Oriola, Germán Francisco (Elsevier, 2014-01)
    Tail recursive functions are a special kind of recursive functions where the last action in their body is the recursive call. Tail recursion is important for a number of reasons (e.g., they are usually more efficient). ...
  • thumb
    Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME system 
    Alpuente Frasnedo, María; Ballis, D.; Sapiña-Sanchis, Julia (Springer, 2020-09)
    [EN] Program specialization is mainly recognized as a powerful technique for optimizing software systems. Nonetheless, it can also be productively employed in other application areas. This paper presents an assertion-guided ...
  • thumb
    On Unfolding Completeness for Rewriting Logic Theories 
    Alpuente Frasnedo, María; Baggi, Michele; Ballis, Demis; Falaschi, Moreno (Universitat Politècnica de València, 2010-10-04)
    Many transformation systems for program optimization, program synthesis, and program specialization are based on fold/unfold transformations. In this paper, we investigate the semantic properties of a narrowing-based ...
  • thumb
    Reversible computation in term rewriting 
    Nishida, Naoki; Palacios, Adrián; Vidal, Germán (Elsevier, 2018)
    [EN] Essentially, in a reversible programming language, for each forward computation from state S to state S', there exists a constructive method to go backwards from state S' to state S. Besides its theoretical interest, ...
  • thumb
    Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems 
    Baggi ., Michele (Universitat Politècnica de València, 2010-11-29)
    Desde los orígenes del hardware y el software hasta la época actual, la complejidad de los sistemas de cálculo ha supuesto un problema al cual informáticos, ingenieros y programadores han tenido que enfrentarse. Como ...
  • thumb
    Rule-Based Software Verification and Correction 
    Ballis, Demis (Universitat Politècnica de València, 2008-05-07)
    The increasing complexity of software systems has led to the development of sophisticated formal Methodologies for verifying and correcting data and programs. In general, establishing whether a program behaves correctly ...
  • thumb
    Safety enforcement via programmable strategies in Maude 
    Galán Pascual, Daniel (Universitat Politècnica de València, 2022-09-20)
    [ES] El objetivo de este trabajo es formalizar un mecanismo general para garantizar la seguridad de las computaciones en lógica de reescritura. La técnica propuesta consiste en una transformación de programas que garantiza ...
  • thumb
    Static Correction of Maude Programs with Assertions 
    Alpuente Frasnedo, María; Ballis, D.; Sapiña Sanchis, Julia (Universitat Politècnica de València, 2018-04-12)
    In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification A of the program behavior that ...
  • thumb
    Static correction of Maude programs with assertions 
    Alpuente Frasnedo, María; Ballis, D.; Sapiña-Sanchis, Julia (Elsevier, 2019-07)
    [Otros] In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification of the program behavior ...