Commit 01055854 authored by POTTIER Francois's avatar POTTIER Francois

Mise à jour biblio.

parent 539113df
......@@ -93,6 +93,9 @@
@String{fool = "Foundations of Object-Oriented Languages (FOOL)"}
@String{fopara = "Foundational and Practical Aspects of Resource
Analysis"}
@String{fosad = "Foundations of Security Analysis and Design"}
@String{fossacs = "Foundations of Software Science and Computation
......@@ -205,6 +208,8 @@
@String{lics = "Logic in Computer Science (LICS)"}
@String{lipics = "{Leibniz} International Proceedings in Informatics"}
@String{lmcs = "Logical Methods in Computer Science"}
@String{lnai = "Lecture Notes in Artificial Intelligence"}
......@@ -224,6 +229,9 @@
@String{merlin = "ACM Workshop on Mechanized Reasoning about Languages
with Variable Binding"}
@String{mfcs = "International Symposium on Mathematical Foundations of
Computer Science"}
@String{mfps = "Mathematical Foundations of Programming Semantics"}
@String{mitp = "MIT Press"}
......@@ -304,6 +312,8 @@
@String{sigops = "ACM Operating Systems Review"}
@String{soda = "Symposium on Discrete Algorithms (SODA)"}
@String{sp = "{IEEE} Symposium on Security and Privacy (S\&P)"}
@String{spe = "Software -- Practice \& Experience"}
......@@ -606,6 +616,14 @@
year = "1989",
}
@Book{aho-hopcroft-ullman-74,
author = "Alfred V. Aho and John E. Hopcroft and Jeffrey D.
Ullman",
title = "The Design and Analysis of Computer Algorithms",
publisher = aw,
year = "1974",
}
@Book{aho-hopcroft-ullman-83,
author = "Alfred V. Aho and John E. Hopcroft and Jeffrey D.
Ullman",
......@@ -796,6 +814,18 @@
URL = "http://gsd.di.uminho.pt/publications/gsd-1997-04/file/at_download",
}
@Article{alstrup-al-14,
author = "Stephen Alstrup and Mikkel Thorup and Inge Li G{\o}rtz
and Theis Rauhe and Uri Zwick",
title = "Union-Find with Constant Time Deletions",
journal = "{ACM} Transactions on Algorithms",
volume = "11",
number = "1",
pages = "6:1--6:28",
year = "2014",
URL = "http://doi.acm.org/10.1145/2636922",
}
@InProceedings{altenkirch-pisigma-10,
author = "Thorsten Altenkirch and Nils Anders Danielsson and
Andres L{\"o}h and Nicolas Oury",
......@@ -833,6 +863,28 @@
URL = "http://research.microsoft.com/Users/luca/Papers/SRT.pdf",
}
@InProceedings{amadio-regis-gianas-11,
author = "Roberto Amadio and Yann R{\'{e}}gis{-}Gianas",
title = "Certifying and Reasoning on Cost Annotations of
Functional Programs",
booktitle = fopara,
pages = "72--89",
year = "2011",
series = lncs,
volume = "7177",
publisher = springer,
URL = "http://dx.doi.org/10.1007/978-3-642-32495-6_5",
}
@Article{amadio-regis-gianas-13,
title = "Certifying and reasoning about cost annotations of
functional programs",
author = "Roberto Amadio and Yann R{\'e}gis-Gianas",
URL = "https://hal.inria.fr/inria-00629473",
journal = hosc,
year = "2013",
}
@InProceedings{america-rutten-88,
author = "Pierre America and Jan Rutten",
title = "Solving reflexive domain equations in a category of
......@@ -894,6 +946,20 @@
year = "1980",
}
@InProceedings{antonopoulos-14,
author = "Timos Antonopoulos and Nikos Gorogiannis and Christoph
Haase and Max I. Kanovich and Jo{\"{e}}l Ouaknine",
title = "Foundations for Decision Problems in Separation Logic
with General Inductive Predicates",
booktitle = fossacs,
pages = "411--425",
year = "2014",
series = lncs,
volume = "8412",
publisher = springer,
URL = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/AGHKO-fossacs14.pdf",
}
@InProceedings{aponte-dicosmo-96,
author = "Maria-Virginia Aponte and Roberto {Di Cosmo}",
title = "Type isomorphisms for module signatures",
......@@ -1013,6 +1079,16 @@
URL = "http://homepages.inf.ed.ac.uk/ratkey/paramnotions-jfp.pdf",
}
@Article{atkey-11,
title = "Amortised Resource Analysis with Separation Logic",
author = "Robert Atkey",
year = "2011",
journal = lmcs,
volume = "7",
number = "2:17",
URL = "http://bentnib.org/amortised-sep-logic-journal.pdf",
}
@InProceedings{atkey-amortised-10,
author = "Robert Atkey",
title = "Amortised Resource Analysis with Separation Logic",
......@@ -1053,7 +1129,7 @@
booktitle = fpca,
pages = "65--73",
year = "1993",
URL = "http://www.cs.chalmers.se/pub/cs-reports/papers/overload-fpca-93.ps.Z",
URL = "http://dl.acm.org/citation.cfm?id=165191",
}
@Book{autebert-94,
......@@ -1075,6 +1151,20 @@
URL = "http://www-igm.univ-mlv.fr/~berstel/Articles/CFLPDA.ps.gz",
}
@InProceedings{ayache-amadio-regis-gianas-12,
author = "Nicholas Ayache and Roberto M. Amadio and Yann
R{\'{e}}gis{-}Gianas",
title = "Certifying and Reasoning on Cost Annotations in {C}
Programs",
booktitle = "Formal Methods for Industrial Critical Systems",
pages = "32--46",
year = "2012",
series = lncs,
volume = "7437",
publisher = springer,
URL = "http://dx.doi.org/10.1007/978-3-642-32469-7_3",
}
@InProceedings{aycock-horspool-00,
author = "John Aycock and Nigel Horspool",
title = "Simple Generation of Static Single-Assignment Form",
......@@ -1367,7 +1457,7 @@
series = lncs,
volume = "3780",
pages = "52--68",
ee = "http://www.dcs.qmul.ac.uk/~berdine/papers/execution.pdf",
URL = "http://www.dcs.qmul.ac.uk/~berdine/papers/execution.pdf",
}
@InProceedings{berdine-decidable-fragment-04,
......@@ -1705,6 +1795,15 @@
author = "Sandip K. Biswas",
}
@InProceedings{blelloch-greiner-95,
author = "Guy E. Blelloch and John Greiner",
title = "Parallelism in Sequential Functional Languages",
booktitle = fpca,
pages = "226--237",
year = "1995",
URL = "http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/fpca-pal.ps.gz",
}
@InProceedings{bodei-al-99,
author = "Chiara Bodei and Pierpaolo Degano and Flemming Nielson
and Hanne Riis Nielson",
......@@ -1746,7 +1845,7 @@
Languages",
school = "Chalmers University of Technology",
year = "1999",
URL = "http://www.cs.chalmers.se/~boquist/phd/phd.ps.gz",
URL = "http://www.cs.uu.nl/docs/vakken/macc/boquist.pdf",
}
@Article{boreale-sangiorgi-98,
......@@ -1842,7 +1941,7 @@
year = "1996",
type = "Research Report",
number = "26",
URL = "http://www.exalead.com/Francois.Bourdoncle/mlsub.html",
URL = "http://www.loria.fr/~merz/papers/mlsub.html",
}
@InProceedings{bourdoncle-merz-97,
......@@ -1905,8 +2004,9 @@
journal = toplas,
volume = "32",
number = "6",
pages = "22:1--22:33",
year = "2010",
URL = "http://www.cs.uwm.edu/~boyland/papers/frac-nesting.html",
URL = "http://dx.doi.org/10.1145/1749608.1749611",
}
@InProceedings{boyland-retert-05,
......@@ -2207,6 +2307,17 @@
URL = "http://www.doc.ic.ac.uk/~ccris/ftp/asl-short.pdf",
}
@InProceedings{calcagno-yang-ohearn-01,
author = "Cristiano Calcagno and Hongseok Yang and Peter W.
O'Hearn",
title = "Computability and Complexity Results for a Spatial
Assertion Language for Data Structures",
booktitle = aplas,
pages = "289--300",
year = "2001",
URL = "http://www.cs.ox.ac.uk/people/hongseok.yang/paper/decidability.ps",
}
@Misc{caml-light,
author = "Xavier Leroy and Damien Doligez and Michel Mauny and
Pierre Weis",
......@@ -2434,6 +2545,23 @@
URL = "http://mlton.org/papers/00-esop.ps.gz",
}
@InProceedings{cerco,
author = "Roberto M. Amadio and Nicholas Ayache and
Fran{\c{c}}ois Bobot and Jaap Boender and Brian
Campbell and Ilias Garnier and Antoine Madet and James
McKinna and Dominic P. Mulligan and Mauro Piccolo and
Randy Pollack and Yann R{\'{e}}gis{-}Gianas and Claudio
Sacerdoti Coen and Ian Stark and Paolo Tranquilli",
title = "Certified Complexity ({CerCo})",
booktitle = fopara,
pages = "1--18",
year = "2014",
series = lncs,
publisher = springer,
volume = "8552",
URL = "http://dx.doi.org/10.1007/978-3-319-12466-7_1",
}
@TechReport{chambers-leavens-96,
author = "Craig Chambers and Gary T. Leavens",
title = "{BeCecil}, a Core Object-Oriented Language with Block
......@@ -2466,7 +2594,7 @@
Verification",
school = "Université Paris 7",
year = "2010",
URL = "http://www.chargueraud.org/arthur/research/2010/thesis/",
URL = "http://www.chargueraud.org/research/2010/thesis/thesis_final.pdf",
}
@InProceedings{chargueraud-10-cfml,
......@@ -2658,6 +2786,17 @@
URL = "http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf",
}
@InProceedings{chlipala-bedrock-13,
author = "Adam Chlipala",
title = "The {Bedrock} structured programming system: combining
generative metaprogramming and {Hoare} logic in an
extensible program verifier",
booktitle = icfp,
pages = "391--402",
year = "2013",
URL = "http://adam.chlipala.net/papers/BedrockICFP13/BedrockICFP13.pdf",
}
@Book{chlipala-cpdt-13,
author = "Adam Chlipala",
title = "Certified Programming and Dependent Types",
......@@ -2686,6 +2825,18 @@
URL = "http://www.cs.indiana.edu/cgi-bin/techreports/TRNNN.cgi?trnum=TR566",
}
@InProceedings{chrzaszcz-98,
author = "Jacek Chrzaszcz",
title = "Polymorphic Subtyping Without Distributivity",
booktitle = mfcs,
pages = "346--355",
year = "1998",
series = lncs,
volume = "1450",
publisher = springer,
URL = "http://www.mimuw.edu.pl/~chrzaszc/papers/Chrzaszcz_Polymorphic-subtyping-without-distributivity.ps.gz",
}
@Article{clarke-79,
author = "Edmund Clarke",
title = "Programming Language Constructs for Which It Is
......@@ -2896,6 +3047,16 @@
howpublished = "\url{http://compcert.inria.fr/}",
}
@InProceedings{conchon-filliatre-07,
author = "Sylvain Conchon and Jean{-}Christophe
Filli{\^{a}}tre",
title = "A persistent union-find data structure",
booktitle = ml,
pages = "37--46",
year = "2007",
URL = "https://www.lri.fr/~filliatr/puf/",
}
@Book{conchon-filliatre-ocaml-14,
author = "Sylvain Conchon et Jean-Christophe Filliâtre",
title = "Apprendre à programmer avec {OCaml}: Algorithmes et
......@@ -2965,6 +3126,20 @@
URL = "http://doi.acm.org/10.1145/800157.805047",
}
@InProceedings{cook-tractable-11,
author = "Byron Cook and Christoph Haase and Jo{\"{e}}l Ouaknine
and Matthew J. Parkinson and James Worrell",
title = "Tractable Reasoning in a Fragment of Separation
Logic",
booktitle = concur,
pages = "235--249",
year = "2011",
series = lncs,
volume = "6901",
publisher = springer,
URL = "http://www.cs.ox.ac.uk/files/4048/sl.pdf",
}
@TechReport{cooper-harvey-kennedy-04,
author = "Keith D. Cooper and Timothy J. Harvey and Ken
Kennedy",
......@@ -3264,7 +3439,7 @@
Purely Functional Data Structures",
booktitle = popl,
year = "2008",
URL = "http://www.cs.chalmers.se/~nad/publications/danielsson-popl2008.pdf",
URL = "http://www.cse.chalmers.se/~nad/publications/danielsson-popl2008.pdf",
}
@InProceedings{danielsson-altenkirch-10,
......@@ -3279,6 +3454,15 @@
URL = "http://www.cse.chalmers.se/~nad/publications/danielsson-altenkirch-subtyping.pdf",
}
@InProceedings{danner-13,
author = "Norman Danner and Jennifer Paykin and James S. Royer",
title = "A static cost analysis for a higher-order language",
booktitle = plpv,
pages = "25--34",
year = "2013",
URL = "http://cis.upenn.edu/~jpaykin/papers/danner_PLPV_2013.pdf",
}
@TechReport{danvy-98,
author = "Olivier Danvy",
title = "Functional Unparsing",
......@@ -3571,7 +3755,7 @@
}
@Article{dietl-mueller-05,
author = "Werner Dietl and M{\"u}ller Peter",
author = "Werner Dietl and Peter M{\"u}ller",
title = "Universes: Lightweight Ownership for {JML}",
journal = jot,
year = "2005",
......@@ -4142,6 +4326,19 @@
URL = "http://www.lri.fr/~filliatr/ftp/publis/find.ps.gz",
}
@InProceedings{filliatre-ghost-14,
author = "Jean{-}Christophe Filli{\^{a}}tre and L{\'{e}}on
Gondelman and Andrei Paskevich",
title = "The Spirit of Ghost Code",
booktitle = cav,
pages = "1--16",
year = "2014",
series = lncs,
volume = "8559",
publisher = springer,
URL = "https://hal.archives-ouvertes.fr/hal-00873187/PDF/main.pdf",
}
@InProceedings{filliatre-letouzey-04,
author = "Jean-Christophe Filliâtre and Pierre Letouzey",
title = "Functors for Proofs and Programs",
......@@ -4440,6 +4637,16 @@
URL = "http://arxiv.org/abs/1106.5128",
}
@InProceedings{fredman-saks-89,
author = "Michael Fredman and Michael Saks",
title = "The Cell Probe Complexity of Dynamic Data Structures",
pages = "345--354",
booktitle = "Annual Symposium on Theory of Computing ({STOC})",
publisher = "ACM",
year = "1989",
URL = "http://dx.doi.org/10.1145/73007.73040",
}
@Article{fredman-tarjan-87,
author = "Michael L. Fredman and Robert Endre Tarjan",
title = "Fibonacci heaps and their uses in improved network
......@@ -4476,8 +4683,7 @@
avec objets, sous-typage et multi-méthodes",
school = "École des Mines de Paris",
year = "2004",
URL = "http://pastel.rilk.com/archive/00000792/01/these-afrey.pdf",
alturl = "http://these.afrey.free.fr/download/these-afrey.pdf",
URL = "http://gallium.inria.fr/~remy/students/alexandre.frey.pdf",
}
@InProceedings{frey-97,
......@@ -4592,6 +4798,29 @@
alturl = "http://www.springerlink.com/link.asp?id=epn028x83rqw00qv",
}
@Article{galil-italiano-91,
author = "Zvi Galil and Giuseppe F. Italiano",
title = "Data Structures and Algorithms for Disjoint Set Union
Problems",
journal = surveys,
volume = "23",
number = "3",
pages = "319--344",
year = "1991",
URL = "http://doi.acm.org/10.1145/116873.116878",
}
@Article{galler-fischer-64,
author = "Bernard A. Galler and Michael J. Fischer",
title = "An improved equivalence algorithm",
journal = cacm,
volume = "7",
number = "5",
pages = "301--303",
year = "1964",
URL = "http://doi.acm.org/10.1145/364099.364331",
}
@Article{gapeyev-levin-pierce-00,
author = "Vladimir Gapeyev and Michael Levin and Benjamin
Pierce",
......@@ -4941,6 +5170,16 @@
year = "1994",
}
@Article{gries-73,
author = "David Gries",
title = "Describing an Algorithm by {Hopcroft}",
journal = acta,
volume = "2",
pages = "97--109",
year = "1973",
URL = "http://dx.doi.org/10.1007/BF00264025",
}
@Article{grossman-06,
author = "Dan Grossman",
title = "Quantified Types in an Imperative Language",
......@@ -5142,6 +5381,18 @@
URL = "http://www.cis.upenn.edu/~KeyKOS/ConfusedDeputy.html",
}
@Article{harfst-reingold-00,
author = "Gregory C. Harfst and Edward M. Reingold",
title = "A potential-based amortized analysis of the union-find
data structure",
journal = "{SIGACT} News",
volume = "31",
number = "3",
pages = "86--95",
year = "2000",
URL = "http://doi.acm.org/10.1145/356458.356463",
}
@Article{harper-94,
author = "Robert Harper",
title = "A simplified account of polymorphic references",
......@@ -5570,6 +5821,18 @@
URL = "http://www.cs.ox.ac.uk/ralf.hinze/publications/TypedLR.pdf",
}
@Article{hinze-paterson-06,
title = "Finger trees: a simple general-purpose data
structure",
author = "Ralf Hinze and Ross Paterson",
journal = jfp,
year = "2006",
number = "2",
volume = "16",
pages = "197--217",
URL = "http://www.cs.ox.ac.uk/ralf.hinze/publications/FingerTrees.pdf",
}
@InProceedings{hirschowitz-cbv-04,
author = "Tom Hirschowitz and Xavier Leroy and J. B. Wells",
title = "Call-by-value mixin modules: Reduction semantics, side
......@@ -5675,6 +5938,42 @@
URL = "http://www.cs.princeton.edu/~appel/papers/concurrent.pdf",
}
@Article{hoffmann-aehlig-hofmann-multivariate-12,
author = "Jan Hoffmann and Klaus Aehlig and Martin Hofmann",
title = "Multivariate amortized resource analysis",
journal = toplas,
volume = "34",
number = "3",
pages = "14:1--14:62",
year = "2012",
URL = "http://doi.acm.org/10.1145/2362389.2362393",
}
@InProceedings{hoffmann-aehlig-hofmann-raml-12,
author = "Jan Hoffmann and Klaus Aehlig and Martin Hofmann",
title = "Resource Aware {ML}",
booktitle = cav,
pages = "781--786",
year = "2012",
URL = "http://dx.doi.org/10.1007/978-3-642-31424-7_64",
series = lncs,
volume = "7358",
publisher = springer,
}
@InProceedings{hoffmann-hofmann-10,
author = "Jan Hoffmann and Martin Hofmann",
title = "Amortized Resource Analysis with Polynomial
Potential",
booktitle = esop,
pages = "287--306",
year = "2010",
volume = "6012",
series = lncs,
publisher = springer,
URL = "http://www.cs.yale.edu/homes/hoffmann/papers/aapoly_conference.pdf",
}
@Article{hofmann-00,
author = "Martin Hofmann",
title = "A type system for bounded space and functional
......@@ -5694,7 +5993,20 @@
booktitle = popl,
year = "2003",
pages = "185--197",
URL = "http://www.cs.st-andrews.ac.uk/~jost/research/full_p17-hofmann.ps",
URL = "http://www2.tcs.ifi.lmu.de/~jost/research/POPL_2003_Jost_Hofmann.pdf",
}
@InProceedings{hofmann-moser-14,
author = "Martin Hofmann and Georg Moser",
title = "Amortised Resource Analysis and Typed Polynomial
Interpretations",
booktitle = tlca,
pages = "272--286",
year = "2014",
volume = "8560",
series = lncs,
publisher = springer,
URL = "http://arxiv.org/pdf/1402.1922.pdf",
}
@InProceedings{hofmann-pavlova-08,
......@@ -5811,6 +6123,17 @@
URL = "http://www-db.stanford.edu/~ullman/ialc.html",
}
@Article{hopcroft-ullman-73,
author = "John E. Hopcroft and Jeffrey D. Ullman",
title = "Set Merging Algorithms",
journal = siamjc,
volume = "2",
number = "4",
pages = "294--303",
year = "1973",
URL = "http://dx.doi.org/10.1137/0202024",
}
@Article{horspool-faster-90,
author = "R. Nigel Horspool and Michael Whitney",
title = "Even Faster {LR} Parsing",
......@@ -5921,7 +6244,7 @@
number = "2",
pages = "98--107",
year = "1989",
URL = "http://www.math.chalmers.se/~rjmh/Papers/whyfp.pdf",
URL = "http://www.cse.chalmers.se/~rjmh/Papers/whyfp.pdf",
}
@InProceedings{hughes-pareto-sabry-96,
......@@ -5984,6 +6307,16 @@
URL = "http://sdg.csail.mit.edu/pubs/2000/issta00.pdf",
}
@InProceedings{jacobs-termination-15,
author = "Bart Jacobs and Dragan Bosnacki and Ruurd Kuipe",
title = "Modular Termination Verification",
booktitle = ecoop,
pages = "99--1023",
year = "2015",
series = lipics,
URL = "http://people.cs.kuleuven.be/~bart.jacobs/ecoop2015.pdf",
}
@InProceedings{jagannathan-wright-95,
author = "Suresh Jagannathan and Andrew Wright",
title = "Effective Flow Analysis for Avoiding Run-Time Checks",
......@@ -6000,7 +6333,7 @@
title = "Functional Polytypic Programming",
school = "Chalmers University of Technology",
year = "2000",
URL = "http://www.cs.chalmers.se/~patrikj/poly/polythesis/polythesis.ps.gz",
URL = "http://www.cse.chalmers.se/~patrikj/poly/polythesis/Jansson2000_PhD_thesis.pdf",
}
@Book{java,
......@@ -6304,6 +6637,31 @@
URL = "http://webhotel2.ruc.dk/nielsj/research/publications/wsa93.ps",
}
@InProceedings{jost-hammond-loidl-hofmann-10,
author = "Steffen Jost and Kevin Hammond and Hans{-}Wolfgang
Loidl and Martin Hofmann",
title = "Static determination of quantitative resource usage
for higher-order programs",
booktitle = popl,
pages = "223--236",
year = "2010",
URL = "http://www2.tcs.ifi.lmu.de/~jost/research/POPL_2010__Higher-Order_AA__Jost_etAl.pdf",
}
@InProceedings{jost-loidl-hammond-scaife-hofmann-09,
author = "Steffen Jost and Hans{-}Wolfgang Loidl and Kevin
Hammond and Norman Scaife and Martin Hofmann",
title = "{"}Carbon Credits{"} for Resource-Bounded Computations
Using Amortised Analysis",
booktitle = fm,
pages = "354--369",
year = "2009",
series = lncs,
volume = "5850",
publisher = springer,
URL = "http://www2.tcs.ifi.lmu.de/~jost/research/FM09_AmortisedAnalysis__Jost_etAl.pdf",
}
@TechReport{jouannaud-kirchner-90,
author = "Jean-Pierre Jouannaud and Claude Kirchner",
title = "Solving equations in abstract algebras: a rule-based
......@@ -6369,6 +6727,15 @@
URL = "http://www.lri.fr/~kanig/files/thesis-kanig-15112010.pdf",
}
@InProceedings{kaplan-shafrir-tarjan-02,
author = "Haim Kaplan and Nira Shafrir and Robert E. Tarjan",
title = "Union-find with deletions",
booktitle = soda,
pages = "19--28",
year = "2002",
URL = "http://dl.acm.org/citation.cfm?id=545381.545384",
}
@Article{kaplan-tarjan-99,
author = "Haim Kaplan and Robert E. Tarjan",
title = "Purely functional, real-time deques with catenation",
......@@ -6750,6 +7117,15 @@
URL = "http://www.research.ibm.com/javasec/OOPSLA2002preprint.pdf",
}
@Book{kozen-91,
author = "Dexter C. Kozen",
title = "The design and analysis of algorithms",
year = "1992",
series = "Texts and Monographs in Computer Science",
publisher = springer,
URL = "http://www.cs.cornell.edu/~kozen/papers/daa.pdf",
}
@Article{kozen-palsberg-schwartzbach-95,
author = "Dexter Kozen and Jens Palsberg and Michael I.
Schwartzbach",
......@@ -7018,6 +7394,17 @@
URL = "ftp://ftp.cs.brown.edu/pub/techreports/92/cs92-25.ps.gz",
}
@Article{le-metayer-88,
author = "Daniel {Le Métayer}",
title = "{ACE:} An Automatic Complexity Evaluator",
journal = toplas,
volume = "10",
number = "2",
pages = "248--266",
year = "1988",
URL = "http://doi.acm.org/10.1145/42190.42347",
}
@Article{league-02,
author = "Christopher League and Zhong Shao and Valery
Trifonov",
......@@ -7392,6 +7779,7 @@
Implication",
booktitle = tldi,
year = "2011",
pages = "29--42",
URL = "http://dx.doi.org/10.1145/1929553.1929559",
}
......@@ -9252,6 +9640,30 @@
URL = "http://gallium.inria.fr/~fpottier/publis/pilkiewicz-pottier-monotonicity.pdf",
}
@InProceedings{piskac-13,
author = "Ruzica Piskac and Thomas Wies and Damien Zufferey",
title = "Automating Separation Logic Using {SMT}",
booktitle = cav,
pages = "773--789",
year = "2013",
series = lncs,
volume = "8044",
publisher = springer,
URL = "https://www.mpi-sws.org/~piskac/publications/PiskacWiesZuffrey13SepLog.pdf",
}
@InProceedings{piskac-14,
author = "Ruzica Piskac and Thomas Wies and Damien Zufferey",
title = "Automating Separation Logic with Trees and Data",
booktitle = cav,
pages = "711--728",
year = "2014",
series = lncs,
volume = "8559",
publisher = springer,
URL = "http://cs.nyu.edu/wies/publ/automating_separation_logic_with_trees_and_data.pdf",
}
@Article{pitts-03,
author = "Andrew M. Pitts",
title = "Nominal Logic, {A} First Order Theory of Names and
......@@ -9805,6 +10217,15 @@
URL = "http://www.paultaylor.eu/stable/prot.pdf",
}
@PhdThesis{protzenko-phd-14,
author = "Jonathan Protzenko",
title = "{Mezzo}: a typed language for safe effectful
concurrent programs",
year = "2014",
school = "Université Paris Diderot",
URL = "https://hal.inria.fr/tel-01086106/document",
}
@InProceedings{pugh-weddell-90,
author = "William Pugh and Grant Weddell",
title = "Two-directional record layout for multiple
......@@ -10165,6 +10586,16 @@
URL = "http://www.springerlink.com/content/p5801737k78207p7/",
}
@TechReport{reynolds-75,
author = "John C. Reynolds",
title = "User-defined Types and Procedural Data Structures as
Complementary Approaches to Data Abstraction",
institution = "Carnegie Mellon University",
year = "1975",
number = "1278",
URL = "http://repository.cmu.edu/compsci/1278/",
}
@InProceedings{reynolds-78,
author = "John C. Reynolds",
title = "Syntactic control of interference",
......@@ -10292,7 +10723,6 @@
volume = "27",
number = "6",
pages = "523--540",
URL = "http://www.cs.chalmers.se/pub/users/rittri/retrieving-unifying.ps.Z",
}
@PhdThesis{rival-hdr,
......@@ -10375,7 +10805,7 @@
year = "1999",
publisher = springer,
pages = "40--58",
URL = "http://www.cs.chalmers.se/~andrei/esop99.ps",
URL = "http://www.cse.chalmers.se/~andrei/esop99.ps",
}
@InProceedings{sabin-freuder-94,
......@@ -10421,6 +10851,20 @@
URL = "http://flint.cs.yale.edu/flint/publications/cfa.ps.gz",
}
@InProceedings{sands-gustavsson-moran-02,
author = "David Sands and J{\"{o}}rgen Gustavsson and Andrew
Moran",
title = "Lambda Calculi and Linear Speedups",
booktitle = "The Essence of Computation, Complexity, Analysis,
Transformation. Essays Dedicated to Neil D. Jones",
pages = "60--84",
year = "2002",
volume = "2566",
publisher = springer,
series = lncs,
URL = "http://www.cse.chalmers.se/~dave/papers/Sands-Gustavsson-Moran.pdf",
}
@Article{sangiorgi-98,
author = "Davide Sangiorgi",
title = "On the bisimulation proof method",
......@@ -10571,6 +11015,17 @@
year = "2003",
}
@Article{seidel-sharir-05,
author = "Raimund Seidel and Micha Sharir",