The design and specification of the ASSPEGIQUE database

  title={The design and specification of the ASSPEGIQUE database},
  author={M. Bidoit and Francis Capy and C. Choppy},
  • M. Bidoit, Francis Capy, C. Choppy
  • Published in DISCO 1990
  • Computer Science
  • Among the design issues for symbolic computation systems, a non trivial one is the design of the database where informations (specifications, proofs, test sets, program modules, etc.) that are necessary to use the various tools available are stored. In this paper we address the design of a database for an algebraic specification environment, and provide an algebraic specification for this database management. One of the issues in this design is to distinguish between “static” aspects, i.e. the… CONTINUE READING
    2 Citations
    Integrating ASSPEGIQUE and LP
    • 5
    An Object-Oriented Design for the ACT ONE Environment
    • 2


    Fundamentals of Algebraic Specification 1
    • H. Ehrig, B. Mahr
    • Computer Science
    • EATCS Monographs on Theoretical Computer Science
    • 1985
    • 888
    Principles of OBJ2
    • 560
    Putting Theories Together to Make Specifications
    • 516
    • PDF
    Report on the Larch Shared Language
    • 99
    Algebraic Methods for Program Construction: The Project CIP
    • 51
    Handling Function Definitions through Innermost Superposition and Rewriting
    • 18
    A Compiler for Conditional Term Rewriting Systems
    • 64
    • PDF