Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. Arsac — Un langage de programmation sans branchements (RAIRO, B2, Juin 1972).
T.E. Cheatham — J.A. Fischer and P.Jorrand — On the basis for ELF, an extensible language facility (FJCC, December 1968).
C.Daquin, C.Girault — SIMAC, simulateur conversationnel d'automates (RAIRO, B3, Septemore 1972).
C.Daquin, C.Girault — SIMAC, an extensible system for abstract machines (n o I.P. 73.17, novembre 1973).
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).
J.B. Dennis — First version of a data flow procedure language (Colloque sur la programmation, Paris Avril 1974).
C.A.R. Hoare — An operating system structuring concept (CACM. october 1974).
D.E. Knuth — Examples of formal semantics (Symposium on semantics of algorithmic languages edited by Erwin Engeler, University of Minnesota, Springer lecture notes, 1971).
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).
D.C.Luckam, D.Park, M.S.Paterson — Formalized computer programs (J.C.S.S. June 1970).
J.Neuhold — The Formal Description of Programming Languages (IBM Systems Journal, 1971, vol. 10, n o 2).
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Daquin, C., Girault, C. (1975). The construction of types of abstract machines in SIMAC. In: Mülbacher, J. (eds) GI — 5. Jahrestagung. GI 1975. Lecture Notes in Computer Science, vol 34. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07410-4_631
Download citation
DOI: https://doi.org/10.1007/3-540-07410-4_631
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07410-6
Online ISBN: 978-3-540-37929-4
eBook Packages: Springer Book Archive