Modeling operational semantics of machine instructions
This paper offers a model which allows describe operational semantics of machine instructions for various target architectures. Feature of this model is that it is intended for reverse transformation compared with classical compilation one, however the model allows efficiently perform various optimi...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
| Series: | Труды Института системного программирования РАН |
| Subjects: | |
| Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/1072 |
| _version_ | 1818155169304543232 |
|---|---|
| author | V. A. Padaryan M. A. Soloviev A. I. Kononov |
| author_facet | V. A. Padaryan M. A. Soloviev A. I. Kononov |
| author_sort | V. A. Padaryan |
| collection | DOAJ |
| description | This paper offers a model which allows describe operational semantics of machine instructions for various target architectures. Feature of this model is that it is intended for reverse transformation compared with classical compilation one, however the model allows efficiently perform various optimizations. The target architectures are described by external specifications. We present a prototype subsystem for interpretation of the described model. |
| first_indexed | 2024-12-11T14:38:08Z |
| format | Article |
| id | doaj.art-affde065d6594532a6ad5b80105f7084 |
| institution | Directory Open Access Journal |
| issn | 2079-8156 2220-6426 |
| language | English |
| last_indexed | 2024-12-11T14:38:08Z |
| publishDate | 2018-10-01 |
| publisher | Ivannikov Institute for System Programming of the Russian Academy of Sciences |
| record_format | Article |
| series | Труды Института системного программирования РАН |
| spelling | doaj.art-affde065d6594532a6ad5b80105f70842022-12-22T01:02:04ZengIvannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262018-10-011901072Modeling operational semantics of machine instructionsV. A. Padaryan0M. A. Soloviev1A. I. Kononov2ИСП РАНИСП РАНИСП РАНThis paper offers a model which allows describe operational semantics of machine instructions for various target architectures. Feature of this model is that it is intended for reverse transformation compared with classical compilation one, however the model allows efficiently perform various optimizations. The target architectures are described by external specifications. We present a prototype subsystem for interpretation of the described model.https://ispranproceedings.elpub.ru/jour/article/view/1072<i>операционная семантика машинных инструкций</i><i>оптимизирующие преобразования</i> |
| spellingShingle | V. A. Padaryan M. A. Soloviev A. I. Kononov Modeling operational semantics of machine instructions Труды Института системного программирования РАН <i>операционная семантика машинных инструкций</i> <i>оптимизирующие преобразования</i> |
| title | Modeling operational semantics of machine instructions |
| title_full | Modeling operational semantics of machine instructions |
| title_fullStr | Modeling operational semantics of machine instructions |
| title_full_unstemmed | Modeling operational semantics of machine instructions |
| title_short | Modeling operational semantics of machine instructions |
| title_sort | modeling operational semantics of machine instructions |
| topic | <i>операционная семантика машинных инструкций</i> <i>оптимизирующие преобразования</i> |
| url | https://ispranproceedings.elpub.ru/jour/article/view/1072 |
| work_keys_str_mv | AT vapadaryan modelingoperationalsemanticsofmachineinstructions AT masoloviev modelingoperationalsemanticsofmachineinstructions AT aikononov modelingoperationalsemanticsofmachineinstructions |