skip to main content
10.1145/2792434.2792445acmconferencesArticle/Chapter ViewAbstractPublication PagespoplConference Proceedingsconference-collections
research-article

Separation logic for weak memory models

Published: 15 January 2015 Publication History

Abstract

No abstract available.

Supplementary Material

MPG File (a11-vafeiadis.mpg)

Cited By

View all
  • (2018)Replacing Store Buffers by Load Buffers in TSOVerification and Evaluation of Computer and Communication Systems10.1007/978-3-030-00359-3_2(22-28)Online publication date: 31-Aug-2018

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
PLMW '15: Proceedings of the Programming Languages Mentoring Workshop
January 2015
ISBN:9781450332996
DOI:10.1145/2792434
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 January 2015

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Conference

POPL '15
Sponsor:

Upcoming Conference

POPL '26

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 05 Mar 2025

Other Metrics

Citations

Cited By

View all
  • (2018)Replacing Store Buffers by Load Buffers in TSOVerification and Evaluation of Computer and Communication Systems10.1007/978-3-030-00359-3_2(22-28)Online publication date: 31-Aug-2018

View Options

View options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media