RiuNet repositorio UPV
:
Investigación
:
Informes técnicos y otro material de investigación
:
Departamento Sistemas Informáticos y Computación (DSIC)
:
Informes técnicos de investigación DSIC-ELP
:
Enviados recientemente

Buscar en RiuNet

Listar

Todo RiuNet
Esta colección

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Informes técnicos de investigación DSIC-ELP: Enviados recientemente

Mostrando ítems 6-10 de 15

Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting

Gutiérrez Gil, Raúl; Lucas Alba, Salvador (Universitat Politècnica de València, 2015-05-26)

Context-sensitive rewriting (CSR) is a variant of rewriting where only selected arguments of function symbols can be rewritten. Consequently, the subterm positions of a term are classified as either active, i.e., positions ...
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (extended version)

Alpuente, María; Escobar, Santiago; Espert, Javier; Meseguer, José (Universitat Politècnica de València, 2014-07-16)

Computing generalizers is relevant in a wide spectrum of automated reasoning areas where analogical reasoning and inductive inference are needed. The ACUOS system computes a complete and minimal set of semantic generalizers ...
Abstract Diagnosis for tccp using a Linear Temporal Logic

Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2014-02-15)

Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which rep- resents the behavior ...
A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2013)

In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short) which is defined for the full language. In particular, is able to deal with the non- monotonic ...
A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2013-04-13)

In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short). Such semantics is defined for the full language. In particular, is able to deal with the ...