Skip to main content
SpringerLink
Log in

On Compiling Structured Interactive Programs with Registers and Voices

  • Conference paper
SOFSEM 2008: Theory and Practice of Computer Science (SOFSEM 2008)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4910))

Abstract

A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming and reasoning about interactive computing systems have been recently introduced by Stefanescu using register machines and space-time duality, see [13]. In [3,4,5,6] the authors have have introduced and studied structured programming techniques for rv-systems.

The aim of the present paper is to define a scenario-based operational semantics for structured rv-programs and to offer a translation from structured rv-programs to rv-programs. The main technical result states that the translation is correct. This is part of an effort to get a running environment for structured rv-programs built up on top of rv-programs.

This research was partially supported by the Romanian Ministry of Education and Research (PNCDI-II Program 4, Project D1/1052/18.09.2007: GlobalComp - Models, semantics, logics and technologies for global computing).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bruni, R.: Tile logic for synchronized rewriting of concurrent systems. PhD Thesis, Department of Computer Science, University of Pisa (1999)

    Google Scholar 

  2. Broy, M., Olderog, E.R.: Trace-oriented models of concurrency. In: Bergstra, J.A., et al. (eds.) Handbook of process algebra, pp. 101–196. North-Holland, Amsterdam (2001)

    Google Scholar 

  3. Dragoi, C., Stefanescu, G.: Structured programming for interactive rv-systems. IMAR Preprint 9/2006, Bucharest (2006)

    Google Scholar 

  4. Dragoi, C., Stefanescu, G.: Towards a Hoare-like logic for structured rv-programs. IMAR Preprint 10/2006, Bucharest (2006)

    Google Scholar 

  5. Dragoi, C., Stefanescu, G.: Implementation and verification of ring termination detection protocols using structured rv-programs. Annals of University of Bucharest, Mathematics-Informatics Series 55, 129–138 (2006)

    Google Scholar 

  6. Dragoi, C., Stefanescu, G.: AGAPIA v0.1: A programming language for interactive systems and its typing systems. In: Proc. FINCO/ETAPS (2007)

    Google Scholar 

  7. Gadducci, F., Montanari, U.: The tile model. In: Proof, language, and interaction: Essays in honor of Robin Milner, pp. 133–168. MIT Press, Cambridge (1999)

    Google Scholar 

  8. Goldin, D., Smolka, S., Wegner, P. (eds.): Interactive computation: The new paradigm. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  9. Lindgren, K., Moore, C., Nordahl, M.: Complexity of two-dimensional patterns. Journal of Statistical Physics 91, 909–951 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  10. Popa, A., Sofronia, A., Stefanescu, G.: High-level structured interactive programs with registers and voices. J. Universal Computer Science 13(11) (2007)

    Google Scholar 

  11. Stefanescu, G.: Network algebra. Springer, Heidelberg (2000)

    MATH  Google Scholar 

  12. Stefanescu, G.: Algebra of networks: modeling simple networks as well as complex interactive systems. In: Proof and System-Reliability, Proc. Marktoberdorf Summer School 2001, pp. 49–78. Kluwer, Dordrecht (2002)

    Google Scholar 

  13. Stefanescu, G.: Interactive systems with registers and voices. Fundamenta Informaticae 73, 285–306 (2006), (Early draft, School of Computing, National University of Singapore July 2004)

    Google Scholar 

  14. Stefanescu, G.: Towards a Floyd logic for interactive rv-systems. In: Letia, A.I. (ed.) Proc. 2nd IEEE Conference on Intelligent Computer Communication and Processing, Technical University of Cluj-Napoca, pp. 169–178 (September 1-2, 2006)

    Google Scholar 

  15. Wegner, P.: Interactive foundations of computing. Theoretical Computer Science 192, 315–351 (1998)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computer Science, University of Bucharest, Str. Academiei 14, Bucharest, Romania, 010014

    Cezara Dragoi & Gheorghe Stefanescu

Authors
  1. Cezara Dragoi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gheorghe Stefanescu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Viliam Geffert Juhani Karhumäki Alberto Bertoni Bart Preneel Pavol Návrat Mária Bieliková

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dragoi, C., Stefanescu, G. (2008). On Compiling Structured Interactive Programs with Registers and Voices. In: Geffert, V., Karhumäki, J., Bertoni, A., Preneel, B., Návrat, P., Bieliková, M. (eds) SOFSEM 2008: Theory and Practice of Computer Science. SOFSEM 2008. Lecture Notes in Computer Science, vol 4910. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77566-9_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-77566-9_22

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-77565-2

  • Online ISBN: 978-3-540-77566-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation