A translator from small euclid to pascal

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A translator from small euclid to pascal

Full text

Pdf (1.10 MB)

Source

ACM SIGPLAN Notices archive
Volume 24 , Issue 5 (May 1989) table of contents

Pages: 93 - 101

Year of Publication: 1989

ISSN:0362-1340

Authors

P. E. Pintelas	Computer Technology Institue, P. O. Box 1122, Patras, Greece
K. P. Ventouris	University of Patras, Department of Computer Engineering, Patras, Greece
M. D. Papassimakopoulou	E.G.L. Western Greece Paper Mills S.A., Patras, Greece

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 8, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/66068.66078 What is a DOI?

ABSTRACT

This paper describes the design and implementation of a translator from Small Euclid, an extended subset of the system programming language Euclid, to Pascal. The translator is built with the help of the tools LEX and YACC and consists of three different passes each of which performs some transformations to the input program. During the translation of an input program no intermediate code is generated but the translation to Pascal is direct. The translator performs lexical and syntactic checks and a restricted number of semantic checks before producing an equivalent program in Pascal. The differences between Small Euclid and Pascal are identified and translation proposals are discussed while details of the translator's internal structures and its perfonance are given.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	B. W. Lampson , J. J. Horning , R. L. London , J. G. Mitchell , G. J. Popek, Report on the programming language Euclid, ACM SIGPLAN Notices, v.12 n.2, p.1-79, February 1977 [doi>10.1145/954666.971189]
	2	2. London R., Guttag J., Homing J., Lampson B. and Popek G. Proof Rules for the Programming Language EUCLID. Acta Informatica, Vol. 10, (1978), pp. 1-26.
	3	Kathleen Jensen , Niklaus Wirth , P. Brinch Hansen , D. Gries , C. Moler , G. Seegmüller , N. Wirth , G. Goos , J. Hartmanis, PASCAL user manual and report, Springer-Verlag New York, Inc., New York, NY, 1974
	4	4. Holt R.C., Cordy. J.R. and Wortman D. S/SL: Syntax/Semantic Language, Introduction and Specification, Tech. Rep. CSRG-118, Computer Systems Research Group, University of Toronto, Sep. 1980.
	5	5. Holt R.C. Small Euclid, Euclid Project Working Paper 6, Nov. 1977.
	6	6. Holt R.C. The Syntax of Small Euclid and Small C, Euclid Project Working Paper 7, Nov. 1977.
	7	7. Cordy J.R. and Holt R.C. Set Operations in Small Euclid, Project Euclid Working Paper 33, Mar. 1978.
	8	Brian W. Kernighan , Dennis M. Ritchie, The C programming language, Prentice Hall Press, Upper Saddle River, NJ, 1989
	9	9. Lesk M.E. and Schmidt E. LEX-A Lexical Analyzer Generator, Tech. Rep. CSTR-39, Bell Laboratories, Murray Hill, N.J., 1975.
	10	10. Johnson S.C. YACC-Yet Another Compiler, Tech. Rep. CSTR-32, Bell Laboratories, Murray Hill, N.J., 1975.
	11	Brian W. Kernighan , Rob Pike, The UNIX Programming Environment, Prentice Hall Professional Technical Reference, 1984
	12	12. Wortman D.B., Holt R.C., Cordy J.R., Crowe D.R. and Griggs I.H. Euclid: A Language for Compiling Quality Software, in Proceedings of the National Computer Conference 1981, pp. 257-263.
	13	13. Pintelas P.E., Ventouris K.P. and Papassimakopoulou M.D. An Automatic Translator from Small Euclid to Pascal, Tech. Rep. 87.05.05, Computer Technology Institute, Patras, Greece, 1987.