Suchergebnisse - SCOOP (Simple Concurrent Object Oriented Programming)

  • Treffer 1 - 10 von 10
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    ISSN: 0934-5043, 1433-299X
    Veröffentlicht: London Springer-Verlag 01.08.2009
    Veröffentlicht in 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 …”
    Volltext
    Journal Article Tagungsbericht
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 28.11.2010
    Veröffentlicht in 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 …”
    Volltext
    Paper
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 13.04.2012
    Veröffentlicht in 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 …”
    Volltext
    Paper
    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

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

    ISSN: 0934-5043, 1433-299X
    Veröffentlicht: London Springer 01.11.2007
    Veröffentlicht in Formal aspects of computing (01.11.2007)
    “… The current informal semantics of the simple concurrent object-oriented programming (SCOOP …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

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

    ISSN: 0934-5043, 1433-299X
    Veröffentlicht: London Springer London 01.01.2018
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

    Composing atomic features von Eugster, Patrick, Vaucouleur, Sebastien

    ISSN: 0167-6423, 1872-7964
    Veröffentlicht: Elsevier B.V 01.12.2006
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

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

    ISBN: 9781457722035, 1457722038
    ISSN: 1949-3770
    Veröffentlicht: IEEE 01.09.2011
    “… expert. Language designers are therefore working on languages that promise to make concurrent programming "easier …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:
  8. 8
    Buchumschlag

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

    ISSN: 2153-0858
    Veröffentlicht: 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 …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:
  9. 9
    Buchumschlag

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

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 11.10.2017
    Veröffentlicht in 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 …”
    Volltext
    Paper
    Zu den Favoriten
    Gespeichert in:
  10. 10
    Buchumschlag

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

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 10.04.2015
    Veröffentlicht in 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 …”
    Volltext
    Paper
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: