From 8bfd3d5aeb45b995ae7f101569c239759a40b992 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 15 Mar 2016 19:56:42 +0100
Subject: [PATCH] update bibs
---
docs/bib.bib | 27 ++++++++++++++++++---------
1 file changed, 18 insertions(+), 9 deletions(-)
diff --git a/docs/bib.bib b/docs/bib.bib
index 0f1f4c62d..506c8d5f1 100644
--- a/docs/bib.bib
+++ b/docs/bib.bib
@@ -11,7 +11,8 @@
author = {Ming Fu and Yong Li and Xinyu Feng and Zhong Shao and Yu Zhang},
title = {Reasoning about optimistic concurrency using a program logic for history},
booktitle = {CONCUR},
- year = {2010}
+ year = {2010},
+ pages = {388--402},
}
@Book{Milner1999,
@@ -39,7 +40,7 @@
@article{America-Rutten:JCSS89,
Author = {Pierre America and Jan Rutten},
- Journal = {J. Comput. Syst. Sci.},
+ Journal = {JCSS},
Number = {3},
Pages = {343--375},
Title = {Solving Reflexive Domain Equations in a Category of Complete Metric Spaces},
@@ -2672,6 +2673,7 @@ year = "2002",
title = {Oracle Semantics for Concurrent Separation Logic},
booktitle = {ESOP},
year = {2008},
+ pages = {353--367},
}
@InProceedings{stovring+:popl07,
@@ -2714,6 +2716,7 @@ year = "2002",
title={A Fresh Look at Separation Algebras and Share Accounting},
booktitle={APLAS},
year={2009},
+ pages={161--177},
}
@InProceedings{Balabonski+:flops14,
@@ -3340,24 +3343,28 @@ year = "2002",
author={Aaron Turon and Derek Dreyer and Lars Birkedal},
booktitle={ICFP},
year={2013},
+ pages = {377--390},
}
@InProceedings{fcsl,
author = {Aleksandar Nanevski and Ruy Ley-Wild and Ilya Sergey and Germ\'an Andr\'es Delbianco},
title = {Communicating State Transition Systems for Fine-Grained Concurrent Resources},
booktitle = {ESOP},
year = {2014},
+ pages = {290--310},
}
@InProceedings{tada,
author = {Pedro {da Rocha Pinto} and Thomas Dinsdale-Young and Philippa Gardner},
title = {{TaDA}: A Logic for Time and Data Abstraction},
booktitle = {ECOOP},
year = {2014},
+ pages = {207--231},
}
@InProceedings{icap,
author = {Kasper Svendsen and Lars Birkedal},
title = {Impredicative Concurrent Abstract Predicates},
booktitle = {ESOP},
year = {2014},
+ pages = {149--168},
}
@InProceedings{krishnaswami+:icfp12,
@@ -3372,6 +3379,7 @@ year = "2002",
and Vafeiadis, V.},
booktitle={ECOOP},
year={2010},
+ pages = {504--528},
}
@inproceedings{scsl,
author = {Ley-Wild, Ruy and Nanevski, Aleksandar},
@@ -3402,14 +3410,16 @@ year = {2013}
author = {Feng, Xinyu},
title = {Local rely-guarantee reasoning},
booktitle = {POPL},
- year = {2009}
- }
+ year = {2009},
+ pages = {315--327},
+}
@inproceedings{rgsep,
title={A marriage of rely/guarantee and separation logic},
author={Vafeiadis, V. and Parkinson, M.},
booktitle={CONCUR},
year={2007},
+ pages = {256--271},
}
@InProceedings{Parkinson+:popl07,
@@ -3503,6 +3513,7 @@ year = {2013}
title = {On the relationship between concurrent separation logic and assume-guarantee reasoning},
booktitle = {ESOP},
year = {2007},
+ pages = {173--188},
}
@@ -3585,7 +3596,7 @@ year = {2013}
Lars Birkedal},
title = {Verifying Custom Synchronization Constructs Using Higher-Order Separation
Logic},
- journal = {{ACM} Trans. Program. Lang. Syst.},
+ journal = {TOPLAS},
volume = {38},
number = {2},
pages = {4},
@@ -3664,9 +3675,7 @@ year = {2013}
Viktor Vafeiadis and
Derek Dreyer},
title = {{GPS:} navigating weak memory with ghosts, protocols, and separation},
- booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
- Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
- part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
+ booktitle = {OOPSLA},
pages = {691--707},
year = {2014},
url = {http://doi.acm.org/10.1145/2660193.2660243},
@@ -3681,7 +3690,7 @@ year = {2013}
Kristian St{\o}vring and
Jacob Thamsborg},
title = {The category-theoretic solution of recursive metric-space equations},
- journal = {Theor. Comput. Sci.},
+ journal = {TCS},
volume = {411},
number = {47},
pages = {4102--4122},
--
GitLab