A unifying framework for interactive programming and applications to communicating peer-to-peer systems

Alexandru Popa, Iulia Teodora Banu-Demergian, Camelia Chira, Florian Mircea Boian, Gheorghe Stefanescu

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    We present a unifying framework for interactive programming built-up on top of rv-systems, a space-time invariant model for interactive computation which extends register machines with interactive capabilities. The framework provides a kernel coordination language parametrized by the programming language used for writing the code of the basic blocks. To illustrate the framework, we describe an implementation of an interactive communicating system where the nodes use Chord peer-to-peer communication protocol and their coordination is written in Agapia, a structured interactive programming language for rv-systems.

    Original languageEnglish
    Title of host publicationCommunications in Computer and Information Science
    PublisherSpringer Verlag
    Pages101-112
    Number of pages12
    Volume514
    ISBN (Print)9783319250427
    DOIs
    Publication statusPublished - 2015
    Event1st Workshop on Embracing Global Computing in Emerging Economies, EGC 2015 - Almaty, Kazakhstan
    Duration: Feb 26 2015Feb 28 2015

    Publication series

    NameCommunications in Computer and Information Science
    Volume514
    ISSN (Print)18650929

    Other

    Other1st Workshop on Embracing Global Computing in Emerging Economies, EGC 2015
    CountryKazakhstan
    CityAlmaty
    Period2/26/152/28/15

    Fingerprint

    Computer programming languages
    Network protocols

    ASJC Scopus subject areas

    • Computer Science(all)

    Cite this

    Popa, A., Banu-Demergian, I. T., Chira, C., Boian, F. M., & Stefanescu, G. (2015). A unifying framework for interactive programming and applications to communicating peer-to-peer systems. In Communications in Computer and Information Science (Vol. 514, pp. 101-112). (Communications in Computer and Information Science; Vol. 514). Springer Verlag. https://doi.org/10.1007/978-3-319-25043-4_10

    A unifying framework for interactive programming and applications to communicating peer-to-peer systems. / Popa, Alexandru; Banu-Demergian, Iulia Teodora; Chira, Camelia; Boian, Florian Mircea; Stefanescu, Gheorghe.

    Communications in Computer and Information Science. Vol. 514 Springer Verlag, 2015. p. 101-112 (Communications in Computer and Information Science; Vol. 514).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Popa, A, Banu-Demergian, IT, Chira, C, Boian, FM & Stefanescu, G 2015, A unifying framework for interactive programming and applications to communicating peer-to-peer systems. in Communications in Computer and Information Science. vol. 514, Communications in Computer and Information Science, vol. 514, Springer Verlag, pp. 101-112, 1st Workshop on Embracing Global Computing in Emerging Economies, EGC 2015, Almaty, Kazakhstan, 2/26/15. https://doi.org/10.1007/978-3-319-25043-4_10
    Popa A, Banu-Demergian IT, Chira C, Boian FM, Stefanescu G. A unifying framework for interactive programming and applications to communicating peer-to-peer systems. In Communications in Computer and Information Science. Vol. 514. Springer Verlag. 2015. p. 101-112. (Communications in Computer and Information Science). https://doi.org/10.1007/978-3-319-25043-4_10
    Popa, Alexandru ; Banu-Demergian, Iulia Teodora ; Chira, Camelia ; Boian, Florian Mircea ; Stefanescu, Gheorghe. / A unifying framework for interactive programming and applications to communicating peer-to-peer systems. Communications in Computer and Information Science. Vol. 514 Springer Verlag, 2015. pp. 101-112 (Communications in Computer and Information Science).
    @inproceedings{3a9ea8eff9214c3c8231e3026c5d5ef5,
    title = "A unifying framework for interactive programming and applications to communicating peer-to-peer systems",
    abstract = "We present a unifying framework for interactive programming built-up on top of rv-systems, a space-time invariant model for interactive computation which extends register machines with interactive capabilities. The framework provides a kernel coordination language parametrized by the programming language used for writing the code of the basic blocks. To illustrate the framework, we describe an implementation of an interactive communicating system where the nodes use Chord peer-to-peer communication protocol and their coordination is written in Agapia, a structured interactive programming language for rv-systems.",
    author = "Alexandru Popa and Banu-Demergian, {Iulia Teodora} and Camelia Chira and Boian, {Florian Mircea} and Gheorghe Stefanescu",
    year = "2015",
    doi = "10.1007/978-3-319-25043-4_10",
    language = "English",
    isbn = "9783319250427",
    volume = "514",
    series = "Communications in Computer and Information Science",
    publisher = "Springer Verlag",
    pages = "101--112",
    booktitle = "Communications in Computer and Information Science",
    address = "Germany",

    }

    TY - GEN

    T1 - A unifying framework for interactive programming and applications to communicating peer-to-peer systems

    AU - Popa, Alexandru

    AU - Banu-Demergian, Iulia Teodora

    AU - Chira, Camelia

    AU - Boian, Florian Mircea

    AU - Stefanescu, Gheorghe

    PY - 2015

    Y1 - 2015

    N2 - We present a unifying framework for interactive programming built-up on top of rv-systems, a space-time invariant model for interactive computation which extends register machines with interactive capabilities. The framework provides a kernel coordination language parametrized by the programming language used for writing the code of the basic blocks. To illustrate the framework, we describe an implementation of an interactive communicating system where the nodes use Chord peer-to-peer communication protocol and their coordination is written in Agapia, a structured interactive programming language for rv-systems.

    AB - We present a unifying framework for interactive programming built-up on top of rv-systems, a space-time invariant model for interactive computation which extends register machines with interactive capabilities. The framework provides a kernel coordination language parametrized by the programming language used for writing the code of the basic blocks. To illustrate the framework, we describe an implementation of an interactive communicating system where the nodes use Chord peer-to-peer communication protocol and their coordination is written in Agapia, a structured interactive programming language for rv-systems.

    UR - http://www.scopus.com/inward/record.url?scp=84952701066&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=84952701066&partnerID=8YFLogxK

    U2 - 10.1007/978-3-319-25043-4_10

    DO - 10.1007/978-3-319-25043-4_10

    M3 - Conference contribution

    SN - 9783319250427

    VL - 514

    T3 - Communications in Computer and Information Science

    SP - 101

    EP - 112

    BT - Communications in Computer and Information Science

    PB - Springer Verlag

    ER -