Especificación orientada a objetos de sistemas de cálculo simbólico

This work deals with the specification of symbolic computation systems in Algebraic Topology. In particular, two systems called EAT and Kenzo are studied. These programs obtain homology and homotopy groups of complex topological spaces, such as iterated loop spaces. These systems have provided groups that had never been obtained before by any other theoretical or mechanical method. From a computational point of view, these systems present the characteristic of having to build, at runtime, complex data structures that represent algebraic structures of infinite nature. This peculiarity makes their formal analysis particularly interesting. This memoir is aimed at specifying these systems with three different approaches. The first approach involves redefining an operation among specifications, which was the basic notion of some previous works on the modelization of EAT data structures, using the institution's language (the notion of institution tries to formalize the concept of specification framework). Here, this operation is represented by a commutative diagram of institution morphisms, which allows to describe the operation in different specification frameworks like equational algebraic specification and some object-oriented formalisms, namely hidden specifications and the coalgebraic view. The second approach tries to extend the modelization to bigger fragments of EAT. In particular, operators representing functors among categories are specified. The last approach involves beginning the analysis of Kenzo data structures. To implement this system, in contrast to its predecessor EAT, object-oriented programming has been used, and therefore it has been necessary deal with techniques such as inheritance and polymorphism (at this point, the notion of coercion plays a key role). The results obtained show that the data structures -and the relations among them- used in these systems form final objects in suitable categories of models. These results prove the "universal" nature of the codification chosen in the programs for these data structures and operations.

Grantor dc:publisher

Universidad de La Rioja (España)

Year dc:date

2003

Author dc:creator

• Domínguez, César

Contributors dc:contributor

• Lambán Pardo, Laureano (Universidad de La Rioja)
• Rubio García, Julio (Universidad de La Rioja)

Statement dc:rights

• LICENCIA DE USO: Los documentos a texto completo incluidos en Dialnet son de acceso libre y propiedad de sus autores y/o editores. Por tanto, cualquier acto de reproducción, distribución, comunicación pública y/o transformación total o parcial requiere el consentimiento expreso y escrito de aquéllos. Cualquier enlace al texto completo de estos documentos deberá hacerse a través de la URL oficial de éstos en Dialnet. Más información: https://dialnet.unirioja.es/info/derechosOAI | INTELLECTUAL PROPERTY RIGHTS STATEMENT: Full text documents hosted by Dialnet are protected by copyright and/or related rights. This digital object is accessible without charge, but its use is subject to the licensing conditions set by its authors or editors. Unless expressly stated otherwise in the licensing conditions, you are free to linking, browsing, printing and making a copy for your own personal purposes. All other acts of reproduction and communication to the public are subject to the licensing conditions expressed by editors and authors and require consent from them. Any link to this document should be made using its official URL in Dialnet. More info: https://dialnet.unirioja.es/info/derechosOAI

Language dc:language

spa

Identifier

(Tesis) ISBN 84-688-2365-1

OAI identifier oai:identifier

oai:dialnet.unirioja.es:TES0000000011