Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories

Sufficient completeness has been throughly studied for equational specifications, where function symbols are classified into constructors and defined symbols. But what should sufficient completeness mean for a rewrite theory R=(Σ,E,R) with equations E and non-equational rules R describing concurrent...

Full description

Autores:

Rocha, Camilo
Meseguer, José

Tipo de recurso:

Part of book

Fecha de publicación:

2010

Institución:

Escuela Colombiana de Ingeniería Julio Garavito

Repositorio:

Repositorio Institucional ECI

Idioma:

eng

OAI Identifier:

oai:repositorio.escuelaing.edu.co:001/1901

Acceso en línea:

https://repositorio.escuelaing.edu.co/handle/001/1901

Palabra clave:

Término de tierra
árbol autómata
Lógica Ecuacional
Tipo de datos abstractos
Reescribir la teoría
Ground Term
Tree Automaton
Equational Logic
Abstract Data Type
Rewrite Theory

Rights

closedAccess

License

© Springer-Verlag Berlin Heidelberg 2010