Novosibirsk State University Journal of Information Technologies
Scientic Journal

ISSN 2410-0420 (Online), ISSN 1818-7900 (Print)

Switch to
Russian

All Issues >> Contents: Volume 11, Issue No 3 (2013)

Source code fragments translation based on programming languages syntax and semantics specifications
Anton Mikhailovich Saukh, Aleksei Evgenyevich Khmelnov

Institute of System Dynamics and Control Theory SB RAS

UDC code: 004.4'41

Abstract
A problem of automatic source code fragments translation from one imperative language to another is considered in this article. Formal specifications of syntax and semantics are used to solve it. Yacc grammars are used for syntax description and the special language is introduced to describe semantics of language constructions. The main result concerned in this article is an approach to find matching textual representations of program fragments semantics using language syntax and semantic specifications. It is supposed that involved languages and their semantics are close enough.

Key Words
semantics specification, syntax specification, formal language translation

How to cite:
Saukh A. M., Khmelnov A. E. Source code fragments translation based on programming languages syntax and semantics specifications // Vestnik NSU Series: Information Technologies. - 2013. - Volume 11, Issue No 3. - P. 53-62. - ISSN 1818-7900. (in Russian).

Full Text in Russian

Available in PDF

References
1. A Fortran-to-C Converter / S. I. Feldman, D. M. Gay, M. W. Maimone, N. L. Schryer. Comp. sci. tech. rep. № 149. AT\&T Bell Laboratories. 26 p.
2. Saukh A. M. Analiz nekotorykh semanticheskikh aspektov iskhodnykh tekstov programm na osnove formalnykh spetcifikatcy sintaksisa i semantiki // SIBECRYPT-12. Prikladnaya diskretnaya matematika. Irkutsk, 2012. № 5 (pril.). S. 110–111.
3. Khopkroft Dzh., Motvani R., Ulman Dzh. Vvedeniye v teoriyu avtomatov, yazykov i vychisleny = Introduction to Automata Theory, Languages, and Computation. M.: Vilyams, 2002. Gl. 5: Kontekstno-svobodnyye grammatiki i yazyki.

Publication information
Main title Vestnik NSU Series: Information Technologies, Volume 11, Issue No 3 (2013).
Parallel title: Novosibirsk State University Journal of Information Technologies Volume 11, Issue No 3 (2013).

Key title: Vestnik Novosibirskogo gosudarstvennogo universiteta. Seriâ: Informacionnye tehnologii
Abbreviated key title: Vestn. Novosib. Gos. Univ., Ser.: Inf. Tehnol.
Variant title: Vestnik NGU. Seriâ: Informacionnye tehnologii

Year of Publication: 2013
ISSN: 1818-7900 (Print), ISSN 2410-0420 (Online)
Publisher: Novosibirsk State University Press
DSpace handle


|Home Page| |All Issues| |Information for Authors| |Journal Boards| |Ethical principles| |Editorial Policy| |Contact Information| |Old Site in Russian|

inftech@vestnik.nsu.ru
© 2006-2017, Novosibirsk State University.