Parametrized conditional log-specifications: proof theory and correctness
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/190890
Tipus de documentReport de recerca
Data publicació1989
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
Conditional LOG-specifications extend standard conditional specifications in that the booleans are considered to be built-in. Formally, there is an initial constraint on booleans in every specification. It is shown that this allows to handle situations that could not be dealt within the standard approach. Moreover, it is shown that the usual techniques and results, including proof-theoretical characterizations, for usual parameterized specifications translate without problems to LOG-specifications, though the proofs are often quite different. To end, it must be said that in a previous paper it was proved that contextual rewriting provides a complete proof method for conditional LOG-specifications assuring the applicability of the approach.
CitacióNavarro, M.; Orejas, F. "Parametrized conditional log-specifications: proof theory and correctness". 1989.
Forma partLSI-89-9
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400008483.pdf | 1,056Mb | Visualitza/Obre |