@inproceedings{JaksicPadovani12,
  author = {Svetlana Jak\v{s}ic and Luca Padovani},
  booktitle = {Proceedings of the International ACM SIGPLAN Symposium on
               Principles and Practice of Declarative Programming (PPDP'12)},
  url = {http://www.di.unito.it/~padovani/Papers/JaksicPadovani12.pdf},
  abstract = { Copyless messaging is a communication mechanism in which only
              pointers to messages are exchanged between sender and receiver
              processes. Because of its intrinsically low overhead, copyless
              messaging can be profitably adopted for the development of complex
              software systems where processes have access to a shared address
              space. However, the very same mechanism fosters the proliferation
              of programming errors due to the explicit use of pointers and to
              the sharing of data. In this paper we study a type discipline for
              copyless messaging that, together with some minimal support from
              the runtime system, is able to guarantee the absence of
              communication errors, memory faults, and memory leaks in presence
              of exceptions. To formalize the semantics of processes we draw
              inspiration from software transactional memories: in our case a
              transaction is a process that is meant to accomplish some exchange
              of messages and that should either be executed completely, or
              should have no observable effect if aborted by an exception. },
  title = {{Exception Handling for Copyless Messaging}},
  publisher = {ACM},
  pages = {151-162},
  doi = {10.1145/2370776.2370796},
  year = {2012},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)