Object oriented institutions to specify symbolic computation systems

DOI10.1051/ita:2007015zbMath1146.68481OpenAlexW2107791334MaRDI QIDQ5441547

Laureano Lambán, César Domínguez, Julio Jesús Rubio García

Publication date: 15 February 2008

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=ITA_2007__41_2_191_0

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (9)

A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW ⋮ Formalization of a normalization theorem in simplicial topology ⋮ Effective homology of bicomplexes, formalized in Coq ⋮ Generating certified code from formal proofs: a case study in homological algebra ⋮ Diagrammatic logic applied to a parameterisation process ⋮ A case-study in algebraic manipulation using mechanized reasoning tools ⋮ ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System ⋮ Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems ⋮ Mediated Access to Symbolic Computation Systems

Uses Software

• Kenzo
• EAT

Cites Work

• Institution morphisms
• An object-oriented interpretation of the EAT system
• A hidden agenda
• Universal coalgebra: A theory of systems
• A coalgebraic equational approach to specifying observational structures
• On institutions for modular coalgebraic specifications.
• Constructive algebraic topology
• A hidden Herbrand theorem: Combining the object and logic paradigms
• Observational logic, constructor-based logic, and their duality.
• Constructor-based observational logic
• Modeling inheritance as coercion in a symbolic computation system
• Institutions: abstract model theory for specification and programming
• Diagrammatic specifications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Object oriented institutions to specify symbolic computation systems