Výsledky vyhledávání - SCOOP (Simple Concurrent Object Oriented Programming)

  • Zobrazuji výsledky 1 - 10 z 10
Upřesnit hledání
  1. 1
    Obálka

    Beyond contracts for concurrency Autor Ostroff, Jonathan S., Torshizi, Faraz Ahmadi, Huang, Hai Feng, Schoeller, Bernd

    ISSN: 0934-5043, 1433-299X
    Vydáno: London Springer-Verlag 01.08.2009
    Vydáno v Formal aspects of computing (01.08.2009)
    “…SCOOP is a concurrent programming language with a new semantics for contracts that applies equally well in concurrent and sequential contexts…”
    Získat plný text
    Journal Article Konferenční příspěvek
    Přidat do oblíbených
    Uloženo v:
  2. 2
    Obálka

    A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages Autor Nanz, Sebastian, Torshizi, Faraz, Pedroni, Michela, Meyer, Bertrand

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 28.11.2010
    Vydáno v arXiv.org (28.11.2010)
    “… expert. Language designers are therefore working on languages that promise to make concurrent programming "easier" than using traditional thread libraries…”
    Získat plný text
    Paper
    Přidat do oblíbených
    Uloženo v:
  3. 3
    Obálka

    A comprehensive operational semantics of the SCOOP programming model Autor Morandi, Benjamin, Nanz, Sebastian, Meyer, Bertrand

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 13.04.2012
    Vydáno v arXiv.org (13.04.2012)
    “… (Simple Concurrent Object-Oriented Programming). The semantics has been found detailed enough to guide an implementation of the SCOOP compiler and runtime system…”
    Získat plný text
    Paper
    Přidat do oblíbených
    Uloženo v:
  4. 4
    Obálka

    A CSP model of Eiffel’s SCOOP Autor Brooke, Phillip J., Paige, Richard F., Jacob, Jeremy L.

    ISSN: 0934-5043, 1433-299X
    Vydáno: London Springer 01.11.2007
    Vydáno v Formal aspects of computing (01.11.2007)
    “…The current informal semantics of the simple concurrent object-oriented programming (SCOOP…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  5. 5
    Obálka

    A semantics comparison workbench for a concurrent, asynchronous, distributed programming language Autor Corrodi, Claudio, Heußner, Alexander, Poskitt, Christopher M.

    ISSN: 0934-5043, 1433-299X
    Vydáno: London Springer London 01.01.2018
    Vydáno v Formal aspects of computing (01.01.2018)
    “…—potentially affecting behavioural and safety properties of existing programs. This is exemplified by Scoop , a message-passing approach to concurrent object-oriented…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  6. 6
    Obálka

    Composing atomic features Autor Eugster, Patrick, Vaucouleur, Sebastien

    ISSN: 0167-6423, 1872-7964
    Vydáno: Elsevier B.V 01.12.2006
    Vydáno v Science of computer programming (01.12.2006)
    “…SCOOP (Simple Concurrent Object-Oriented Programming) is a model of concurrency that builds on the concept of contracts for synchronizing accesses to objects…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:
  7. 7
    Obálka

    Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages Autor Nanz, S., Torshizi, F., Pedroni, M., Meyer, B.

    ISBN: 9781457722035, 1457722038
    ISSN: 1949-3770
    Vydáno: IEEE 01.09.2011
    “… expert. Language designers are therefore working on languages that promise to make concurrent programming "easier…”
    Získat plný text
    Konferenční příspěvek
    Přidat do oblíbených
    Uloženo v:
  8. 8
    Obálka

    Simple concurrency for robotics with the Roboscoop framework Autor Rusakov, Andrey, Jiwon Shin, Meyer, Bertrand

    ISSN: 2153-0858
    Vydáno: IEEE 01.09.2014
    “… So far, however, the use of concurrency in robotics has been limited and cumbersome. This paper presents Roboscoop, a new robotics framework based on Simple Concurrent Object Oriented Programming (SCOOP…”
    Získat plný text
    Konferenční příspěvek
    Přidat do oblíbených
    Uloženo v:
  9. 9
    Obálka

    A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language Autor Corrodi, Claudio, Heußner, Alexander, Poskitt, Christopher M

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 11.10.2017
    Vydáno v arXiv.org (11.10.2017)
    “… properties of existing programs. This is exemplified by SCOOP, a message-passing approach to concurrent object-oriented programming that has seen multiple changes proposed and implemented, with demonstrable consequences…”
    Získat plný text
    Paper
    Přidat do oblíbených
    Uloženo v:
  10. 10
    Obálka

    Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model Autor Heußner, Alexander, Poskitt, Christopher M, Corrodi, Claudio, Morandi, Benjamin

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 10.04.2015
    Vydáno v arXiv.org (10.04.2015)
    “…To harness the power of multi-core and distributed platforms, and to make the development of concurrent software more accessible to software engineers, different object-oriented concurrency models…”
    Získat plný text
    Paper
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: