Advanced search
Publication Cover
International Journal of Computer Mathematics Volume 3, 1972 - Issue 1-4
Submit an article Journal homepage
33
Views
8
CrossRef citations to date
0
Altmetric
Original Articles

A model for the formal definition of programming languages

Karel Čulík II Faculty of Mathematics, Department of Applied Analysis and Computer Science, University of Waterloo, Waterloo, Ontario, Canada
Pages 315-345 | Published online: 21 Dec 2010

Citations (8)

Keep up to date with the latest research on this topic with citation updates for this article.

Subscribe to citation updates

Read on this site (4)

Carolina Paciencia Salas McCluskey. (1988) A linked forest manipulation system semantics rules for an attributed translation grammar for PL/0. International Journal of Computer Mathematics 24:1, pages 1-28.
Read now
Carolina paciencia salas Mc Cluskey. (1988) A linked forest manipulation system syntax rules for an attributed translation grammar for PL/0. International Journal of Computer Mathematics 23:3-4, pages 201-235.
Read now
Carolina Paciencia Salas McClyskey. (1987) An attributed translation grammar for PL/0. International Journal of Computer Mathematics 21:3-4, pages 205-227.
Read now
Mansour Farah. (1980) Correctness of a lucid interpreter based on linked forest manipulation systems. International Journal of Computer Mathematics 8:1, pages 3-26.
Read now

Articles from other publishers (4)

. (2011) Publications of K. Culik. RAIRO - Theoretical Informatics and Applications 28:3-4, pages 425-430.
Crossref
A. Maggiolo-Schettini, M. Napoli & G. Tortora. (1988) Web structures: a tool for representing and manipulating programs. IEEE Transactions on Software Engineering 14:11, pages 1621-1639.
Crossref
Karel CulikIIII & Mansour Farah. 1981. Advances in Information Systems Science. Advances in Information Systems Science 75 118 .
Manfred Nagl. 1979. Graph-Grammars and Their Application to Computer Science and Biology. Graph-Grammars and Their Application to Computer Science and Biology 70 126 .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.