Aarhus University Seal / Aarhus Universitets segl

Logical relations for fine-grained concurrency

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

  • Aaron J. Turon, Northeastern University, Unknown
  • Jacob Thamsborg, IT University of Copenhagen, Denmark
  • Amal Ahmed, Northeastern University, Unknown
  • Lars Birkedal
  • Derek Dreyer, MPI-SWS, Saarbruecken, Germany
Original languageEnglish
Title of host publicationPOPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Number of pages14
PublisherAssociation for Computing Machinery
Publication year26 Feb 2013
Pages343-356
ISBN (print)9781450318327
DOIs
Publication statusPublished - 26 Feb 2013
Externally publishedYes
EventACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Rome, Italy
Duration: 23 Jan 201325 Jan 2013
Conference number: 40

Conference

ConferenceACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Nummer40
LandItaly
ByRome
Periode23/01/201325/01/2013

    Research areas

  • data abstraction, fine-grained concurrency, linearizability, local state, logical relations, refinement, separation logic

See relations at Aarhus University Citationformats

ID: 81357950