Commit 4f721e30 authored by POTTIER Francois's avatar POTTIER Francois

Worked on intro. Not done.

parent 1bbc7f69
......@@ -324,7 +324,7 @@
@String{sp = "{IEEE} Symposium on Security and Privacy (S\&P)"}
@String{spe = "Software -- Practice \& Experience"}
@String{spe = "Software: Practice and Experience"}
@String{springer = "Springer"}
......@@ -679,7 +679,7 @@
volume = "1473",
pages = "76--96",
year = "1998",
URL = "http://www.cs.berkeley.edu/~aiken/publications/papers/tic98.ps",
URL = "http://theory.stanford.edu/~aiken/publications/papers/tic98.pdf",
}
@Article{aiken-faehndrich-levien-95,
......@@ -692,7 +692,7 @@
number = "6",
pages = "174--185",
year = "1995",
URL = "http://www.cs.berkeley.edu/~aiken/ftp/region.ps",
URL = "http://www.eecs.berkeley.edu/Pubs/TechRpts/1995/CSD-95-866.pdf",
}
@InProceedings{aiken-faehndrich-mixed-97,
......@@ -702,7 +702,7 @@
pages = "114--126",
booktitle = sas,
year = "1997",
URL = "http://www.cs.berkeley.edu/~aiken/publications/papers/sas97.ps",
URL = "http://theory.stanford.edu/~aiken/publications/papers/sas97.pdf",
}
@TechReport{aiken-faehndrich-scale-96,
......@@ -737,7 +737,7 @@
year = "1999",
volume = "35",
pages = "79--111",
URL = "http://www.cs.berkeley.edu/~aiken/publications/papers/scp99.ps",
URL = "http://theory.stanford.edu/~aiken/publications/papers/scp99.pdf",
}
@TechReport{aiken-palsberg-wimmers-optimal-96,
......@@ -749,7 +749,7 @@
pages = "31",
author = "Alexander S. Aiken and Edward L. Wimmers and Jens
Palsberg",
URL = "http://http.cs.berkeley.edu/~aiken/ftp/quant.ps",
URL = "http://digitalassets.lib.berkeley.edu/techreports/ucb/text/CSD-96-909.pdf",
}
@InProceedings{aiken-wimmers-92,
......@@ -758,7 +758,7 @@
pages = "329--340",
booktitle = lics,
year = "1992",
URL = "http://http.cs.berkeley.edu/~aiken/ftp/lics92.ps",
URL = "http://theory.stanford.edu/~aiken/publications/papers/lics92.pdf",
}
@InProceedings{aiken-wimmers-93,
......@@ -768,7 +768,7 @@
title = "Type Inclusion Constraints and Type Inference",
year = "1993",
pages = "31--41",
URL = "http://http.cs.berkeley.edu/~aiken/ftp/fpca93.ps",
URL = "http://theory.stanford.edu/~aiken/publications/papers/fpca93.pdf",
}
@InProceedings{aiken-wimmers-lakshman-94,
......@@ -778,7 +778,7 @@
title = "Soft Typing with Conditional Types",
year = "1994",
pages = "163--173",
URL = "http://http.cs.berkeley.edu/~aiken/ftp/popl94.ps",
URL = "http://theory.stanford.edu/~aiken/publications/papers/popl94.pdf",
}
@InProceedings{aldrich-borrowing-12,
......@@ -4041,6 +4041,18 @@
URL = "http://ttic.uchicago.edu/~feng/research/publications/DG.pdf",
}
@Article{dodds-sync-16,
author = "Mike Dodds and Suresh Jagannathan and Matthew J.
Parkinson and Kasper Svendsen and Lars Birkedal",
title = "Verifying custom synchronization constructs using
higher-order separation logic",
journal = toplas,
year = "2016",
volume = "28",
number = "2",
URL = "http://dx.doi.org/10.1145/2818638",
}
@InProceedings{donnelly-xi-05,
author = "Kevin Donnelly and Hongwei Xi",
title = "Combining higher-order abstract syntax with
......@@ -5454,6 +5466,14 @@
URL = "https://personal.cis.strath.ac.uk/adam.gundry/thesis/thesis-2013-12-03.pdf",
}
@Article{gupta-nandivada-15,
author = "Kartik Gupta and V. Krishna Nandivada",
title = "Lexical state analyzer for {JavaCC} grammars",
journal = spe,
URL = "http://dx.doi.org/10.1002/spe.2322",
year = "2015",
}
@InProceedings{gustavsson-svenningsson-01,
author = "Jörgen Gustavsson and Josef Svenningsson",
title = "Constraint Abstractions",
......@@ -6926,6 +6946,18 @@
URL = "http://gallium.inria.fr/~fpottier/publis/jourdan-leroy-pottier-validating-parsers.pdf",
}
@InProceedings{jung-15,
author = "Ralf Jung and David Swasey and Filip Sieczkowski and
Kasper Svendsen and Aaron Turon and Lars Birkedal and
Derek Dreyer",
title = "Iris: Monoids and Invariants as an Orthogonal Basis
for Concurrent Reasoning",
booktitle = popl,
pages = "637--650",
year = "2015",
URL = "http://plv.mpi-sws.org/iris/paper.pdf",
}
@Article{kam-ullman-76,
author = "John B. Kam and Jeffrey D. Ullman",
title = "Global Data Flow Analysis and Iterative Algorithms",
......@@ -10348,7 +10380,7 @@
title = "The Essence of {ML} Type Inference",
note = "Draft of an extended version. Unpublished",
year = "2003",
URL = "http://cristal.inria.fr/attapl/preversion.ps.gz",
URL = "http://cristal.inria.fr/attapl/emlti-long.pdf",
}
@InProceedings{pottier-simonet-02,
......@@ -11985,7 +12017,7 @@
booktitle = popl,
pages = "203--216",
year = "2002",
URL = "http://www.cs.berkeley.edu/~aiken/publications/papers/popl02.pdf",
URL = "http://theory.stanford.edu/~aiken/publications/papers/popl02.pdf",
}
@PhdThesis{sulzmann-00,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment