The construction of types of abstract machines in SIMAC

  • C. Daquin
  • C. Girault
Grundlagen Der Programmierung
Part of the Lecture Notes in Computer Science book series (LNCS, volume 34)


In this paper, we have shown how, starting from very elementary tools, one could construct a powerful type of abstract machine with its own language. Machines of this type are pratical enough to construct the remainder of SIMAC.

Through our approach, a machine can be looked upon as a network of other machines (its computing operators) synchronized by the processor and the controlling operator. Of course, this machine can, in turn, be used for further extensions.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J. Arsac — Un langage de programmation sans branchements (RAIRO, B2, Juin 1972).Google Scholar
  2. [2]
    T.E. Cheatham — J.A. Fischer and P.Jorrand — On the basis for ELF, an extensible language facility (FJCC, December 1968).Google Scholar
  3. [3]
    C.Daquin, C.Girault — SIMAC, simulateur conversationnel d'automates (RAIRO, B3, Septemore 1972).Google Scholar
  4. [4]
    C.Daquin, C.Girault — SIMAC, an extensible system for abstract machines (n o I.P. 73.17, novembre 1973).Google Scholar
  5. [5]
    C.Daquin — SIMAC, un système extensible de mise en oeuvre de machines abstraites (thèse de troisième cycle, n o IP, 74–5, Mai 1974).Google Scholar
  6. [6]
    J.B. Dennis — First version of a data flow procedure language (Colloque sur la programmation, Paris Avril 1974).Google Scholar
  7. [7]
    C.A.R. Hoare — An operating system structuring concept (CACM. october 1974).Google Scholar
  8. [8]
    D.E. Knuth — Examples of formal semantics (Symposium on semantics of algorithmic languages edited by Erwin Engeler, University of Minnesota, Springer lecture notes, 1971).Google Scholar
  9. [9]
    B. Liskov, S. Zilles — Programming with abstract data types. (Proceedings of a symposium on very high level languages March 1974. SIGPLAN NOTICES, Volume 9, number 4, April 1974).Google Scholar
  10. [10]
    D.C.Luckam, D.Park, M.S.Paterson — Formalized computer programs (J.C.S.S. June 1970).Google Scholar
  11. [11]
    J.Neuhold — The Formal Description of Programming Languages (IBM Systems Journal, 1971, vol. 10, n o 2).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • C. Daquin
  • C. Girault

There are no affiliations available

Personalised recommendations