Filters








7 Hits in 4.8 sec

CoBoxes: Unifying Active Objects and Structured Heaps [chapter]

Jan Schäfer, Arnd Poetzsch-Heffter
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We propose coboxes -a novel language concept which combines and generalizes active objects and techniques for heap structuring.  ...  Heap Structuring. A heap in OOLs is an unstructured graph of objects. The missing structure makes it difficult to reason about the behavior of objectoriented programs.  ...  We thank Ina Schaefer and the anonymous reviewers for their helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-68863-1_13">doi:10.1007/978-3-540-68863-1_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gyykd6sxcbcyhpqylwgft46es4">fatcat:gyykd6sxcbcyhpqylwgft46es4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170819203028/https://link.springer.com/content/pdf/10.1007%2F978-3-540-68863-1_13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/76/fc/76fcd83b8d58c2342d056cd4ed177b9a3113df56.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-68863-1_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Writing concurrent desktop applications in an actor-based programming model

Jan Schäfer, Arnd Poetzsch-Heffter
<span title="">2010</span> <i title="ACM Press"> Proceedings of the 3rd International Workshop on Multicore Software Engineering - IWMSE &#39;10 </i> &nbsp;
The actor-based CoBox model is based on isolated object-oriented components communicating via asynchronous method calls.  ...  In this paper we show how a typical desktop application is designed and implemented in JCoBox.  ...  A cobox encapsulates both state and behavior and is in this sense similar to active objects [34, 3, 9] . The state of a cobox consists of a heap of objects.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1808954.1808958">doi:10.1145/1808954.1808958</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iyvuj73bvnh3fakkplwv77suhe">fatcat:iyvuj73bvnh3fakkplwv77suhe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321130909/https://softech.informatik.uni-kl.de/homepage/publications/Schaefer10writing.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bd/8f/bd8f22f3da9fa032b1b49c4afc1669bdb383b8cd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1808954.1808958"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Ownership Types: A Survey [chapter]

Dave Clarke, Johan Östlund, Ilya Sergey, Tobias Wrigstad
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Rather than simply protecting the fields of an object from external access, ownership types protect also the objects stored in the fields, thereby enabling an object to claim (exclusive) ownership of and  ...  access to other objects.  ...  and the Swedish Research Council within the UPMARC Linnaeus centre of Excellence and the project Structured Aliasing.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-36946-9_3">doi:10.1007/978-3-642-36946-9_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/inhsxhjizzfrvizsdz5blacu4i">fatcat:inhsxhjizzfrvizsdz5blacu4i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809160655/https://lirias.kuleuven.be/bitstream/123456789/410087/1/ownershipsurvey.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2e/c9/2ec97bd46ca1b3df1959573ff1684c6ec96cb74e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-36946-9_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Domains: Sharing state in the communicating event-loop actor model

Joeri De Koster, Stefan Marr, Tom Van Cutsem, Theo D׳Hondt
<span title="">2016</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s4g6viwy4zav7drpx4exlk73tu" style="color: black;">Computer languages, systems &amp; structures</a> </i> &nbsp;
The actor model is a message-passing concurrency model that avoids deadlocks and low-level data races by construction.  ...  The tradeoff is that the actor model sacrifices expressiveness and safety guarantees with respect to parallel access to shared state.  ...  In the domain model, object heaps are no longer encapsulated by a single actor but are "extracted" from that actor and unified with a different concept called a domain.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cl.2016.01.003">doi:10.1016/j.cl.2016.01.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g3tfpfojnrhpzhvxwxwatokgam">fatcat:g3tfpfojnrhpzhvxwxwatokgam</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722005606/https://kar.kent.ac.uk/63821/1/comlan-de-koster-et-al-domains-sharing-state-in-the-communicating-event-loop-actor-model.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/95/1f/951f3d7f0e1d7d278b281ec6e6acae587214611e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cl.2016.01.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Modeling Concurrent Systems with Shared Resources [chapter]

Ángel Herranz, Julio Mariño, Manuel Carro, Juan José Moreno Navarro
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
like mutual exclusion and conditional synchronisation are isolated, and external verification of processes, where synchronisation mechanisms are not relevant.  ...  Our method is language independent, non-intrusive for the development process, and improves the portability of the resulting system.  ...  Models such as Creol [4] , that proposes a formal model of distributed concurrent objects based on asynchronous message passing, or CoBoxes [10] which unifies active objects with structured heaps, are  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04570-7_9">doi:10.1007/978-3-642-04570-7_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7s7g6hv4vrfn3mawt576qh5hne">fatcat:7s7g6hv4vrfn3mawt576qh5hne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120413134035/http://oa.upm.es/5712/1/INVE_MEM_2009_70500.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/12/d2/12d2ece58335dc7e1a49b8bc631fab6750f0f7e9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04570-7_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Validating Behavioral Component Interfaces in Rewriting Logic

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Acknowledgement We thank Andreas Grüner for giving insight to the field of testing of (concurrent) object-oriented languages, the members of the PMA group for valuable feedback and the anonymous referees  ...  And we thank the anonymous referees for constructive criticism and hints to related work.  ...  [SPH08] Jan Schäfer and Arnd Poetzsch-Heffter. CoBoxes: Unifying Active Objects and Structured Heaps.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.12.069">doi:10.1016/j.entcs.2005.12.069</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/chb5rxirp5afld7emzxe6pdlim">fatcat:chb5rxirp5afld7emzxe6pdlim</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171120024418/https://core.ac.uk/download/pdf/30827811.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e8/4f/e84fb4cfc9220ac0be2689e8c4fb3bf83837c662.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.12.069"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Isolated Actors for Race-Free Concurrent Programming

Philipp Haller
<span title="2010-09-23">2010</span>
Finally, we introduce a new type-based approach to actor isolation which avoids data races using unique object references.  ...  Existing implementations for mainstream platforms achieve high performance and scalability only at the cost of flexibility and ease of use: the control inversion introduced by event-driven designs and  ...  Coboxes [111] generalize active objects by supporting cooperative scheduling of multiple tasks inside a single active object.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5075/epfl-thesis-4874">doi:10.5075/epfl-thesis-4874</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eyglhddgwbf5jhunwo52vzi3iy">fatcat:eyglhddgwbf5jhunwo52vzi3iy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190307121046/https://infoscience.epfl.ch/record/151999/files/EPFL_TH4874.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/41/55/41552943a5a8db263211f059b964e3208b8443ff.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5075/epfl-thesis-4874"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>