Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore

@inproceedings{Brandauer2015ParallelOF,
  title={Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore},
  author={Stephan Brandauer and Elias Castegren and Dave Clarke and Kiko Fernandez-Reyes and Einar Broch Johnsen and Ka I Pun and Silvia Lizeth Tapia Tarifa and Tobias Wrigstad and Albert Mingkun Yang},
  booktitle={SFM},
  year={2015}
}
This volume collects a set of papers accompanying the lectures of the 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). This series of schools addresses the use of formal methods in computer science as a prominent approach to the rigorous design of the above-mentioned systems. The main aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of help… CONTINUE READING
Highly Cited
This paper has 46 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 40 references

Capable: Capabilities for scalability

  • E. Castegren, T. Wrigstad
  • IWACO 2014,
  • 2014
1 Excerpt

editors

  • D. Clarke, J. Noble, T. Wrigstad
  • Aliasing in Object-Oriented Programming. Types…
  • 2013
2 Excerpts

Similar Papers

Loading similar papers…