Corpus ID: 30860659

CASSANDRE and the Computer Aided Logical Systems Design

  title={CASSANDRE and the Computer Aided Logical Systems Design},
  author={G. Bogo and Alain Guyot and A. Lux and J. Mermet and C. Payan},
  booktitle={IFIP Congress},
  • G. Bogo, Alain Guyot, +2 authors C. Payan
  • Published in IFIP Congress 1971
  • Computer Science
  • CASSANDRE represents both a language for Computer Aid design. Simulation of logical Systems, their Analysis, Description and Realisation as well as a programming system designed for conversational processing and elaboration of a machine described in this language. This paper is mainly devoted to the definition of the language and the description of some applications. 

    Topics from this paper.


    Publications citing this paper.