A Scalable, Correct Time-stamped Stack

Dodds, Mike orcid.org/0000-0002-4439-0130, Haas, Andreas and Kirsch, Christoph M. (2015) A Scalable, Correct Time-stamped Stack. In: Proceedings of the 42th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM .

Abstract

Metadata

Authors/Creators:
Dates:
  • Published: 2015
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 16 Jun 2016 08:55
Last Modified: 23 Oct 2021 00:03
Status: Published
Publisher: ACM
Refereed: No

Download

Filename: popl15_final.pdf

Description: popl15_final

Share / Export