A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages

Electronic Notes in Theoretical Computer Science

Volumn 253, Issue 6, 2010, Pages 33-56

  Stoddart, Bill ^a   Lynas, Robert ^a   Zeyda, Frank ^b  

^a TEESSIDE UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Backtracking; Formal Semantics; Forth; Probability; Reversible Computing; Virtual Machine

Indexed keywords

FORMAL METHODS; NETWORK SECURITY; PROBABILITY; SEMANTICS;

BACKTRACKING; EXECUTION PLATFORMS; FORMAL SEMANTICS; FORTH; OPERATIONAL INTERPRETATION; PROBABILISTIC CHOICES; REVERSIBLE COMPUTING; SEQUENTIAL PROGRAMMING LANGUAGE;

VIRTUAL MACHINE;

EID: 77249151454     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2010.02.005     Document Type: Article

References (19)

1. Abrial J.-R. The B Book (1996), Cambridge University Press
2. Axelsen H.B., Glück R., and Yokoyama T. Reversible Machine Code and its Abstract Processor Architecture. In: Diekert V., Volkov M.V., and Voronkov A. (Eds). Computer Science - Theory and Applications. Proceedings. Lecture Notes in Computer Science volume 4649 (2007), Springer-Verlag 43-54
3. Baker H.G. The Thermodynamics of Garbage Collection. In: Bekkers Y., and Cohen J. (Eds). Memory Management: Proc IWMM'92. Lecture Notes in Computer Science volume 637 (1992), Springer-Verlag 507-520. ftp://ftp.netcom.com/pub/hb/hbaker/ReverseGC.html See:
4. Baker H.G. Linear Logic and Permutation Stacks-the Forth shall be First. SIGARCH Comput. Archit. News 22 1 (1994) 34-43
5. Bennett C. The Logical Reversibility of Computation. IBM Journal of Research and Development 17 (1973) 525-532
6. Bennett C. The Thermodynamics of Computation. International Journal of Theoretical Physics 21 (1982) 905-940
7. ANSI J14 Technical Committee. American National Standard for Information Systems: Programming Languages-Forth (1994), American National Standards Institute
8. Feynman R.P. Lectures on Computation (1996), Westview Press
9. Hoare C.A.R., and He Jifeng. Unifying Theories of Programming (1998), Prentice Hall
10. Landauer R. Irreversibility and Heat Generated in the Computing Process. IBM J R&D 5 (1961) 183-191
11. McIver A., and Morgan C. Abstraction, Refinement And Proof For Probabilistic Systems (2004), Springer
12. WJ Stoddart and F Zeyda. A Unification of Probabilistic Choice within a Design-based Model of Reversible Computation. Formal Aspect of Computing, 2009. Accepted for publication in the Special Issue on Unifying Theories of Programming, DOI 10.1007/s00165-007-0048-1
13. Stoddart W.J., Zeyda, and Lynas A.R. A Design-based Model of Reversible Computation. UTP'06, First International Symposium on Unifying Theories of Programming. Lecture Notes in Computer Science volume 4010 (2006), Springer-Verlag 63-83
14. Yokoyama T., Axelsen H.B., and Glück R. Principles of a reversible Programming Language. CF '08: Proceedings of the 2008 conference on Computing frontiers (2008), ACM Press 43-54
15. Yokoyama T., and Glück R. A Reversible Programming Language and its Invertible Self-Interpreter. PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2007), ACM Press 144-153
16. F Zeyda, Reversible Computations in B. PhD thesis, University of Teesside, 2007
17. Zeyda F., Stoddart W.J., and Dunne S.E. A Prospective-value Semantics for the GSL. In: Henson M., King S., Schneider S., and Treharne H. (Eds). ZB2005. Lecture Notes in Computer Science volume 3455 (2005), Springer-Verlag 107-202
18. Zeyda F., Stoddart W.J., and Dunne S.E. The Refinement of Reversible Computations. In: Muntean T., and Sere K. (Eds). 2nd International Workshop on Refinement of Critical Systems (2003)
19. Zuliani P. Logical reversibility. IBM J R&D 45 6 (2001) 807-818