- -

Order-Sorted Equality Enrichments Modulo Axioms

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

Compartir/Enviar a

Citas

Estadísticas

Order-Sorted Equality Enrichments Modulo Axioms

Mostrar el registro completo del ítem

Gutiérrez Gil, R.; Meseguer, J.; Rocha, C. (2015). Order-Sorted Equality Enrichments Modulo Axioms. Science of Computer Programming. 99:235-261. doi:10.1016/j.scico.2014.07.003.

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

Ficheros en el ítem

Metadatos del ítem

Título: Order-Sorted Equality Enrichments Modulo Axioms
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications ...[+]
Palabras clave: Equality predicate , Order-sorted equational logic modulo , Axioms , Algebraic specifications , Initial algebra semantics , Maude
Derechos de uso: Reserva de todos los derechos
Fuente:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2014.07.003
Editorial:
Elsevier
Versión del editor: http://dx.doi.org/10.1016/j.scico.2014.07.003
Patrocinador:
NSF CCF 09-05584
NSF CNS 13-19109
EU (FEDER)
Spanish MINECO TIN 2010-21062-C02
Spanish MINECO TIN 2013-45732-C4-1-P
Generalitat Valenciana PROMETEO/2011/052
Juan de la Cierva Fellowship from the Spanish MINECO JCI-2012-13528
Tipo: Artículo

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

Mostrar el registro completo del ítem