An object-oriented interpretation of the EAT system

DOI10.1007/S00200-003-0129-1zbMATH Open1046.68140OpenAlexW2091253243MaRDI QIDQ1413645FDOQ1413645

Authors: Laureano Lambán, Vico Pascual, Julio Rubio 

Publication date: 17 November 2003

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00200-003-0129-1

Recommendations

• Object oriented institutions to specify symbolic computation systems
• scientific article; zbMATH DE number 2000439
• scientific article
• An approach to object semantics based on terminal co-algebras
• Formal Methods in Software and Systems Modeling

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (14)

• Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
• Title not available (Why is that?)
• A parameterization process: from a functorial point of view
• Proving with ACL2 the correctness of simplicial sets in the Kenzo system
• Mediated Access to Symbolic Computation Systems
• Formalization of a normalization theorem in simplicial topology
• Diagrammatic logic applied to a parameterisation process
• Object oriented institutions to specify symbolic computation systems
• Effective homology of bicomplexes, formalized in Coq
• Generating certified code from formal proofs: a case study in homological algebra
• A case-study in algebraic manipulation using mechanized reasoning tools
• Modelling algebraic structures and morphisms in ACL2
• ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
• Computing with locally effective matrices

Uses Software

• AXIOM
• LISP
• EAT

This page was built for publication: An object-oriented interpretation of the EAT system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1413645)