Search Results - SCOOP (Simple Concurrent Object Oriented Programming)

  • Showing 1 - 10 results of 10
Refine Results
  1. 1
    Cover Image

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

    ISSN: 0934-5043, 1433-299X
    Published: London Springer-Verlag 01.08.2009
    Published 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…”
    Get full text
    Journal Article Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Cover Image

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

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 28.11.2010
    Published 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…”
    Get full text
    Paper
    Save to List
    Saved in:
  3. 3
    Cover Image

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

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 13.04.2012
    Published 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…”
    Get full text
    Paper
    Save to List
    Saved in:
  4. 4
    Cover Image

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

    ISSN: 0934-5043, 1433-299X
    Published: London Springer 01.11.2007
    Published in Formal aspects of computing (01.11.2007)
    “…The current informal semantics of the simple concurrent object-oriented programming (SCOOP…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  5. 5
    Cover Image

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

    ISSN: 0934-5043, 1433-299X
    Published: London Springer London 01.01.2018
    Published 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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  6. 6
    Cover Image

    Composing atomic features by Eugster, Patrick, Vaucouleur, Sebastien

    ISSN: 0167-6423, 1872-7964
    Published: Elsevier B.V 01.12.2006
    Published 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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  7. 7
    Cover Image

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

    ISBN: 9781457722035, 1457722038
    ISSN: 1949-3770
    Published: IEEE 01.09.2011
    “… expert. Language designers are therefore working on languages that promise to make concurrent programming "easier…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Cover Image

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

    ISSN: 2153-0858
    Published: 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…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Cover Image

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

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 11.10.2017
    Published 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…”
    Get full text
    Paper
    Save to List
    Saved in:
  10. 10
    Cover Image

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

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 10.04.2015
    Published 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…”
    Get full text
    Paper
    Save to List
    Saved in:

Search Tools: