Instruction Sequences with Dynamically Instantiated Instructions

• Autorzy: Bergstra J.A. , Middelburg C.A.
• Języki publikacji: EN

Abstrakty

EN

We study sequential programs that are instruction sequences with dynamically instantiated instructions. We define the meaning of such programs in two different ways. In either case, we give a translation by which each program with dynamically instantiated instructions is turned into a program without them that exhibits on execution the same behaviour by interaction with some service. The complexity of the translations differ considerably, whereas the services concerned are equally simple. However, the service concerned in the case of the simpler translation is far more powerful than the service concerned in the other case.

Słowa kluczowe

EN

instruction sequence; dynamically instantiated instruction; projection semantics; program algebra; thread algebra; action transforming use mechanism

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2009
• Tom: Vol. 96, nr 1/2
• Strony: 27--48
• Opis fizyczny: Bibliogr. 17 poz., tab.

Twórcy

autor

Bergstra J.A.

autor

Middelburg C.A.

• Informatics Institute, University of Amsterdam, Science Park 107, 1098 XG Amsterdam, the Netherlands,

Bibliografia

• [1] Baeten, J. C. M., Bergstra, J. A.: Global Renaming Operators in Concrete Process Algebra, Information and Control, 78(3), 1988, 205-245.
• [2] Bergstra, J. A., Bethke, I.: Polarized Process Algebra and Program Equivalence, Proceedings 30th ICALP (J. C. M. Baeten, J. K. Lenstra, J. Parrow, G. J. Woeginger, Eds.), LNCS 2719, Springer-Verlag, 2003, 1-21.
• [3] Bergstra, J. A., Loots, M. E.: Program Algebra for Sequential Code, Journal of Logic and Algebraic Programming, 51(2), 2002, 125-156.
• [4] Bergstra, J. A., Middelburg, C. A.: Thread Algebra with Multi-Level Strategies, Fundamenta Informaticae, 71(2-3), 2006, 153-182.
• [5] Bergstra, J. A., Middelburg, C. A.: Instruction Sequences with Indirect Jumps, Scientific Annals of Computer Science, 17, 2007, 19-46.
• [6] Bergstra, J. A.,Middelburg, C. A.: Programming an Interpreter Using Molecular Dynamics, Scientific Annals of Computer Science, 17, 2007, 47-81.
• [7] Bergstra, J. A., Middelburg, C. A.: Thread Algebra for Strategic Interleaving, Formal Aspects of Computing, 19(4), 2007, 445-474.
• [8] Bergstra, J. A., Middelburg, C. A.: A Thread Algebra with Multi-Level Strategic Interleaving, Theory of Computing Systems, 41(1), 2007, 3-32.
• [9] Bergstra, J. A., Middelburg, C. A.: Distributed Strategic Interleaving with Load Balancing, Future Generation Computer Systems, 24(6), 2008, 530-548.
• [10] Bergstra, J. A., Middelburg, C. A.: Maurer Computers for Pipelined Instruction Processing, Mathematical Structures in Computer Science, 18(2), 2008, 373-409.
• [11] Bergstra, J. A., Ponse, A.: Combining Programs and State Machines, Journal of Logic and Algebraic Programming, 51(2), 2002, 175-192.
• [12] Fokkink,W. J.: Introduction to Process Algebra, Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag, Berlin, 2000.
• [13] Maurer,W. D.: A Theory of Computer Instructions, Journal of the ACM, 13(2), 1966, 226-235.
• [14] Maurer,W. D.: A Theory of Computer Instructions, Science of Computer Programming, 60, 2006, 244-273.
• [15] Ponse, A., van der Zwaag,M. B.: An Introduction to Program and Thread Algebra, CiE 2006 (A. Beckmann, et al., Eds.), LNCS 3988, Springer-Verlag, 2006, 445-458.
• [16] Sannella, D., Tarlecki, A.: Algebraic Preliminaries, in: Algebraic Foundations of Systems Specification (E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner, Eds.), Springer-Verlag, Berlin, 1999, 13-30.
• [17] Wirsing,M.: Algebraic Specification, in: Handbook of Theoretical Computer Science (J. van Leeuwen, Ed.), vol. B, Elsevier, Amsterdam, 1990, 675-788.