A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Filters
Efficient and reasonable object-oriented concurrency
2015
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015
This work provides an efficient execution model and implementation for SCOOP, a concurrency approach that provides not only data-race freedom but also pre/postcondition reasoning guarantees between threads ...
Making threaded programs safe and easy to reason about is one of the chief difficulties in modern programming. ...
This work focuses on SCOOP [3] , an object-oriented approach to concurrency that aims to make concurrent programming simpler by providing higher-level primitives that are more amenable to standard pre ...
doi:10.1145/2786805.2786822
dblp:conf/sigsoft/WestNM15
fatcat:r7mayd2r2za7fnwsrgomdg6pii
Efficient and Reasonable Object-Oriented Concurrency
[article]
2015
arXiv
pre-print
This work provides an efficient execution model for SCOOP, a concurrency approach that provides not only data race freedom but also pre/postcondition reasoning guarantees between threads. ...
Making threaded programs safe and easy to reason about is one of the chief difficulties in modern programming. ...
This work focuses on SCOOP [20] , an object-oriented approach to concurrency that aims to make concurrent programming simpler by providing higher-level primitives that are more amenable to standard programming ...
arXiv:1405.7153v2
fatcat:44agbdtgobbandmviz3poqqz7m
Towards reusable and modular aspect-oriented concurrency control
2007
Proceedings of the 2007 ACM symposium on Applied computing - SAC '07
This work defined guidelines to restructure object-oriented software in order to modularize concurrency control using aspect-oriented programming. ...
Such increase demands the definition of methods for obtaining safe and efficient implementations of concurrent programs, since the complexity of implementation and tests in concurrent environments is bigger ...
Such intuitive controls may have a negative impact on efficiency and may not guarantee system safety in concurrent environments. ...
doi:10.1145/1244002.1244281
dblp:conf/sac/SoaresB07
fatcat:qsphrx32tbdpbo6qslu7v6tcee
Object-oriented programming and parallelism: Introduction
1996
Information Sciences
Initially, object-orientation and parallelism originated and developed as separate and relatively independent areas. ...
Many real-world objects perform concurrently with other objects, often forming distributed systems. ...
This special issue would not be possible without the understanding and the 9 support of the editor-in-chief, Paul Wang. ...
doi:10.1016/0020-0255(96)00058-8
fatcat:aihobdwrnjailbfilvkrvxc6zq
Object-Oriented Programming for Wide-Area Computing
[chapter]
2000
IFIP Advances in Information and Communication Technology
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming too!. ...
Many of the programming concepts developed for databases, object-oriented programming and designs of reactive systems can be unified into a compact model of concurrent programs that can serve as the foundation ...
images), and object-based concurrent programming has the potential to simplify designs of such applications. ...
doi:10.1007/978-0-387-35520-7_10
fatcat:xnxxmcsiw5dsfiffnn6jhx6f6m
Concurrent Object-Oriented Programming: The MP-Eiffel Approach
2004
Journal of Object Technology
MP-Eiffel was designed attempting to include all the essential properties of both concurrent and object-oriented programming with simplicity and safety. ...
This article evaluates several possible approaches for integrating concurrency into object-oriented programming languages, presenting afterwards, a new language named MP-Eiffel. ...
In this article a new concurrent object-oriented programming language -MP-Eiffel -was introduced, taking special care to present the reasoning behind the choices made throughout all its mechanisms and ...
doi:10.5381/jot.2004.3.4.a6
fatcat:upk5hbpkqbblpcx52qy5a7ibba
Page 86 of American Society of Civil Engineers. Collected Journals Vol. 118, Issue CP1
[page]
1992
American Society of Civil Engineers. Collected Journals
Thus, in an object-oriented approach, transactions consist of a set of operations on design objects that reason about their domain and have more semantics than just read or write. ...
At the level of data types, object-oriented data-base management systems (OODBMS) present an opportunity to provide greater concurrency than more traditional approaches allow (Weihl 1988). ...
Design principles for highly reusable concurrent object-oriented systems
2002
Journal of Object Technology
Designing a concurrent object oriented language isn't an easy task. ...
After many years of research, the merging of concurrency and object oriented paradigms hasn't been achieved in a totally satisfactory way. ...
The reason of this principle is to avoid interference between concurrent and functional features and thus improve reusability. ...
doi:10.5381/jot.2002.1.1.a3
fatcat:ukrrrs2qebdepcndthv4uvx2ku
Age-Oriented Concurrent Garbage Collection
[chapter]
2005
Lecture Notes in Computer Science
On-the-fly collectors run concurrently with the program threads and induce very short program pauses. ...
Finally, an implementation is provided demonstrating how the age-oriented collector outperforms both the non-generational and the generational collectors' efficiency. ...
We thank Elliot (Hillel) Kolodner for helpful discussions, and Michael Philippsen for the numerous helpful remarks on improving the readability of this manuscript. ...
doi:10.1007/978-3-540-31985-6_9
fatcat:gvmsjjm7vfhgpgrymvqu7kzmm4
Object-oriented concurrent reflective languages can be implemented efficiently
1992
conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '92
We present efficient implementation schemes for object-oriented concurrent reflective languages using our language ABCL/R2 as an example. ...
The schemes include: efficient lazy creation of metaobjects/meta-groups, partial compilation of scripts (methods), dynamic progression, self-reification, and light-weight objects, all appropriately integrated ...
demonstrated in our past work in OOCR (Object-Oriented Concurrent Reflective) languages, such as ABCL/R and ACT/R[lS,
201. ...
doi:10.1145/141936.141948
dblp:conf/oopsla/MasuharaMWY92
fatcat:fcipfmr2fjelhldj7fxwptavti
Inefficient conjunction search made efficient by concurrent spoken delivery of target identity
2006
Perception & Psychophysics
This uniquely salient object representation can then win the biased competition quickly and efficiently. ...
For reasons similar to those in Experiments 1 and 2, the participants exhibited a mean RT approximately 1,250 msec longer in the A/V-concurrent condition than in the auditory-first control condition. ...
It is worth noting that average speaking rates in English range from 3 to 6 syllables/sec, depending on the speaker and the circumstances (Arnfield, Roach, Setter, Greasley, & Horton, 1995) . ...
doi:10.3758/bf03193358
pmid:17153191
fatcat:kh2n64o4prgcdhpevnczfckjku
Software diversity as a way to well-structured concurrent software
1995
ACM SIGOPS Operating Systems Review
Subject: A.Romanovsky) Competitive and cooperative concurrency We assume that a system consists of components (programs, processes, tasks, threads, objects, etc.) which can be executed concurrently and ...
We will follow the generalized classification of concurrent systems that is arrived at in [1] . Three categories of these are outlined here; they are independent, competing and cooperating systems. ...
My thanks go to my Newcastle colleagues B.Randell, J.Xu, Z.Wu, R.Stroud and C.Calsavara. ...
doi:10.1145/206826.206848
fatcat:c3zrzvkytbhadlhkkq63gvea3q
Efficient data race and deadlock prevention in concurrent object-oriented programs
2004
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '04
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correctness and liveness properties ...
Furthermore, an efficient methodology for deadlock prevention, avoidance, detection, and resolution will be developed. A working implementation of SCOOP will be provided. ...
SCOOP (Simple Concurrent Object-Oriented Programming) was introduced by Bertrand Meyer as an extension of the Eiffel language. ...
doi:10.1145/1028664.1028695
dblp:conf/oopsla/Nienaltowski04
fatcat:f5zmh3isibg75deaw33nncrcom
Dimensions of object-based language design
1987
Conference proceedings on Object-oriented programming systems, languages and applications - OOPSLA '87
One of the issues in object-oriented query languages is to make them efficient, so that the user does not pay in terms of efficiency for the flexibility provided by object-oriented programming. (3) Since ...
Object-oriented languages must additionally support object classes and class inheritance: object-oriented language: An object-based language is object-oriented if its objects belong to classes and class ...
doi:10.1145/38765.38823
dblp:conf/oopsla/Wegner87
fatcat:4jengjyl45eg7cwoxsazbcfrmu
Dimensions of object-based language design
1987
SIGPLAN notices
One of the issues in object-oriented query languages is to make them efficient, so that the user does not pay in terms of efficiency for the flexibility provided by object-oriented programming. (3) Since ...
Object-oriented languages must additionally support object classes and class inheritance: object-oriented language: An object-based language is object-oriented if its objects belong to classes and class ...
doi:10.1145/38807.38823
fatcat:4iydpwjf4resfdqpva6wp7ah74
« Previous
Showing results 1 — 15 out of 116,988 results