Aarhus University Seal / Aarhus Universitets segl

Iris: Monoids and invariants as an orthogonal basis for concurrent reasoning

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

DOI

  • Ralf Jung, Saarland University
  • ,
  • David Swasey, MPI-SWS, Saarbruecken, Denmark
  • Filip Sieczkowski
  • Kasper Svendsen
  • ,
  • Aaron Turon, Mozilla Research
  • ,
  • Lars Birkedal
  • Derek Dreyer, MPI-SWS, Saarbruecken
Original languageEnglish
Title of host publicationConference Record of the Annual ACM Symposium on Principles of Programming Languages
Editors Sriram Rajamani
Number of pages14
PublisherAssociation for Computing Machinery
Publication year14 Jan 2015
Pages637-650
ISBN (print)9781450333009
DOIs
Publication statusPublished - 14 Jan 2015
EventACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Mumbai, India
Duration: 12 Jan 201518 Jan 2015
Conference number: 42

Conference

ConferenceACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Nummer42
LandIndia
ByMumbai
Periode12/01/201518/01/2015

See relations at Aarhus University Citationformats

ID: 91066822