- -

Inspecting rewriting logic computations (in a parametric and stepwise way)

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

Compartir/Enviar a

Citas

Estadísticas

Inspecting rewriting logic computations (in a parametric and stepwise way)

Mostrar el registro completo del ítem

Alpuente Frasnedo, M.; Ballis, D.; Frechina, F.; Sapiña Sanchis, J. (2014). Inspecting rewriting logic computations (in a parametric and stepwise way). En Specification, algebra, and software: essays dedicated to Kokichi Futatsugi. Springer Verlag (Germany). 229-255. doi:10.1007/978-3-642-54624-2_12.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/47179

Ficheros en el ítem

Metadatos del ítem

Título: Inspecting rewriting logic computations (in a parametric and stepwise way)
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Departamento de Informática de Sistemas y Computadores - Departament d'Informàtica de Sistemes i Computadors
Fecha difusión:
Resumen:
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 ...[+]
Derechos de uso: Reserva de todos los derechos
ISBN: 978-3-642-54623-5
Fuente:
Specification, algebra, and software: essays dedicated to Kokichi Futatsugi. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-54624-2_12
Editorial:
Springer Verlag (Germany)
Versión del editor: http://link.springer.com/chapter/10.1007%2F978-3-642-54624-2_12
Serie: Lecture Notes in Computer Science;8373
Código del Proyecto: info:eu-repo/grantAgreement/EC/FP7/246016
Descripción: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-54624-2_12
Patrocinador:
EU (FEDER)
Spanish MEC [TIN2010-21062-C02-02]
Spanish MICINN complementary action [TIN2009-07495-E]
Generalitat Valenciana [PROMETEO2011/052]
European Union Seventh Framework Programme (FP7/2007-2013) [246016]
FPU-ME [AP2010-5681]
Tipo: Capítulo de libro

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem