W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21456| Tytuł: | A Tree of Execution of a Macroinstruction |
| Autorzy: | Korniłowicz, Artur |
| Data wydania: | 2004 |
| Data dodania: | 6-lis-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 12, Issue 1, Pages 33-37 |
| Abstrakt: | A tree of execution of a macroinstruction is defined. It is a tree decorated by the instruction locations of a computer. Successors of each vertex are determined by the set of all possible values of the instruction counter after execution of the instruction placed in the location indicated by given vertex. |
| Afiliacja: | University of Białystok |
| Opis: | The paper was written during author’s post-doctoral fellowship granted by Shinshu University, Japan. The author wishes to thank Andrzej Trybulec and Grzegorz Bancerek for their very useful comments during writing this article. |
| URI: | http://hdl.handle.net/11320/21456 |
| ISSN: | 1426-2630 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/4.0/ |
| Właściciel praw: | © 2005 University of Białystok This work is licensed under the Creative Commons License. |
| Występuje w kolekcji(ach): | Artykuły naukowe (WInf) Formalized Mathematics, 2004, Volume 12, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| A_Tree_of_Execution_of_a_Macroinstruction.pdf | 93,15 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
