Trace inspection is concerned with techniques that allow the
trace content to be searched for specific components. This paper presents
a rich and highly dynamic, parameterized technique for the trace inspection
of ...
Feliú Gabaldón, Marco Antonio(Universitat Politècnica de València, 2013-11-19)
La Tesis investiga técnicas ágiles dentro del paradigma declarativo para dar solución a dos problemas: el análisis de programas y la inferencia de especificaciones a partir de programas escritos en lenguajes multiparadigma ...
Romero ., Daniel Omar(Universitat Politècnica de València, 2011-11-14)
En este trabajo se presenta una metodología de verificación y reparación de sitios web que permite: especificar los requerimientos del usuario, detectar con precisión las partes que no satisfacen la especificación y aplicar ...
Alpuente Frasnedo, María; Ballis, Demis; Escobar Román, Santiago; Sapiña Sanchis, Julia(Universitat Politècnica de València, 2020-06-08)
Partial evaluation has been never investigated in the context of rewrite theories that allow concurrent systems to be specified by means of rules, with an underlying equational theory being used to model system states as ...
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 ...
[EN] In this paper, we develop an automated optimization framework for rewrite theories that supports sorts, subsort overloading, equations and algebraic axioms with free/nonfree constructors, and rewrite rules modeling ...
[EN] Generalization, also called anti-unification, is the dual of unification. A generalizer of two terms t and t' is a term t '' of which t and t' are substitution instances. The dual of most general equational unifiers ...
[EN] The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeomorphic embedding has never been ...
Cuenca Ortega, Ángel Eduardo(Universitat Politècnica de València, 2019-11-04)
[ES] La evaluación parcial de programas es una técnica general y potente de optimización de programas
que preserva su semántica y tiene muchas aplicaciones relevantes. La optimización se
consigue al especializar programas ...
Moreno Valverde, Ginés Damián(Universitat Politècnica de València, 2009-05-20)
El problema de la integración d ela programación lógica y funcional estaá considerado como uno de los más importantes en el área de investigación sobre programación declarativa. Para que los lenguajes declarativos sean ...
Sapiña Sanchis, Julia(Universitat Politècnica de València, 2018-01-08)
Esta tesis propone una metodología de análisis dinámico que mejora el diagnóstico de programas erróneos escritos en el lenguaje Maude. La idea clave es combinar técnicas de verificación de aserciones en tiempo de ejecución ...
[EN] Keeping XML data in a consistent state w.r.t. both structure and content is a burdensome
task. To maintain the consistency of ever-larger, complex XML repositories,
suitable mechanisms that are able to x every ...
Romero ., Daniel Omar(Universitat Politècnica de València, 2011-11-02)
The increasing complexity of Web system has led to the development of sophisticated formal methodologies for verifying and correcting Web data and Web programs.
In general, establishing whether a Web system behaves ...
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 ...
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 ...
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 ...
Monleón Durá, Alicia(Universitat Politècnica de València, 2020-10-23)
[ES] El crecimiento del uso de la tecnología blockchain está siendo exponencial gracias a las ventajas que aporta. Sin embargo, el más mínimo error en un contrato inteligente puede propiciar la pérdida de dinero, bienes, ...
Sapiña Sanchis, Julia(Universitat Politècnica de València, 2014-11-28)
[EN] Execution traces are an important source of information for program understanding and debugging. However, they have as an important drawback that they are commonly huge and complex, making their manual analysis ...
Frechina Navarro, Francisco(Universitat Politècnica de València, 2012-05-14)
The pervasiveness of computing on the Internet has led to an explosive growth of
Web applications that, together with their ever-increasing complexity, have turned
their design and development in a major challenge.
Un ...