├── .gitignore ├── .travis.yml ├── surveys.bib ├── Makefile ├── bib-abbreviate.pl ├── README.md ├── bibstring-master.bib ├── LICENSE └── proceedings.bib /.gitignore: -------------------------------------------------------------------------------- 1 | bibtest.aux 2 | bibtest.bbl 3 | bibtest.blg 4 | bibtest.log 5 | bibtest.tex 6 | bibtest.dvi 7 | mail 8 | .project 9 | webtest 10 | bib 11 | bibroot 12 | bibstring-abbrev.bib 13 | bibstring-unabbrev.bib -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- 1 | language: c 2 | script: make test 3 | sudo: false 4 | addons: 5 | apt: 6 | packages: 7 | - texlive 8 | - texlive-latex-extra 9 | git: 10 | depth: 9 11 | notifications: 12 | email: false 13 | -------------------------------------------------------------------------------- /surveys.bib: -------------------------------------------------------------------------------- 1 | @article{JiaHarman11MutationTestingSurvey, 2 | author = {Jia, Yue and Harman, Mark}, 3 | title = {An Analysis and Survey of the Development of Mutation Testing}, 4 | journal = TSE, 5 | pages = {649--678}, 6 | year = {2011}, 7 | volume = {37}, 8 | number = {5}, 9 | LONGissue_date = {September 2011}, 10 | LONGmonth = sep, 11 | LONGpublisher = {IEEE Press}, 12 | LONGaddress = {Piscataway, NJ, USA}, 13 | } 14 | 15 | @article{YooHarman10RegressionTestingSurvey, 16 | author = {Yoo, Shin and Harman, Mark}, 17 | title = {Regression Testing Minimization, Selection and Prioritization: A Survey}, 18 | journal = STVR, 19 | pages = {67--120}, 20 | year = {2012}, 21 | volume = {22}, 22 | number = {2}, 23 | LONGpublisher = {John Wiley & Sons, Ltd}, 24 | } 25 | 26 | @article{Jhala2009, 27 | author = {Jhala, Ranjit and Majumdar, Rupak}, 28 | title = {Software Model Checking}, 29 | journal = {ACM Comput. Surv.}, 30 | issue_date = {October 2009}, 31 | volume = {41}, 32 | number = {4}, 33 | month = oct, 34 | year = {2009}, 35 | issn = {0360-0300}, 36 | pages = {21:1--21:54}, 37 | articleno = {21}, 38 | numpages = {54}, 39 | url = {http://doi.acm.org/10.1145/1592434.1592438}, 40 | doi = {10.1145/1592434.1592438}, 41 | acmid = {1592438}, 42 | publisher = {ACM}, 43 | address = {New York, NY, USA}, 44 | } 45 | -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- 1 | # Put user-specific changes in your own Makefile.user. 2 | # Make will silently continue if that file does not exist. 3 | -include Makefile.user 4 | 5 | BIB_ABBREVIATE ?= ./bib-abbreviate.pl 6 | 7 | # TODO: reinstate bibstring-crossrefs-abbrev.bib 8 | all: bibstring-unabbrev.bib bibstring-abbrev.bib bibroot 9 | 10 | BIBFILES := $(shell ls *.bib | grep -v bibstring-unabbrev.bib | grep -v bibstring-abbrev.bib) 11 | 12 | clean: bibtest-aux-clean 13 | rm -f bibstring-unabbrev.bib bibstring-abbrev.bib bibroot bibtest.tex 14 | rm -rf docs 15 | 16 | docs/index.html: README.md 17 | asciidoctor $< --out-file=$@ 18 | 19 | bibstring-unabbrev.bib: bibstring-master.bib $(BIB_ABBREVIATE) 20 | @rm -f $@ 21 | $(BIB_ABBREVIATE) $< > $@ 22 | @chmod -w $@ 23 | 24 | bibstring-abbrev.bib: bibstring-master.bib $(BIB_ABBREVIATE) 25 | @rm -f $@ 26 | $(BIB_ABBREVIATE) -abbrev $< > $@ 27 | @chmod -w $@ 28 | 29 | ## TODO: write a new abbreviaton script, only for [book]titles 30 | # bibstring-crossrefs-abbrev.bib: bibstring-crossrefs-master.bib $(BIB_ABBREVIATE) 31 | # @rm -f $@ 32 | # $(BIB_TITLE_ABBREVIATE) -abbrev $< > $@ 33 | # @chmod -w $@ 34 | 35 | bibroot: *.bib 36 | @rm -f $@ 37 | @ls -1 *.bib | perl -p -e 'BEGIN { print "% File for finding bibliography items.\n\n"; } if (/^bibstring/ || /^crossrefs/) { $$_=""; next; }; s:^(.*)$$:\\include{$$1}:;' > $@ 38 | @chmod -w $@ 39 | 40 | bibtest-aux-clean: 41 | rm -f bibtest.aux bibtest.bbl bibtest.blg bibtest.dvi bibtest.log 42 | 43 | bibtest.tex: *.bib 44 | @rm -f $@ 45 | @ls -1 *.bib | perl -p -e 'BEGIN { print "\\documentclass{report}\n\\usepackage{url}\n\\usepackage{fullpage}\n\\usepackage{relsize}\n\\begin{document}\\hbadness=10000\n\n\\bibliographystyle{alpha}\n\\nocite{*}\n\n\\bibliography{bibstring-unabbrev"; } END { print ",crossrefs}\n\n\\end{document}\n"; } if (/^bibstring/ || /^crossrefs/) { $$_=""; next; }; s:^(.*)\.bib\n:,$$1:;' > $@ 46 | @chmod -w $@ 47 | # This must be phony because a file might be old, but not listed in bibroot. 48 | .PHONY: bibtest.tex 49 | 50 | # Before doing this, run bibtex-validate-globally 51 | # I'm not sure why this doesn't work (so for now do it by hand): 52 | # emacs -batch -l bibtex --eval="(progn (setq bibtex-files '(bibtex-file-path) enable-local-eval t) (bibtex-validate-globally))" 53 | test: bibtest 54 | bibtest: all bibtest-aux-clean bibtest.tex 55 | @echo -n 'First latex run, suppressing warnings...' 56 | @-latex -interaction=batchmode bibtest >/dev/null 2>&1 57 | @echo 'done' 58 | bibtex -terse -min-crossrefs=9999 bibtest 2>&1 | grep -v "Warning--to sort, need editor, organization" 59 | @echo -n 'Second latex run, suppressing warnings...' 60 | @-latex -interaction=batchmode bibtest >/dev/null 2>&1 61 | @echo 'done' 62 | @echo 'Third latex run, now warnings matter:' 63 | latex -interaction=batchmode bibtest 64 | # This doesn't work. I don't want non-ASCII characters within used fields of 65 | # bib entries, but elsewhere in the file, and in the authorASCII field, is OK. 66 | # chartest: 67 | # grep -P "[\x80-\xFF]" *.bib 68 | 69 | PUBS_SRC ?= /afs/csail.mit.edu/group/pag/www/pubs-src 70 | 71 | # Make a version of the bibliography web pages, based on your working copy, 72 | # in the subdirectory webtest. If it looks good, you can regenerate the 73 | # real version by doing a "make" in $pag/www/pubs, or wait for an automatic 74 | # update that currently happens once a month. 75 | # You must have the Daikon scripts directory in your path, to find the 76 | # html-update-toc command. 77 | webtest: all 78 | mkdir -p webtest 79 | rsync -rC $(PUBS_SRC)/ webtest 80 | $(MAKE) -C webtest -f $(PUBS_SRC)/Makefile-pubs BIBDIR=`pwd` 81 | 82 | tags: TAGS 83 | 84 | TAGS: ${BIBFILES} 85 | etags ${BIBFILES} 86 | 87 | showvars: 88 | @echo "BIBFILES = ${BIBFILES}" 89 | -------------------------------------------------------------------------------- /bib-abbreviate.pl: -------------------------------------------------------------------------------- 1 | #!/usr/bin/perl -wps 2 | # bib-abbreviate: Maintain parallel bibliography abbreviation (bibstring) files 3 | # Michael Ernst 4 | # Time-stamp: <2009-12-16 10:06:28 mernst> 5 | 6 | # Sometimes, I want a verbose bibliography; other times I want a terser 7 | # one (usually so it doesn't take up so much space against a page limit). 8 | # This program maintains two sets of bibliography abbreviation files, which 9 | # lets you easily switch between the two versions. 10 | 11 | # Invoke like: 12 | # bib-abbreviate bibstring-master.bib > bibstring-unabbrev.bib 13 | # bib-abbreviate -abbrev bibstring-master.bib > bibstring-abbrev.bib 14 | # Then you can switch among the two versions in LaTeX by choosing between 15 | # \bibliography{bibstring-abbrev,inv-icse} 16 | # \bibliography{bibstring-unabbrev,inv-icse} 17 | 18 | # This program converts lines like this in the bibstring-master.bib file: 19 | # @string{name = unabbrev = abbrev} 20 | # into either 21 | # @string{name = unabbrev} 22 | # or 23 | # @string{name = abbrev} 24 | # depending on whether the "-abbrev" argument is supplied to bib-abbreviate. 25 | # 26 | # For example, here are some lines from my bibstring-master.bib file (which 27 | # is also distributed with this program): 28 | # 29 | # @string{ICSE99 = "Proceedings of the 21st International Conference on 30 | # Software Engineering" = "ICSE"} 31 | # @string{ICSE99addr = "Los Angeles, CA, USA" = ""} 32 | # @string{ICSE99date = may # "~19--21," = may} 33 | 34 | # I maintain my bibstring-unabbrev.bib and bibstring-abbrev.bib with a 35 | # Makefile that contains the following entries. The Emacs code at the end 36 | # of bibstring-master.bib causes "make" to be run every time that the file 37 | # is saved, so I never need to run "make" manually. 38 | # 39 | # all: bibstring-unabbrev.bib bibstring-abbrev.bib 40 | # 41 | # bibstring-unabbrev.bib: bibstring-master.bib 42 | # rm -f $@ 43 | # bib-abbreviate $< > $@ 44 | # chmod -w $@ 45 | # 46 | # bibstring-abbrev.bib: bibstring-master.bib 47 | # rm -f $@ 48 | # bib-abbreviate -abbrev $< > $@ 49 | # chmod -w $@ 50 | 51 | # Another way to save space in your bibliography is to reduce the 52 | # indentation of bibliography entries (by default, it is the width of the 53 | # longest bibliography label) and to use a smaller font for the bibliography. 54 | # The following TeX code does both things. 55 | # 56 | # %% Make bibliography items less indented, to save space; also use small font. 57 | # \makeatletter 58 | # \renewenvironment{thebibliography}[1] 59 | # {\section*{\refname 60 | # \@mkboth{\MakeUppercase\refname}{\MakeUppercase\refname}}% 61 | # \vspace{5pt} 62 | # \begingroup 63 | # % \begin{footnotesize} 64 | # \begin{small} 65 | # \list{\@biblabel{\@arabic\c@enumiv}}% 66 | # {%\settowidth\labelwidth{\@biblabel{#1}}% 67 | # \settowidth\labelwidth{~}% 68 | # % \itemsep 0pt \parskip 0pt 69 | # \itemsep 0pt \parskip -2pt 70 | # \leftmargin\labelwidth 71 | # \advance\leftmargin\labelsep 72 | # \@openbib@code 73 | # \usecounter{enumiv}% 74 | # \let\p@enumiv\@empty 75 | # \renewcommand\theenumiv{\@arabic\c@enumiv}}% 76 | # \sloppy\clubpenalty4000\widowpenalty4000% 77 | # \sfcode`\.\@m} 78 | # {\def\@noitemerr 79 | # {\@latex@warning{Empty `thebibliography' environment}}% 80 | # \endlist 81 | # % \end{footnotesize} 82 | # \end{small} 83 | # \endgroup} 84 | # \makeatother 85 | 86 | 87 | ########################################################################### 88 | 89 | BEGIN { 90 | $debug = 1; 91 | $debug = 0; # to debug, comment out this line 92 | } 93 | 94 | # "$line" is the line that has been read so far. (??) 95 | 96 | # Gratuitous use to avoid Perl warning. 97 | # This variable is set by supplying "-abbrev" on the command line. 98 | if (!defined($abbrev)) 99 | { $abbrev = 0; } 100 | 101 | if (defined($line) && ($_ =~ /^\@string\{/)) { 102 | print $line; 103 | $line = ""; 104 | } 105 | 106 | if (defined($line) && (($_ =~ /^$/) || ($_ =~ /^@/))) { 107 | print $line; 108 | $line = ""; 109 | } 110 | 111 | if (defined($line) && ($line ne "")) { 112 | if ($debug) { 113 | print "appending to: $line"; 114 | print "appendee: $_"; 115 | } 116 | $line .= $_; 117 | $_ = ""; 118 | } elsif (/^\@string\{/i) { 119 | $line = $_; 120 | $_ = ""; 121 | } 122 | 123 | if ($debug && defined($line)) { 124 | print STDERR "line: $line"; 125 | } 126 | 127 | if (defined($line)) { 128 | if ($line =~ /^\@string\{ 129 | ([-_a-z0-9A-Z]+\s*=\s*) 130 | # A string without embedded quotes: \"[^\"]+\" 131 | # A string with embedded quotes (ignores possible errors if string 132 | # ends with "\\"; assume that doesn't happen): 133 | # An entry chunk is an abbrev or string: (?:[-_a-z0-9A-Z]+|\"(?:[^\"]|\\\")+\"). 134 | # Permit any number of them, separated by " # ". 135 | ((?:[-_a-z0-9A-Z]+|\"(?:[^\"]|\\\")+\") 136 | (?:\s*\#\s*(?:[-_a-z0-9A-Z]+|\"(?:[^\"]|\\\")+\"))*) 137 | # An empty string "" is permitted in the main part of this regexp. 138 | (\s*=\s* 139 | ((?:[-_a-z0-9A-Z]+|\"(?:[^\"]|\\\")*\") 140 | (?:\s*\#\s*(?:[-_a-z0-9A-Z]+|\"(?:[^\"]|\\\")+\"))*) 141 | )? 142 | \s*\}\s*$/ix) { 143 | if ($debug) { print STDERR "match: $line"; } 144 | my $name = $1; 145 | my $long = $2; 146 | my $short = $4; 147 | 148 | if (defined($names{$name})) { 149 | print STDERR "WARNING: Duplicate in bibliography abbreviation file: $name\n"; 150 | } 151 | $names{$name} = 1; 152 | if ($abbrev and defined($short)) { 153 | $text = $short; 154 | } else { 155 | $text = $long; 156 | } 157 | $line = ""; 158 | print "\@string{$name$text}\n"; 159 | $_ = ""; 160 | } else { 161 | if ($debug) { print STDERR "no match: $line"; } 162 | } 163 | } 164 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | proofengineering-bib 2 | ==================== 3 | 4 | [![Build Status](https://api.travis-ci.org/proofengineering/proofengineering-bib.svg?branch=master)](https://travis-ci.org/proofengineering/proofengineering-bib) 5 | 6 | A collection of proof engineering BibTeX bibliography files. 7 | 8 | To obtain the bibliographies, run: 9 | 10 | git clone https://github.com/proofengineering/proofengineering-bib.git 11 | 12 | This is a set of BibTeX bibliographies. You can re-use them rather than 13 | having to re-type or download. Re-typing or downloading bibliography 14 | entries is a notorious source of errors. For example, even the ACM Digital 15 | Library often has incorrect capitalization, or gives a SIGPLAN Notices 16 | reference when the conference proceedings would be more appropriate. 17 | 18 | Here are some other features: 19 | 20 | * Short and long versions of names, locations, and dates for conferences, 21 | journals, etc. The short (abbreviated) version is convenient if your 22 | paper is nearing its page limit. Changing between the two versions only 23 | requires a tiny change to your LaTeX file (see below), and no 24 | changes to any bib files. 25 | * Consistent naming convention for citation keys: last name of first 26 | author, followed by last initial of each other author, followed by 27 | year. This makes the citation more recognizable in your LaTeX source, 28 | and avoids duplicates. 29 | * Searchable via the bibfind tool. For instance, `bibfind keyword1 keyword2` 30 | displays all the bibliographies with all the keywords, either in the 31 | entries in the comments. (This is why there are no blank lines in the 32 | comments that abut some bib entries: the search tool considers each 33 | blank line to start a new entry. We may lift that restriction in the 34 | future.) 35 | 36 | You can obtain the bibliographies by running the command 37 | `git clone https://github.com/proofengineering/proofengineering-bib.git` 38 | but you don't need to -- see below for how to set your build system to 39 | automatically obtain and/or update a copy. 40 | 41 | 42 | USAGE 43 | ----- 44 | 45 | To choose the abbreviated (short) or unabbreviated (long) version of the 46 | bibliography strings, use one of these commands in your LaTeX file: 47 | 48 | \bibliography{bibstring-abbrev,...,crossrefs-abbrev} 49 | \bibliography{bibstring-unabbrev,...,crossrefs} 50 | 51 | When using the bibliographies, add near the top of your LaTeX document: 52 | 53 | \usepackage{url} 54 | 55 | This defines the `\url` command used in the bibliographies. To make URLs use 56 | a slightly narrower font (the regular `tt` font is very wide), use: 57 | 58 | \usepackage{pslatex} 59 | 60 | or, to use a smaller font, use: 61 | 62 | \usepackage{relsize} 63 | \def\UrlFont{\smaller\ttfamily} 64 | 65 | 66 | EDITING AND ADDING ENTRIES 67 | -------------------------- 68 | 69 | Changes, corrections, and additions are welcome. 70 | 71 | When adding new bibliography entries, please create an entry in 72 | `crossrefs.bib` for conferences, and create bibliography strings in 73 | `bibstring-master` for journal/institution names and abbreviations. 74 | 75 | For consistency, please start each new bibliography entry with "@" in the 76 | first column, and end the entry with "}" on its own line. 77 | 78 | 79 | SETUP -- if you use a Makefile to process your paper 80 | ---------------------------------------------------- 81 | 82 | 1. Add "bib" as a dependency for the rule that calls bibtex, if any; 83 | for example, make "bib" a dependency for the myfile.bbl target, if any. 84 | 2. Add "bib-update" as a dependency of your default target (such as "all"). 85 | 3. Add the following rules to your Makefile. 86 | 87 | ``` 88 | export BIBINPUTS ?= .:bib 89 | bib: 90 | ifdef PEBIB 91 | ln -s ${PEBIB} $@ 92 | else 93 | git clone https://github.com/proofengineering/proofengineering-bib.git $@ 94 | endif 95 | .PHONY: bib-update 96 | bib-update: bib 97 | # Even if this command fails, it does not terminate the make job. 98 | # However, to skip it, invoke make as: make NOGIT=1 ... 99 | ifndef NOGIT 100 | -(cd bib && git pull && make) 101 | endif 102 | ``` 103 | 104 | 105 | SETUP -- non-Makefile version 106 | ----------------------------- 107 | 108 | If you have previously cloned proofengineering-bib and set the PEBIB environment 109 | variable, there is nothing to do. Otherwise, run this command: 110 | 111 | cd; git clone https://github.com/proofengineering/proofengineering-bib.git bib 112 | 113 | Then, set the PEBIB environment variable to $HOME/bib and 114 | add the "bib" directory to your BIBINPUTS environment variable. 115 | 116 | bash syntax: 117 | 118 | export PEBIB=$HOME/bib 119 | export BIBINPUTS=.:${PEBIB}:..: 120 | 121 | 122 | SETUP -- miscellaneous details 123 | ------------------------------ 124 | 125 | For the bibfind command, see 126 | https://github.com/mernst/uwisdom/blob/wiki/README.adoc . 127 | The bibfind command uses the `bibroot` file in the `proofengineering-bib` directory. 128 | 129 | If you wish to have only a single copy of the bibliographies on your 130 | computer, you can clone the repository just once and set the PEBIB 131 | environment variable. Then your Makefile will create (or you can make by 132 | hand) a symbolic link from any directories where you are writing a paper. 133 | 134 | Note for miktex users: 135 | The bibtex that is supplied with miktex (the popular Windows implementation) 136 | does not support the BIBINPUTS variable. You need to modify the miktex 137 | configuration. In file `...\miktex\config\miktex.ini`, edit this entry: 138 | 139 | Input Dirs=searchpath 140 | (search path for BibTeX input files -- both databases and style files). 141 | 142 | 143 | INVOKING BIBTEX: crossref and -min-crossrefs=9999 144 | ------------------------------------------------- 145 | 146 | proofengineering-bib's .bib files use `@crossref`. To avoid outut like 147 | 148 | [1] Brun et al. Paper title. In [2]. 149 | [2] Proceedings of ESEC/FSE 2011. Szeged, Hungary, Sep. 7--9, 2011. 150 | 151 | you need to pass the -min-crossrefs=9999 command-line option to BibTeX; for 152 | example: 153 | 154 | bibtex -min-crossrefs=9999 mypaper 155 | 156 | 157 | LICENSE 158 | ------- 159 | 160 | Uses the Creative Commons Attribution ("CC-BY") license. See file LICENSE. 161 | -------------------------------------------------------------------------------- /bibstring-master.bib: -------------------------------------------------------------------------------- 1 | %% BibTeX abbreviations -- master file 2 | %% Type "make" in the bib directory to process this with the bib-abbreviate 3 | %% script, which creates bibstring-{un}abbrev.bib. 4 | %% Each string{...} entry may contain an extra ``= "..."'' element which is 5 | %% used as the abbreviation. 6 | 7 | %%% See file mernst/abbreviations for the abbreviations available in the 8 | %%% standard BibTeX styles (abbrev, alpha, plain, unsrt). 9 | 10 | %%% Don't put cross references here; they should go after all references. 11 | %%% A problem with cross references is that they don't just provide 12 | %%% defaults: the cross-referenced item shows up itself if it is 13 | %%% referenced more than once. 14 | 15 | 16 | %%% ======================================================================== 17 | %%% Built-in abbreviations 18 | 19 | % The following abbreviations are available in the standard BibTeX 20 | % styles (abbrev, alpha, plain, unsrt). 21 | % acmcs: ACM Computing Surveys; 22 | % ACM Comput. Surv. 23 | % acta: Acta Informatica; 24 | % Acta Inf. 25 | % cacm: Communications of the ACM; 26 | % Commun. ACM 27 | % ibmjrd: IBM Journal of Research and Development; 28 | % IBM J. Res. Dev. 29 | % ibmsj: IBM Systems Journal; 30 | % IBM Syst.~J. 31 | % ieeese: IEEE Transactions on Software Engineering; 32 | % IEEE Trans. Softw. Eng. 33 | % ieeetc: IEEE Transactions on Computers; 34 | % IEEE Trans. Comput. 35 | % ieeetcad: IEEE Transactions on Computer-Aided Design of Integrated Circuits; 36 | % IEEE Trans. Comput.-Aided Design Integrated Circuits 37 | % ipl: Information Processing Letters; 38 | % Inf. Process. Lett. 39 | % jacm: Journal of the ACM; 40 | % J.~ACM 41 | % jcss: Journal of Computer and System Sciences; 42 | % J.~Comput. Syst. Sci. 43 | % scp: Science of Computer Programming; 44 | % Sci. Comput. Programming 45 | % sicomp: SIAM Journal on Computing; 46 | % SIAM J. Comput. 47 | % tcs: Theoretical Computer Science; 48 | % Theor. Comput. Sci. 49 | % tocs: ACM Transactions on Computer Systems; 50 | % ACM Trans. Comput. Syst. 51 | % tods: ACM Transactions on Database Systems; 52 | % ACM Trans. Database Syst. 53 | % tog: ACM Transactions on Graphics; 54 | % ACM Trans. Gr. 55 | % toms: ACM Transactions on Mathematical Software; 56 | % ACM Trans. Math. Softw. 57 | % toois: ACM Transactions on Office Information Systems; 58 | % ACM Trans. Office Inf. Syst. 59 | % toplas: ACM Transactions on Programming Languages and Systems; 60 | % ACM Trans. Prog. Lang. Syst. 61 | 62 | 63 | %%% ======================================================================== 64 | %%% Months 65 | 66 | % These are built into plain.bst. I can override them here only if they 67 | % precede all uses of the macros later in this file. 68 | @string{jan = "January" = "Jan."} 69 | @string{feb = "February" = "Feb."} 70 | @string{mar = "March" = "Mar."} 71 | @string{apr = "April" = "Apr."} 72 | @string{may = "May" = "May"} 73 | @string{jun = "June" = "June"} 74 | @string{jul = "July" = "July"} 75 | @string{aug = "August" = "Aug."} 76 | @string{sep = "September" = "Sep."} 77 | @string{oct = "October" = "Oct."} 78 | @string{nov = "November" = "Nov."} 79 | @string{dec = "December" = "Dec."} 80 | 81 | 82 | %%% ======================================================================== 83 | %%% Accented place names 84 | 85 | % These definitions must also precede uses later in the file. 86 | 87 | @string{Aarhus = "{\AA}arhus, Denmark"} 88 | @string{Jyvaskyla = "Jyv{\"{a}}skyl{\"{a}}, Finland"} 89 | @string{Malaga = "M{\'a}laga, Spain"} 90 | 91 | % The accents belong in French, but do not belong in English 92 | @string{Montreal = "Montreal, Canada"} 93 | % string{Montreal = "Montreal, QC, Canada"} 94 | % string{Montreal = "Montreal, Quebec, Canada"} 95 | % string{Montreal = "Montr{\'e}al, Canada"} 96 | % string{Montreal = "Montr{\'e}al, Qu{\'e}bec, Canada"} 97 | 98 | @string{Zurich = "Z{\"u}rich, Switzerland"} 99 | 100 | 101 | %%% ======================================================================== 102 | %%% Research labs and schools 103 | 104 | @string{CMUHCII = "Human-Computer Interaction Institute, School of Computer Science, Carnegie Mellon University" = "CMU HCII"} 105 | @string{CMUISR = "Institute for Software Research, School of Computer Science, Carnegie Mellon University" = "CMU ISR"} 106 | @string{CMUSCS = "School of Computer Science, Carnegie Mellon University" = "CMU SCS"} 107 | @string{CMUaddr = "Pittsburgh, PA"} 108 | 109 | @string{ETHZ = "ETH Z{\"u}rich"} 110 | @string{ETHZaddr = "Z{\"u}rich, Switzerland"} 111 | 112 | @string{PARC = "Xerox Corporation Palo Alto Research Center"} 113 | @string{PurdueSERC = "Software Engineering Research Center, Purdue University" 114 | = "SERC, Purdue"} 115 | 116 | @string{MIT = "Massachusetts Institute of Technology"} 117 | % string{MITEECS = "Massachusetts Institute of Technology Department of 118 | % Electrical Engineering and Computer Science" = "MIT 119 | % Dept. of EECS"} 120 | % string{MITLCS = "Massachusetts Institute of Technology Laboratory for 121 | % Computer Science" = "MIT Lab for Computer Science"} 122 | % string{MITAI = "Massachusetts Institute of Technology Artificial 123 | % Intelligence Laboratory" = "MIT AI Lab"} 124 | @string{MITEECS = "MIT Department of Electrical Engineering and Computer Science" = "MIT Dept. of EECS"} 125 | @string{MITLCS = "MIT Laboratory for Computer Science" 126 | = "MIT Lab for Computer Science"} 127 | @string{MITAI = "MIT Artificial 128 | Intelligence Laboratory" = "MIT AI Lab"} 129 | @string{MITCSAIL = "MIT Computer Science and Artificial Intelligence Laboratory" 130 | = "MIT CSAIL"} 131 | @string{MITSloan = "MIT Sloan School of Management Science" = "MIT Sloan School of Management"} 132 | @string{MITaddr = "Cambridge, MA" = ""} 133 | 134 | @string{MSRaddr = "Redmond, WA" = ""} 135 | 136 | @string{IBMTJWatson = "IBM T.J. Watson Research Center"} 137 | % Most common 138 | @string{IBMHawthorne = "Hawthorne, NY" = ""} 139 | 140 | @string{UBCCS = "University of British Columbia Department of Computer Science" = 141 | "U. Brit. Columb. Dept. of Comp. Sci."} 142 | @string{UBCCSaddr = "Vancouver, BC, Canada"} 143 | @string{UBC = "University of British Columbia" = 144 | "U. Brit. Columbia"} 145 | @string{UBCaddr = "Vancouver, BC, Canada"} 146 | @string{UBCcircle = "cIRcle: UBC's Digital Repository" = "cIRcle"} 147 | 148 | @string{UIUC = "University of Illinois at Urbana-Champaign" = "UIUC"} 149 | @string{UIUCaddr = "Urbana, IL, USA"} 150 | 151 | @string{UWCSE = "University of Washington Department of Computer Science and Engineering" = 152 | "U. Wash. Dept. of Comp. Sci. \& Eng."} 153 | @string{UWCSEaddr = "Seattle, WA, USA"} 154 | 155 | % Perhaps add "Computer Sciences Department" 156 | @string{UWMadison = "University of Wisconsin -- Madison"} 157 | @string{UWMadisonaddr = "1210 West Dayton Street, Madison, WI 53706, USA" = 158 | "Madison, WI"} 159 | 160 | @string{WRL = "Digital Equipment Corporation Western Research Laboratory"} 161 | 162 | 163 | %%% ======================================================================== 164 | %%% Book series 165 | 166 | % Isn't this supposed to be built-in? 167 | @string{LNCS = "Lecture Notes in Computer Science" = "LNCS"} 168 | 169 | 170 | %%% ======================================================================== 171 | %%% Journal titles 172 | 173 | % "SCP" is built into plain.bst. 174 | % The others are built into plain.bst, but I can override them here. 175 | @string{CACM = "Communications of the ACM" = "CACM"} 176 | @string{JACM = "Journal of the ACM" = "JACM"} 177 | @string{TOPLAS = "ACM Transactions on Pro\-gramming Languages and Systems" 178 | = "ACM TOPLAS"} 179 | @string{IEEESE = "IEEE Transactions on Software Engineering" = "IEEE TSE"} 180 | % built in: @string{SCP = "Science of Computer Programming"} 181 | @string{IEEETC = "IEEE Transactions on Computers" = "IEEE Trans. Comput."} 182 | 183 | %% The below entries do not override anything that is built in. 184 | 185 | @string{AnnalsSE = "Annals of Software Engineering"} 186 | 187 | % The word "Journal" isn't in the title of the journal. 188 | @string{ASEjournal = "Automated Software Engineering Journal" = "ASE"} 189 | @string{JASE = "Automated Software Engineering" = "ASE"} 190 | 191 | @string{ACMQueue = "ACM Queue" = "Queue"} 192 | @string{computer = "IEEE Computer" = "Computer"} 193 | @string{CPE = "Concurrency: Practice and Experience"} 194 | @string{CSUR = "ACM Computing Surveys" = "ACM Comput.\ Surv."} 195 | @string{CSURVEYS = "ACM Computing Surveys" = "ACM Comput.\ Surv."} 196 | @string{ENTCS = "Electronic Notes in Theoretical Computer Science" = "ENTCS"} 197 | @string{JEmpiricalSE = "Journal of Empirical Software Engineering" = "Empirical Softw. Engg."} 198 | @string{IandC = "Information and Computation"} 199 | @string{IST = "Information and Software Technology"} 200 | @string{IJCM = "International Journal of Computer Mathematics" = "IJCM"} 201 | @string{j-systems-and-software = "Journal of Systems and Software" = "J. Syst. Softw."} 202 | @string{JCSS = "Journal of Computer and System Sciences" = "J. Comp. Syst. Sci."} 203 | @string{JOT = "Journal of Object Technology" = "J. Object Tech."} 204 | @string{LOPLAS = "ACM Letters on Programming Languages and Systems" 205 | = "ACM LOPLAS"} 206 | @string{JLAP = "Journal of Logic and Algebraic Progamming" = "JLAP"} 207 | @string{JSAC = "IEEE Journal on Selected Areas in Communications" = "J. Sel. Areas in Commun."} 208 | @string{SIGPLANNotices = "ACM SIGPLAN Notices"} 209 | @string{IEEESoftware = "IEEE Software" = "IEEE Softw."} 210 | @string{IEEETR = "IEEE Transactions on Reliability" = "IEEE Trans. Reliab."} 211 | @string{OSR = "SIGOPS Operating Systems Review" = "SIGOPS Oper. Syst. Rev."} 212 | @string{SEN = "ACM SIGSOFT Software Engineering Notes" = "ACM Softw. Eng. Notes"} 213 | @string{SPE = "Software: Practice and Experience"} 214 | @string{j-SPE = SPE} 215 | 216 | @string{STTT = "Software Tools for Technology Transfer" = "STTT"} 217 | 218 | @string{STVR = "Journal of Software Testing, Verification and Reliability" = "STVR"} 219 | @string{TDSC = "IEEE Transactions on Dependable and Secure Computing" = "TDSC"} 220 | @string{TOCHI = "ACM Transactions on Computer-Human Interaction" = "ACM TOCHI"} 221 | @string{TOSEM = "ACM Transactions on Software Engineering and Methodology" 222 | = "ACM TOSEM"} 223 | @string{TVCG = "IEEE Transactions on Visualization and Computer Graphics" = "TVCG"} 224 | @string{TWEB = "ACM Transactions on the Web" = "ACM TWEB"} 225 | @string{TISSEC = "ACM Transactions on Information and System Security" 226 | = "ACM TISSEC"} 227 | @string{TPDS = "IEEE Transactions on Parallel and Distributed Systems" 228 | = "IEEE Trans. Parallel Distrib. Syst."} 229 | @string{IEEETSE = IEEESE} 230 | @string{TSE = IEEESE} 231 | % built in: @string{SCP = "Science of Computer Programming"} 232 | @string{IPAM = "Information Processing \& Management"} 233 | 234 | @string{PTRSLB = "Philosophical Transactions of the Royal Society of London, Series B" = "Phil.\ Trans.\ Royal Soc., B"} 235 | @string{IJMMS = "International Journal of Man-Machine Studies" = "Int'l. J. Man-Machine Studies"} 236 | 237 | 238 | %% bp (and maybe other programs) fail if string{...} is the last thing in 239 | %% the file. Thus, this comment. (Yuck.) 240 | 241 | %% A problem with this after-save-hook is that it blows away any existing 242 | %% *compilation* buffer. Let's hope this isn't too big an annoyance. 243 | %%% Local Variables: 244 | %%% auto-fill-function: nil 245 | %%% eval: (make-local-variable 'after-save-hook) 246 | %%% eval: (add-hook 'after-save-hook '(lambda () (save-window-excursion (let ((compilation-ask-about-save nil)) (compile "make"))))) 247 | %%% End: 248 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | Creative Commons Legal Code 2 | 3 | Attribution 3.0 Unported 4 | 5 | CREATIVE COMMONS CORPORATION IS NOT A LAW FIRM AND DOES NOT PROVIDE 6 | LEGAL SERVICES. DISTRIBUTION OF THIS LICENSE DOES NOT CREATE AN 7 | ATTORNEY-CLIENT RELATIONSHIP. CREATIVE COMMONS PROVIDES THIS 8 | INFORMATION ON AN "AS-IS" BASIS. CREATIVE COMMONS MAKES NO WARRANTIES 9 | REGARDING THE INFORMATION PROVIDED, AND DISCLAIMS LIABILITY FOR 10 | DAMAGES RESULTING FROM ITS USE. 11 | 12 | License 13 | 14 | THE WORK (AS DEFINED BELOW) IS PROVIDED UNDER THE TERMS OF THIS CREATIVE 15 | COMMONS PUBLIC LICENSE ("CCPL" OR "LICENSE"). THE WORK IS PROTECTED BY 16 | COPYRIGHT AND/OR OTHER APPLICABLE LAW. ANY USE OF THE WORK OTHER THAN AS 17 | AUTHORIZED UNDER THIS LICENSE OR COPYRIGHT LAW IS PROHIBITED. 18 | 19 | BY EXERCISING ANY RIGHTS TO THE WORK PROVIDED HERE, YOU ACCEPT AND AGREE 20 | TO BE BOUND BY THE TERMS OF THIS LICENSE. TO THE EXTENT THIS LICENSE MAY 21 | BE CONSIDERED TO BE A CONTRACT, THE LICENSOR GRANTS YOU THE RIGHTS 22 | CONTAINED HERE IN CONSIDERATION OF YOUR ACCEPTANCE OF SUCH TERMS AND 23 | CONDITIONS. 24 | 25 | 1. Definitions 26 | 27 | a. "Adaptation" means a work based upon the Work, or upon the Work and 28 | other pre-existing works, such as a translation, adaptation, 29 | derivative work, arrangement of music or other alterations of a 30 | literary or artistic work, or phonogram or performance and includes 31 | cinematographic adaptations or any other form in which the Work may be 32 | recast, transformed, or adapted including in any form recognizably 33 | derived from the original, except that a work that constitutes a 34 | Collection will not be considered an Adaptation for the purpose of 35 | this License. For the avoidance of doubt, where the Work is a musical 36 | work, performance or phonogram, the synchronization of the Work in 37 | timed-relation with a moving image ("synching") will be considered an 38 | Adaptation for the purpose of this License. 39 | b. "Collection" means a collection of literary or artistic works, such as 40 | encyclopedias and anthologies, or performances, phonograms or 41 | broadcasts, or other works or subject matter other than works listed 42 | in Section 1(f) below, which, by reason of the selection and 43 | arrangement of their contents, constitute intellectual creations, in 44 | which the Work is included in its entirety in unmodified form along 45 | with one or more other contributions, each constituting separate and 46 | independent works in themselves, which together are assembled into a 47 | collective whole. A work that constitutes a Collection will not be 48 | considered an Adaptation (as defined above) for the purposes of this 49 | License. 50 | c. "Distribute" means to make available to the public the original and 51 | copies of the Work or Adaptation, as appropriate, through sale or 52 | other transfer of ownership. 53 | d. "Licensor" means the individual, individuals, entity or entities that 54 | offer(s) the Work under the terms of this License. 55 | e. "Original Author" means, in the case of a literary or artistic work, 56 | the individual, individuals, entity or entities who created the Work 57 | or if no individual or entity can be identified, the publisher; and in 58 | addition (i) in the case of a performance the actors, singers, 59 | musicians, dancers, and other persons who act, sing, deliver, declaim, 60 | play in, interpret or otherwise perform literary or artistic works or 61 | expressions of folklore; (ii) in the case of a phonogram the producer 62 | being the person or legal entity who first fixes the sounds of a 63 | performance or other sounds; and, (iii) in the case of broadcasts, the 64 | organization that transmits the broadcast. 65 | f. "Work" means the literary and/or artistic work offered under the terms 66 | of this License including without limitation any production in the 67 | literary, scientific and artistic domain, whatever may be the mode or 68 | form of its expression including digital form, such as a book, 69 | pamphlet and other writing; a lecture, address, sermon or other work 70 | of the same nature; a dramatic or dramatico-musical work; a 71 | choreographic work or entertainment in dumb show; a musical 72 | composition with or without words; a cinematographic work to which are 73 | assimilated works expressed by a process analogous to cinematography; 74 | a work of drawing, painting, architecture, sculpture, engraving or 75 | lithography; a photographic work to which are assimilated works 76 | expressed by a process analogous to photography; a work of applied 77 | art; an illustration, map, plan, sketch or three-dimensional work 78 | relative to geography, topography, architecture or science; a 79 | performance; a broadcast; a phonogram; a compilation of data to the 80 | extent it is protected as a copyrightable work; or a work performed by 81 | a variety or circus performer to the extent it is not otherwise 82 | considered a literary or artistic work. 83 | g. "You" means an individual or entity exercising rights under this 84 | License who has not previously violated the terms of this License with 85 | respect to the Work, or who has received express permission from the 86 | Licensor to exercise rights under this License despite a previous 87 | violation. 88 | h. "Publicly Perform" means to perform public recitations of the Work and 89 | to communicate to the public those public recitations, by any means or 90 | process, including by wire or wireless means or public digital 91 | performances; to make available to the public Works in such a way that 92 | members of the public may access these Works from a place and at a 93 | place individually chosen by them; to perform the Work to the public 94 | by any means or process and the communication to the public of the 95 | performances of the Work, including by public digital performance; to 96 | broadcast and rebroadcast the Work by any means including signs, 97 | sounds or images. 98 | i. "Reproduce" means to make copies of the Work by any means including 99 | without limitation by sound or visual recordings and the right of 100 | fixation and reproducing fixations of the Work, including storage of a 101 | protected performance or phonogram in digital form or other electronic 102 | medium. 103 | 104 | 2. Fair Dealing Rights. Nothing in this License is intended to reduce, 105 | limit, or restrict any uses free from copyright or rights arising from 106 | limitations or exceptions that are provided for in connection with the 107 | copyright protection under copyright law or other applicable laws. 108 | 109 | 3. License Grant. Subject to the terms and conditions of this License, 110 | Licensor hereby grants You a worldwide, royalty-free, non-exclusive, 111 | perpetual (for the duration of the applicable copyright) license to 112 | exercise the rights in the Work as stated below: 113 | 114 | a. to Reproduce the Work, to incorporate the Work into one or more 115 | Collections, and to Reproduce the Work as incorporated in the 116 | Collections; 117 | b. to create and Reproduce Adaptations provided that any such Adaptation, 118 | including any translation in any medium, takes reasonable steps to 119 | clearly label, demarcate or otherwise identify that changes were made 120 | to the original Work. For example, a translation could be marked "The 121 | original work was translated from English to Spanish," or a 122 | modification could indicate "The original work has been modified."; 123 | c. to Distribute and Publicly Perform the Work including as incorporated 124 | in Collections; and, 125 | d. to Distribute and Publicly Perform Adaptations. 126 | e. For the avoidance of doubt: 127 | 128 | i. Non-waivable Compulsory License Schemes. In those jurisdictions in 129 | which the right to collect royalties through any statutory or 130 | compulsory licensing scheme cannot be waived, the Licensor 131 | reserves the exclusive right to collect such royalties for any 132 | exercise by You of the rights granted under this License; 133 | ii. Waivable Compulsory License Schemes. In those jurisdictions in 134 | which the right to collect royalties through any statutory or 135 | compulsory licensing scheme can be waived, the Licensor waives the 136 | exclusive right to collect such royalties for any exercise by You 137 | of the rights granted under this License; and, 138 | iii. Voluntary License Schemes. The Licensor waives the right to 139 | collect royalties, whether individually or, in the event that the 140 | Licensor is a member of a collecting society that administers 141 | voluntary licensing schemes, via that society, from any exercise 142 | by You of the rights granted under this License. 143 | 144 | The above rights may be exercised in all media and formats whether now 145 | known or hereafter devised. The above rights include the right to make 146 | such modifications as are technically necessary to exercise the rights in 147 | other media and formats. Subject to Section 8(f), all rights not expressly 148 | granted by Licensor are hereby reserved. 149 | 150 | 4. Restrictions. The license granted in Section 3 above is expressly made 151 | subject to and limited by the following restrictions: 152 | 153 | a. You may Distribute or Publicly Perform the Work only under the terms 154 | of this License. You must include a copy of, or the Uniform Resource 155 | Identifier (URI) for, this License with every copy of the Work You 156 | Distribute or Publicly Perform. You may not offer or impose any terms 157 | on the Work that restrict the terms of this License or the ability of 158 | the recipient of the Work to exercise the rights granted to that 159 | recipient under the terms of the License. You may not sublicense the 160 | Work. You must keep intact all notices that refer to this License and 161 | to the disclaimer of warranties with every copy of the Work You 162 | Distribute or Publicly Perform. When You Distribute or Publicly 163 | Perform the Work, You may not impose any effective technological 164 | measures on the Work that restrict the ability of a recipient of the 165 | Work from You to exercise the rights granted to that recipient under 166 | the terms of the License. This Section 4(a) applies to the Work as 167 | incorporated in a Collection, but this does not require the Collection 168 | apart from the Work itself to be made subject to the terms of this 169 | License. If You create a Collection, upon notice from any Licensor You 170 | must, to the extent practicable, remove from the Collection any credit 171 | as required by Section 4(b), as requested. If You create an 172 | Adaptation, upon notice from any Licensor You must, to the extent 173 | practicable, remove from the Adaptation any credit as required by 174 | Section 4(b), as requested. 175 | b. If You Distribute, or Publicly Perform the Work or any Adaptations or 176 | Collections, You must, unless a request has been made pursuant to 177 | Section 4(a), keep intact all copyright notices for the Work and 178 | provide, reasonable to the medium or means You are utilizing: (i) the 179 | name of the Original Author (or pseudonym, if applicable) if supplied, 180 | and/or if the Original Author and/or Licensor designate another party 181 | or parties (e.g., a sponsor institute, publishing entity, journal) for 182 | attribution ("Attribution Parties") in Licensor's copyright notice, 183 | terms of service or by other reasonable means, the name of such party 184 | or parties; (ii) the title of the Work if supplied; (iii) to the 185 | extent reasonably practicable, the URI, if any, that Licensor 186 | specifies to be associated with the Work, unless such URI does not 187 | refer to the copyright notice or licensing information for the Work; 188 | and (iv) , consistent with Section 3(b), in the case of an Adaptation, 189 | a credit identifying the use of the Work in the Adaptation (e.g., 190 | "French translation of the Work by Original Author," or "Screenplay 191 | based on original Work by Original Author"). The credit required by 192 | this Section 4 (b) may be implemented in any reasonable manner; 193 | provided, however, that in the case of a Adaptation or Collection, at 194 | a minimum such credit will appear, if a credit for all contributing 195 | authors of the Adaptation or Collection appears, then as part of these 196 | credits and in a manner at least as prominent as the credits for the 197 | other contributing authors. For the avoidance of doubt, You may only 198 | use the credit required by this Section for the purpose of attribution 199 | in the manner set out above and, by exercising Your rights under this 200 | License, You may not implicitly or explicitly assert or imply any 201 | connection with, sponsorship or endorsement by the Original Author, 202 | Licensor and/or Attribution Parties, as appropriate, of You or Your 203 | use of the Work, without the separate, express prior written 204 | permission of the Original Author, Licensor and/or Attribution 205 | Parties. 206 | c. Except as otherwise agreed in writing by the Licensor or as may be 207 | otherwise permitted by applicable law, if You Reproduce, Distribute or 208 | Publicly Perform the Work either by itself or as part of any 209 | Adaptations or Collections, You must not distort, mutilate, modify or 210 | take other derogatory action in relation to the Work which would be 211 | prejudicial to the Original Author's honor or reputation. Licensor 212 | agrees that in those jurisdictions (e.g. Japan), in which any exercise 213 | of the right granted in Section 3(b) of this License (the right to 214 | make Adaptations) would be deemed to be a distortion, mutilation, 215 | modification or other derogatory action prejudicial to the Original 216 | Author's honor and reputation, the Licensor will waive or not assert, 217 | as appropriate, this Section, to the fullest extent permitted by the 218 | applicable national law, to enable You to reasonably exercise Your 219 | right under Section 3(b) of this License (right to make Adaptations) 220 | but not otherwise. 221 | 222 | 5. Representations, Warranties and Disclaimer 223 | 224 | UNLESS OTHERWISE MUTUALLY AGREED TO BY THE PARTIES IN WRITING, LICENSOR 225 | OFFERS THE WORK AS-IS AND MAKES NO REPRESENTATIONS OR WARRANTIES OF ANY 226 | KIND CONCERNING THE WORK, EXPRESS, IMPLIED, STATUTORY OR OTHERWISE, 227 | INCLUDING, WITHOUT LIMITATION, WARRANTIES OF TITLE, MERCHANTIBILITY, 228 | FITNESS FOR A PARTICULAR PURPOSE, NONINFRINGEMENT, OR THE ABSENCE OF 229 | LATENT OR OTHER DEFECTS, ACCURACY, OR THE PRESENCE OF ABSENCE OF ERRORS, 230 | WHETHER OR NOT DISCOVERABLE. SOME JURISDICTIONS DO NOT ALLOW THE EXCLUSION 231 | OF IMPLIED WARRANTIES, SO SUCH EXCLUSION MAY NOT APPLY TO YOU. 232 | 233 | 6. Limitation on Liability. EXCEPT TO THE EXTENT REQUIRED BY APPLICABLE 234 | LAW, IN NO EVENT WILL LICENSOR BE LIABLE TO YOU ON ANY LEGAL THEORY FOR 235 | ANY SPECIAL, INCIDENTAL, CONSEQUENTIAL, PUNITIVE OR EXEMPLARY DAMAGES 236 | ARISING OUT OF THIS LICENSE OR THE USE OF THE WORK, EVEN IF LICENSOR HAS 237 | BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. 238 | 239 | 7. Termination 240 | 241 | a. This License and the rights granted hereunder will terminate 242 | automatically upon any breach by You of the terms of this License. 243 | Individuals or entities who have received Adaptations or Collections 244 | from You under this License, however, will not have their licenses 245 | terminated provided such individuals or entities remain in full 246 | compliance with those licenses. Sections 1, 2, 5, 6, 7, and 8 will 247 | survive any termination of this License. 248 | b. Subject to the above terms and conditions, the license granted here is 249 | perpetual (for the duration of the applicable copyright in the Work). 250 | Notwithstanding the above, Licensor reserves the right to release the 251 | Work under different license terms or to stop distributing the Work at 252 | any time; provided, however that any such election will not serve to 253 | withdraw this License (or any other license that has been, or is 254 | required to be, granted under the terms of this License), and this 255 | License will continue in full force and effect unless terminated as 256 | stated above. 257 | 258 | 8. Miscellaneous 259 | 260 | a. Each time You Distribute or Publicly Perform the Work or a Collection, 261 | the Licensor offers to the recipient a license to the Work on the same 262 | terms and conditions as the license granted to You under this License. 263 | b. Each time You Distribute or Publicly Perform an Adaptation, Licensor 264 | offers to the recipient a license to the original Work on the same 265 | terms and conditions as the license granted to You under this License. 266 | c. If any provision of this License is invalid or unenforceable under 267 | applicable law, it shall not affect the validity or enforceability of 268 | the remainder of the terms of this License, and without further action 269 | by the parties to this agreement, such provision shall be reformed to 270 | the minimum extent necessary to make such provision valid and 271 | enforceable. 272 | d. No term or provision of this License shall be deemed waived and no 273 | breach consented to unless such waiver or consent shall be in writing 274 | and signed by the party to be charged with such waiver or consent. 275 | e. This License constitutes the entire agreement between the parties with 276 | respect to the Work licensed here. There are no understandings, 277 | agreements or representations with respect to the Work not specified 278 | here. Licensor shall not be bound by any additional provisions that 279 | may appear in any communication from You. This License may not be 280 | modified without the mutual written agreement of the Licensor and You. 281 | f. The rights granted under, and the subject matter referenced, in this 282 | License were drafted utilizing the terminology of the Berne Convention 283 | for the Protection of Literary and Artistic Works (as amended on 284 | September 28, 1979), the Rome Convention of 1961, the WIPO Copyright 285 | Treaty of 1996, the WIPO Performances and Phonograms Treaty of 1996 286 | and the Universal Copyright Convention (as revised on July 24, 1971). 287 | These rights and subject matter take effect in the relevant 288 | jurisdiction in which the License terms are sought to be enforced 289 | according to the corresponding provisions of the implementation of 290 | those treaty provisions in the applicable national law. If the 291 | standard suite of rights granted under applicable copyright law 292 | includes additional rights not granted under this License, such 293 | additional rights are deemed to be included in the License; this 294 | License is not intended to restrict the license of any rights under 295 | applicable law. 296 | 297 | 298 | Creative Commons Notice 299 | 300 | Creative Commons is not a party to this License, and makes no warranty 301 | whatsoever in connection with the Work. Creative Commons will not be 302 | liable to You or any party on any legal theory for any damages 303 | whatsoever, including without limitation any general, special, 304 | incidental or consequential damages arising in connection to this 305 | license. Notwithstanding the foregoing two (2) sentences, if Creative 306 | Commons has expressly identified itself as the Licensor hereunder, it 307 | shall have all rights and obligations of Licensor. 308 | 309 | Except for the limited purpose of indicating to the public that the 310 | Work is licensed under the CCPL, Creative Commons does not authorize 311 | the use by either party of the trademark "Creative Commons" or any 312 | related trademark or logo of Creative Commons without the prior 313 | written consent of Creative Commons. Any permitted use will be in 314 | compliance with Creative Commons' then-current trademark usage 315 | guidelines, as may be published on its website or otherwise made 316 | available upon request from time to time. For the avoidance of doubt, 317 | this trademark restriction does not form part of this License. 318 | 319 | Creative Commons may be contacted at https://creativecommons.org/. 320 | -------------------------------------------------------------------------------- /proceedings.bib: -------------------------------------------------------------------------------- 1 | @proceedings{AFP:08, 2 | Optaddress = {Nijmegen, The Netherlands}, 3 | Booktitle = {Advanced Functional Programming, Sixth International School}, 4 | Opteditor = {Koopman, Pieter and Plasmeijer, Rinus and Swierstra, Doaitse}, 5 | Optmonth = May, 6 | Number = 5382, 7 | Publisher = {Springer}, 8 | Series = LNCS, 9 | Title = {Advanced Functional Programming, Sixth International School}, 10 | Year = 2008} 11 | 12 | @proceedings{CC:03, 13 | Optaddress = {Warsaw, Poland}, 14 | Booktitle = {CC~~2003: Proceedings of the 12th international conference on Compiler construction}, 15 | Opteditor = {Hedin, G\"{o}rel}, 16 | Publisher = {Springer}, 17 | series = LNCS, 18 | volume = {2622}, 19 | Year = {2003}} 20 | 21 | @proceedings{DLS:07, 22 | Optaddress = {Montreal, Quebec, Canada}, 23 | Booktitle = {{DLS~2007: Proceedings of the 2007 symposium on Dynamic languages}}, 24 | Opteditor = {Costanza, Pascal and Hirschfeld, Robert}, 25 | Title = {{DLS~2007: Proceedings of the 2007 symposium on Dynamic languages}}, 26 | Year = {2007}} 27 | 28 | @proceedings{ECOOP:03, 29 | Optaddress = {Darmstadt, Germany}, 30 | Booktitle = {ECOOP~2003: Proceedings of the 18th European conference on Object-Oriented Programming}, 31 | Opteditor = {Luca Cardelli}, 32 | Title = {ECOOP~2003: Proceedings of the 18th European 33 | conference on Object-Oriented Programming}, 34 | series = LNCS, 35 | volume = {2743}, 36 | publisher = {Springer}, 37 | Year = {2003}} 38 | 39 | @proceedings{ECOOP:04, 40 | Optaddress = {Oslo, Norway}, 41 | Booktitle = {ECOOP~2004: Proceedings of the 18th European conference on Object-Oriented Programming}, 42 | Opteditor = {Martin Odersky}, 43 | Title = {ECOOP~2004: Proceedings of the 18th European 44 | conference on Object-Oriented Programming}, 45 | series = LNCS, 46 | volume = {3086}, 47 | publisher = {Springer}, 48 | Year = {2004}} 49 | 50 | @proceedings{ECOOP:06, 51 | Optaddress = {Nantes, France}, 52 | Booktitle = {ECOOP~2006: Proceedings of the 20th European conference on Object-Oriented Programming}, 53 | Opteditor = {Dave Thomas}, 54 | Title = {ECOOP~2006: Proceedings of the 20th European 55 | conference on Object-Oriented Programming}, 56 | series = LNCS, 57 | volume = {4067}, 58 | publisher = {Springer}, 59 | Year = {2006}} 60 | 61 | @proceedings{ECOOP:07, 62 | Optaddress = {Berlin, Germany}, 63 | Booktitle = {ECOOP~2007: Proceedings of the 21st European conference on Object-Oriented Programming}, 64 | Opteditor = {Erik Ernst}, 65 | Title = {ECOOP~2007: Proceedings of the 21st European 66 | conference on Object-Oriented Programming}, 67 | series = LNCS, 68 | volume = {4609}, 69 | publisher = {Springer}, 70 | Year = {2007}} 71 | 72 | @proceedings{ECOOP:08, 73 | Optaddress = {Paphos, Cyprus}, 74 | Booktitle = {Proceedings of the 22nd European conference on 75 | Object-Oriented Programming (ECOOP~2008)}, 76 | Opteditor = {Jan Vitek}, 77 | Title = {ECOOP~2008: Proceedings of the 22nd European 78 | conference on Object-Oriented Programming}, 79 | series = {LNCS}, 80 | volume = {5142}, 81 | publisher = {Springer}, 82 | Year = {2008}} 83 | 84 | @proceedings{ECOOP:09, 85 | Optaddress = {Genova, Italy}, 86 | Booktitle = {Proceedings of the 23rd European conference on Object-Oriented Programming (ECOOP~2009)}, 87 | Opteditor = {Sophia Drossopoulou}, 88 | series = {LNCS}, 89 | volume = {5653}, 90 | publisher = {Springer}, 91 | Year = {2009}} 92 | 93 | @proceedings{ECOOP:10, 94 | Opteditor = {Theo D'Hondt}, 95 | Optaddress = {Maribor, Slovenia}, 96 | optbooktitle = {Proceedings of the 24th European Conference 97 | Object-Oriented Programming (ECOOP~2010)}, 98 | Opttitle = {ECOOP 2010: Proceedings of the 24th European 99 | Conference Object-Oriented Programming}, 100 | publisher = {Springer}, 101 | series = {LNCS}, 102 | volume = {6183}, 103 | booktitle = {ECOOP}, 104 | year = {2010}, 105 | } 106 | 107 | @proceedings{ECOOP:11, 108 | Optaddress = {Lancaster, UK}, 109 | Booktitle = {ECOOP~2011: Proceedings of the 25th European conference on Object-Oriented Programming}, 110 | Opteditor = {Mira Mezini}, 111 | series = LNCS, 112 | volume = {6813}, 113 | publisher = {Springer}, 114 | Title = {ECOOP~2011: Proceedings of the 25th European conference on Object-Oriented Programming}, 115 | Year = {2011}} 116 | 117 | 118 | @proceedings{ECOOP:14, 119 | Optaddress = {Uppsala, Sweden}, 120 | optBooktitle = {Proceedings of the 28th European conference on Object-Oriented Programming (ECOOP~2014)}, 121 | booktitle = {ECOOP}, 122 | Opteditor = {??}, 123 | series = {LNCS}, 124 | volume = {8586}, 125 | publisher = {Springer}, 126 | optTitle = {ECOOP~2011: Proceedings of the 25th European conference on Object-Oriented Programming}, 127 | Year = {2014}} 128 | 129 | 130 | @proceedings{ESOP:07, 131 | Optaddress = {Braga, Portugal}, 132 | booktitle = {ESOP}, 133 | optbooktitle = {ESOP}, 134 | Opteditor = {Rocco De Nicola}, 135 | publisher = {Springer}, 136 | series = {LNCS}, 137 | volume = {4421}, 138 | optTitle = {ESOP~2007: Proceedings of the 16th European Symposium on Programming Languages and Systems}, 139 | year = {2007}} 140 | 141 | @proceedings{ESOP:09, 142 | Optaddress = {York, UK}, 143 | Booktitle = {Proceedings of the 18th European Symposium on Programming Languages and Systems (ESOP~2009)}, 144 | Opteditor = {Giuseppe Castagna}, 145 | publisher = {Springer}, 146 | optKey = {ESOP~2009}, 147 | optTitle = {ESOP~2009: Proceedings of the 18th European Symposium 148 | on Programming Languages and Systems}, 149 | series = {LNCS}, 150 | volume = {5502}, 151 | Year = {2009}} 152 | 153 | @proceedings{ESOP:11, 154 | Optaddress = {Saarbr\''{u}cken, Germany}, 155 | optBooktitle = {ESOP~2011: Proceedings of the 20th European Symposium on Programming Languages and Systems}, 156 | Opteditor = {Gilles Barthe}, 157 | publisher = {Springer}, 158 | booktitle = {ESOP}, 159 | series = {LNCS}, 160 | volume = {6602}, 161 | Year = {2011}} 162 | 163 | @proceedings{ESOP:12, 164 | Optaddress = {Tallinn, Estonia}, 165 | Booktitle = {ESOP}, 166 | Opteditor = {Helmut Seidl}, 167 | optvolume = {7211}, 168 | publisher = {Springer}, 169 | optTitle = {ESOP~2012: Proceedings of the 21th European Symposium 170 | on Programming Languages and Systems}, 171 | Year = {2012}} 172 | 173 | @proceedings{ESOP:13, 174 | Optaddress = {Rome, Italy}, 175 | optBooktitle = {ESOP}, 176 | Booktitle = {ESOP}, 177 | Opteditor = {Matthias Felleisen and Philippa Gardner}, 178 | volume = {7792}, 179 | series = LNCS, 180 | publisher = {Springer}, 181 | optTitle = {ESOP~2013: Proceedings of the 22nd European Symposium 182 | on Programming Languages and Systems}, 183 | Year = {2013}} 184 | 185 | @proceedings{ESOP:14, 186 | Opteditor = {Zhong Shao}, 187 | booktitle = {ESOP}, 188 | optbooktitle = {Proceedings of the 23rd European Symposium on Programming Languages and Systems (ESOP~2014)}, 189 | publisher = {Springer}, 190 | series = {LNCS}, 191 | volume = {8410}, 192 | year = {2014} 193 | } 194 | 195 | 196 | @proceedings{ICALP:14, 197 | Booktitle = {ICALP~(2)}, 198 | optBooktitle = {Proceedings of the 41st International Colloquium Automata, Languages, and Programming (ICALP~2014). Part 199 | {II}}, 200 | publisher = {Springer}, 201 | series = LNCS, 202 | volume = {8573}, 203 | year = {2014} 204 | } 205 | 206 | @proceedings{FMOODS:08, 207 | Optaddress = {Oslo, Norway}, 208 | Booktitle = {FMOODS~2008: Proceedings of the 10th international conference on Formal Methods for Open Object-Based Distributed Systems}, 209 | Opteditor = {Barthe, Gilles and de Boer, Frank}, 210 | Publisher = {Springer}, 211 | Year = {2008}} 212 | 213 | @proceedings{ICSE:06, 214 | title = {{ICSE ~2006: Proceedings of the 28th international conference on Software engineering}}, 215 | booktitle = {{ICSE ~2006: Proceedings of the 28th international conference on Software engineering}}, 216 | year = {2006}, 217 | address = {Shanghai, China}} 218 | 219 | @proceedings{LDTA:11, 220 | Optaddress = {Saarbr\"ucken, Germany}, 221 | Booktitle = {LDTA~2011: Proceedings of the 11th International Workshop on Language Descriptions, Tools, and Applications}, 222 | Opteditor = {Claus Brabrand and Eric Van Wyk}, 223 | Title = {LDTA~2011: Proceedings of the 11th International Workshop on Language Descriptions, Tools, and Applications}, 224 | Year = {2011}} 225 | 226 | @proceedings{PEPM:09, 227 | title = {PEPM~2009: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation}, 228 | booktitle = {PEPM~2009: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation}, 229 | year = {2009}, 230 | address = {Savannah, GA, USA}, 231 | editor = {Puebla, Germ\'{a}n and Vidal, Germ\'{a}n}} 232 | 233 | @proceedins{OOPSLA:98, 234 | Optaddress = {Vancouver, British Columbia, Canada}, 235 | Booktitle = {OOPSLA'98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications}, 236 | Opteditor = {Craig Chambers}, 237 | Key = {OOPSLA'98}, 238 | Title = {OOPSLA'98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications}, 239 | Year = {1998}} 240 | 241 | @proceedings{OOPSLA:99, 242 | Optaddress = {Denver, Colorado, USA}, 243 | Booktitle = {OOPSLA '99: Proceedings of the 14th annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications}, 244 | Opteditor = {A. Michael Berman}, 245 | Key = {OOPSLA'99}, 246 | Publisher = {ACM}, 247 | Title = {OOPSLA '99: Proceedings of the 14th annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications}, 248 | Year = {1999}} 249 | 250 | @proceedings{OOPSLA:01, 251 | Optaddress = {Tampa, Florida, USA}, 252 | Booktitle = {OOPSLA'01: Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications}, 253 | Opteditor = {John Vlissides}, 254 | Key = {OOPSLA'01}, 255 | Title = {OOPSLA'01: Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications}, 256 | Year = {2001}} 257 | 258 | @proceedings{OOPSLA:02, 259 | Optaddress = {Seattle, Washington, USA}, 260 | Booktitle = {OOPSLA'02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications}, 261 | Opteditor = {Satoshi Matsuoka}, 262 | Key = {OOPSLA'02}, 263 | Title = {OOPSLA'02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications}, 264 | Year = {2002}} 265 | 266 | @proceedings{OOPSLA:03, 267 | Optaddress = {Anaheim, California, USA}, 268 | Booktitle = {OOPSLA'03: Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications}, 269 | Opteditor = {Guy L. {Steele~Jr.}}, 270 | Key = {OOPSLA'03}, 271 | Title = {OOPSLA'03: Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications}, 272 | Year = {2003}} 273 | 274 | @proceedings{OOPSLA:06, 275 | Optaddress = {Portland, Oregon, USA}, 276 | Booktitle = {OOPSLA'06: Proceedings of the 21st ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications}, 277 | Opteditor = {William R. Cook}, 278 | Key = {OOPSLA'06}, 279 | Title = {OOPSLA'06: Proceedings of the 21st ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications}, 280 | Year = {2006}} 281 | 282 | @proceedings{OOPSLA:07, 283 | Optaddress = {Montreal, Quebec, Canada}, 284 | Booktitle = {OOPSLA'07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications}, 285 | Opteditor = {David F. Bacon and Lopes, Cristina Videira and {Steele, Jr.}, Guy L.}, 286 | Key = {OOPSLA'07}, 287 | Title = {OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications}, 288 | Year = {2007}} 289 | 290 | @proceedings{OOPSLA:10, 291 | Optaddress = {Reno/Tahoe Nevada, USA}, 292 | Booktitle = {OOPSLA'10: Proceedings of the 25th annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications}, 293 | Key = {OOPSLA'10}, 294 | publisher = {ACM}, 295 | Title = {OOPSLA '10: Proceedings of the 25th annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications}, 296 | Year = {2010}} 297 | 298 | @proceedings{OOPSLA:11, 299 | Optaddress = {Portland, Oregon, USA}, 300 | optBooktitle = {Proceedings of the 26th annual ACM SIGPLAN 301 | conference on Object-oriented programming systems, 302 | languages and applications (OOPSLA'11)}, 303 | optKey = {OOPSLA'11}, 304 | booktitle = {OOPSLA}, 305 | optTitle = {OOPSLA '11: Proceedings of the 26th annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications}, 306 | publisher = {ACM}, 307 | Year = {2011}} 308 | 309 | @proceedings{PLDI:03, 310 | Optaddress = {San Diego, CA, USA}, 311 | Booktitle = {PLDI~2003: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation}, 312 | Opteditor = {Rajiv Gupta}, 313 | Optmonth = Jun, 314 | publisher = {ACM}, 315 | Year = 2003} 316 | 317 | @proceedings{PLDI:05, 318 | Optaddress = {Chicago, IL, USA}, 319 | Booktitle = {PLDI~2005: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation}, 320 | Opteditor = {Mary Hall}, 321 | Key = {PLDI~2005}, 322 | Year = {2005}} 323 | 324 | @proceedings{PLDI:08, 325 | Optaddress = {Tucson, AZ, USA}, 326 | optBooktitle = {Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (PLDI~2008)}, 327 | Opteditor = {Saman Amarasinghe}, 328 | optKey = {PLDI~2008}, 329 | booktitle = {PLDI}, 330 | publisher = {ACM}, 331 | Year = {2008}} 332 | 333 | @proceedings{SCHEME:06, 334 | Optaddress = {Portland, Oregon, USA}, 335 | Booktitle = {Scheme and Functional Programming Workshop}, 336 | Key = {Scheme'06}, 337 | Title = {Scheme and Functional Programming Workshop}, 338 | Year = {2006}} 339 | 340 | @proceedings{TOOLS:10, 341 | Optaddress = {Berlin, Heidelberg}, 342 | Booktitle = {Proceedings of the 48th international conference on Objects, models, components, patterns (TOOLS~2010)}, 343 | Opteditor = {Vitek, Jan}, 344 | series = LNCS, 345 | volume = {6141}, 346 | Publisher = {Springer}, 347 | Location = {Malaga, Spain}, 348 | Year = {2010}} 349 | 350 | @proceedings{TOOLS:11, 351 | Optaddress = {Zurich, Switzerland}, 352 | Booktitle = {Proceedings of the 49th international conference on Objects, models, components, patterns (TOOLS~2011)}, 353 | Opteditor = {Judith Bishop and Antonio Vallecillo}, 354 | series = LNCS, 355 | volume = {6705}, 356 | Publisher = {Springer}, 357 | Year = {2011}} 358 | 359 | @proceedings{Abramsky-Hankin:87, 360 | Booktitle = {Abstract Interpretation of Declarative Languages}, 361 | Opteditor = {Samson Abramsky and Chris Hankin}, 362 | Key = {Abramsky and Hankin}, 363 | Publisher = {Ellis Horwood}, 364 | Title = {Abstract Interpretation of Declarative Languages}, 365 | Year = 1987} 366 | 367 | @proceedings{APLAS:05, 368 | Optaddress = {Tsukuba, Japan}, 369 | Booktitle = {Proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005}, 370 | Opteditor = {Kwangkeun Yi}, 371 | Optmonth = Nov, 372 | Publisher = S-V, 373 | Series = LNCS, 374 | Title = {Proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005}, 375 | Volume = 3780, 376 | Year = 2005} 377 | 378 | @proceedings{APPSEM:00, 379 | Optaddress = {Caminha, Portugal}, 380 | Booktitle = {Applied Semantics -- Advanced Lectures}, 381 | Opteditor = {Gilles Barthe and Peter Dybjer and Lu{\'\i}s Pinto and Jo{\~a}o Saraiva}, 382 | Optmonth = Sep, 383 | Publisher = S-V, 384 | Series = LNCS, 385 | Title = {Applied Semantics -- Advanced Lectures}, 386 | Volume = 2395, 387 | Year = 2000} 388 | 389 | @proceedings{ASE:01, 390 | Optaddress = {Coronado Island, San Diego, California}, 391 | Booktitle = {16th IEEE International Conference on Automated Software Engineering (ASE 2001)}, 392 | Opteditor = {Martin S. Feather and Michael Goedicke}, 393 | Isbn = {0-7695-1426-X}, 394 | Key = {Feather and Goedicke}, 395 | Optmonth = Nov, 396 | Publisher = {IEEE Computer Society}, 397 | Title = {16th IEEE International Conference on Automated Software Engineering (ASE 2001)}, 398 | Year = 2001} 399 | 400 | @proceedings{CAAP:94, 401 | Optaddress = {Edinburgh, Scotland}, 402 | Booktitle = {19th Colloquium on Trees in Algebra and Programming (CAAP'94)}, 403 | Opteditor = {Sophie Tison}, 404 | Key = {Tison}, 405 | Optmonth = Apr, 406 | Publisher = S-V, 407 | Series = LNCS, 408 | Title = {19th Colloquium on Trees in Algebra and Programming (CAAP'94)}, 409 | Volume = 787, 410 | Year = 1994} 411 | 412 | @proceedings{CC:96, 413 | Optaddress = {Link{\"o}ping, Sweden}, 414 | Booktitle = CC96, 415 | Opteditor = {Tibor Gyim{\'o}thy}, 416 | Key = {Gyim{\'o}thy}, 417 | Optmonth = Apr, 418 | Publisher = S-V, 419 | Series = LNCS, 420 | Title = CC96, 421 | Volume = 1060, 422 | Year = 1996} 423 | 424 | @proceedings{CC:98, 425 | Optaddress = {London, UK}, 426 | Booktitle = CC98, 427 | Opteditor = {Kai Koskimies}, 428 | Key = {Koskimies}, 429 | Optmonth = Apr, 430 | Publisher = S-V, 431 | Series = LNCS, 432 | Title = CC98, 433 | Volume = 1383, 434 | Year = 1998} 435 | 436 | @proceedings{CP:97, 437 | Optaddress = {Linz, Austria}, 438 | Booktitle = {CP}, 439 | Opteditor = {Gert Smolka}, 440 | Optmonth = {Oct-Nov}, 441 | Publisher = S-V, 442 | Series = LNCS, 443 | Title = {Principles and Practice of Constraint Programming - CP97, Third International Conference, Proceedings}, 444 | Volume = 1330, 445 | Year = 1997} 446 | 447 | @proceedings{CTCP:86, 448 | Optaddress = {Guildford, UK}, 449 | Booktitle = {Category Theory and Computer Programming}, 450 | Opteditor = {David H. Pitt and others}, 451 | Optmonth = Sep, 452 | Publisher = S-V, 453 | Series = LNCS, 454 | Title = {Category Theory and Computer Programming}, 455 | Volume = 240, 456 | Year = 1986} 457 | 458 | @proceedings{CW:04, 459 | Optaddress = {Venice, Italy}, 460 | Booktitle = PROCEEDINGS # { of the Fourth ACM SIGPLAN Workshop on Continuations}, 461 | Opteditor = {Hayo Thielecke}, 462 | Key = {Thielecke}, 463 | Optmonth = Jan, 464 | Series = {Technical report CSR-04-1, Department of Computer Science, Queen Mary's College}, 465 | Title = PROCEEDINGS # { of the Fourth ACM SIGPLAN Workshop on Continuations}, 466 | Year = 2004} 467 | 468 | @proceedings{ECOOP:92, 469 | Optaddress = {Utrecht, The Netherlands}, 470 | Booktitle = PROCEEDINGS # { of the European Conference on Object-Oriented Programming ({ECOOP'92})}, 471 | Opteditor = {Ole Lehrmann Madsen}, 472 | Key = {Lehrmann}, 473 | Optmonth = {Jun--Jul}, 474 | Publisher = S-V, 475 | Series = LNCS, 476 | Title = PROCEEDINGS # { of the European Conference on Object-Oriented Programming ({ECOOP'92})}, 477 | Volume = 615, 478 | Year = 1992} 479 | 480 | @proceedings{ECOOP:95, 481 | Booktitle = PROCEEDINGS # { of the 9th European Conference on Object-Oriented Programming ({ECOOP'95})}, 482 | Opteditor = {Walter G. Olthoff}, 483 | Key = {Olthoff}, 484 | Optmonth = Aug, 485 | Publisher = S-V, 486 | Series = LNCS, 487 | Title = PROCEEDINGS # { of the 9th European Conference on Object-Oriented Programming ({ECOOP'95})}, 488 | Volume = 952, 489 | Year = 1995} 490 | 491 | @proceedings{ESOP:90, 492 | Optaddress = {Copenhagen, Denmark}, 493 | Booktitle = ESOP90, 494 | Opteditor = {Neil D. Jones}, 495 | Key = {Jones}, 496 | Optmonth = May, 497 | Optkey = {ESOP'90}, 498 | Publisher = S-V, 499 | Series = LNCS, 500 | Title = ESOP90, 501 | Volume = 432, 502 | Year = 1990} 503 | 504 | @proceedings{ESOP:96, 505 | Optaddress = {Link{\"o}ping, Sweden}, 506 | Booktitle = ESOP96, 507 | Opteditor = {Hanne Riis Nielson}, 508 | Key = {Nielson}, 509 | Optmonth = Apr, 510 | Publisher = S-V, 511 | Series = LNCS, 512 | Title = ESOP96, 513 | Volume = 1058, 514 | Year = 1996} 515 | 516 | @proceedings{ESOP:99, 517 | Optaddress = {Amsterdam, The Netherlands}, 518 | Booktitle = ESOP99, 519 | Opteditor = {S. Doaitse Swierstra}, 520 | Key = {Swierstra}, 521 | Optmonth = Mar, 522 | Optkey = {ESOP'99}, 523 | Publisher = S-V, 524 | Series = LNCS, 525 | Title = ESOP99, 526 | Volume = 1576, 527 | Year = 1999} 528 | 529 | @proceedings{ESOP:00, 530 | Optaddress = {Berlin, Germany}, 531 | Booktitle = ESOP00, 532 | Opteditor = {Gert Smolka}, 533 | Key = {Smolka}, 534 | Optmonth = Mar, 535 | Publisher = S-V, 536 | Series = LNCS, 537 | Title = ESOP00, 538 | Volume = 1782, 539 | Year = 2000} 540 | 541 | @proceedings{ESOP:02, 542 | Optaddress = {Grenoble, France}, 543 | Booktitle = ESOP02, 544 | Opteditor = {Daniel {Le M\'etayer}}, 545 | Key = {Le M\'etayer}, 546 | Optmonth = Apr, 547 | Publisher = S-V, 548 | Series = LNCS, 549 | Title = ESOP02, 550 | Volume = 2305, 551 | Year = 2002} 552 | 553 | @proceedings{ESOP:03, 554 | Optaddress = {Warsaw, Poland}, 555 | Booktitle = ESOP03, 556 | Opteditor = {Pierpaolo Degano}, 557 | Key = {Degano}, 558 | Optmonth = Apr, 559 | Publisher = S-V, 560 | Series = LNCS, 561 | Title = ESOP03, 562 | Volume = 2618, 563 | Year = 2003} 564 | 565 | @proceedings{ESOP:05, 566 | Optaddress = {Edinburgh, Scotland}, 567 | Booktitle = ESOP05, 568 | Opteditor = {Mooly Sagiv}, 569 | Key = {Sagiv}, 570 | Optmonth = Apr, 571 | Publisher = S-V, 572 | Series = LNCS, 573 | Title = ESOP05, 574 | Volume = 2618, 575 | Year = 2005} 576 | 577 | @proceedings{ESOP:10, 578 | opteditor = {Andrew D. Gordon}, 579 | booktitle = {Proceedings of the 19th European Symposium on Programming (ESOP~2010)}, 580 | series = {LNCS}, 581 | year = {2010}, 582 | volume = {6012}, 583 | publisher = {Springer}, 584 | } 585 | 586 | @proceedings{FPaiA:82, 587 | Booktitle = {Functional Programming and its Applications}, 588 | Opteditor = {John Darlington and Peter Henderson and David A. Turner}, 589 | Key = {Darlington, Henderson, and Turner}, 590 | Publisher = {Cambridge University Press}, 591 | Title = {Functional Programming and its Applications}, 592 | Year = 1982} 593 | 594 | @proceedings{FMPA:93, 595 | Optaddress = {Academgorodok, Novosibirsk, Russia}, 596 | Opteditor = {Dines Bj{\o}rner and Manfred Broy and Igor V. Pottosin}, 597 | Key = {Bj{\o}rner, Broy, and Pottosin}, 598 | Optmonth = Jun, 599 | Publisher = S-V, 600 | Series = LNCS, 601 | Title = {Formal Methods in Programming and Their Applications}, 602 | Volume = 735, 603 | Year = 1993} 604 | 605 | @proceedings{FPCA:85, 606 | Optaddress = {Nancy, France}, 607 | Booktitle = {Functional Programming Languages and Computer Architecture}, 608 | Opteditor = {Jean-Pierre Jouannaud}, 609 | Key = {Jouannaud}, 610 | Optmonth = Sep, 611 | Publisher = S-V, 612 | Series = LNCS, 613 | Title = {Functional Programming Languages and Computer Architecture}, 614 | Volume = 201, 615 | Year = 1985} 616 | 617 | @proceedings{FPCA:87, 618 | Optaddress = {Portland, Oregon}, 619 | Booktitle = {Functional Programming Languages and Computer Architecture}, 620 | Opteditor = {Gilles Kahn}, 621 | Key = {Kahn}, 622 | Optmonth = Sep, 623 | Publisher = S-V, 624 | Series = LNCS, 625 | Title = {Functional Programming Languages and Computer Architecture}, 626 | Volume = 274, 627 | Year = 1987} 628 | 629 | @proceedings{FPCA:89, 630 | Optaddress = {London, England}, 631 | Booktitle = FPCA89, 632 | Opteditor = {Joseph E. Stoy}, 633 | Key = {Stoy}, 634 | Optmonth = Sep, 635 | Optkey = {FPCA'89}, 636 | Optorganization = {ACM}, 637 | publisher = {ACM}, 638 | Title = FPCA89, 639 | Year = 1989} 640 | 641 | @proceedings{FPCA:91, 642 | Optaddress = {Cambridge, Massachusetts}, 643 | Booktitle = FPCA91, 644 | Opteditor = {John Hughes}, 645 | Key = {Hughes}, 646 | Optmonth = Aug, 647 | Optorganization = {ACM}, 648 | Publisher = S-V, 649 | Series = LNCS, 650 | Title = FPCA91, 651 | Volume = 523, 652 | Year = 1991} 653 | 654 | @proceedings{FPCA:93, 655 | Optaddress = {Copenhagen, Denmark}, 656 | Booktitle = FPCA93, 657 | Opteditor = {Arvind}, 658 | Key = {Arvind}, 659 | Optmonth = Jun, 660 | Optkey = {FPCA'93}, 661 | Optorganization = {ACM}, 662 | Publisher = {ACM Press}, 663 | Title = FPCA93, 664 | Year = 1993} 665 | 666 | @proceedings{FPCA:95, 667 | Optaddress = {La Jolla, California}, 668 | Booktitle = FPCA95, 669 | Opteditor = {Simon {Peyton Jones}}, 670 | Key = {{Peyton Jones}}, 671 | Optmonth = Jun, 672 | Optkey = {FPCA'95}, 673 | Optorganization = {ACM}, 674 | publisher = {ACM}, 675 | Title = FPCA95, 676 | Year = 1995} 677 | 678 | @proceedings{Glasgow:94, 679 | Optaddress = {Ayr, Scotland}, 680 | Booktitle = PROCEEDINGS # { of the 1994 Glasgow Workshop on Functional Programming}, 681 | Opteditor = {Kevin Hammond and David N. Turner and Patrick M. Sansom}, 682 | Key = {Hammond et al.}, 683 | Publisher = S-V, 684 | Series = {Workshops in Computing}, 685 | Title = {1994 Glasgow Workshop on Functional Programming}, 686 | Year = 1994} 687 | 688 | @proceedings{ICALP:76, 689 | Optaddress = {Edinburgh, Scotland}, 690 | Booktitle = ICALP76, 691 | Opteditor = {S. Michaelson and Robin Milner}, 692 | Optmonth = jul, 693 | Publisher = {Edinburgh University Press}, 694 | Title = ICALP76, 695 | Year = 1976} 696 | 697 | @proceedings{ICALP:81, 698 | Optaddress = {Israel}, 699 | Booktitle = ICALP81, 700 | Opteditor = {Shimon Even and Oded Kariv}, 701 | Optmonth = jul, 702 | Publisher = S-V, 703 | Series = LNCS, 704 | Title = ICALP81, 705 | Volume = 115, 706 | Year = 1981} 707 | 708 | @proceedings{ICCL:94, 709 | Optaddress = {Toulouse, France}, 710 | Booktitle = PROCEEDINGS # { of the Fifth IEEE International Conference on Computer Languages}, 711 | Opteditor = {Henri Bal}, 712 | Key = {ICCL'94}, 713 | Optmonth = May, 714 | Optorganization = {IEEE Computer Society}, 715 | Publisher = {IEEE Computer Society Press}, 716 | Title = {IEEE International Conference on Computer Languages}, 717 | Year = 1994} 718 | 719 | @proceedings{ICFP:96, 720 | Optaddress = {Philadelphia, Pennsylvania}, 721 | Booktitle = ICFP96, 722 | Opteditor = {R. Kent Dybvig}, 723 | Key = {Dybvig}, 724 | Optmonth = May, 725 | Optkey = {ICFP'96}, 726 | Optorganization = {ACM}, 727 | publisher = {ACM}, 728 | Optseries = {LISP Pointers, Vol.~VII, No.~3}, 729 | Title = ICFP96, 730 | Year = 1996} 731 | 732 | @proceedings{ICFP:97, 733 | Optaddress = {Amsterdam, The Netherlands}, 734 | Booktitle = ICFP97, 735 | Opteditor = {Mads Tofte}, 736 | Key = {Tofte}, 737 | Optmonth = Jun, 738 | Optorganization = {ACM}, 739 | publisher = {ACM}, 740 | Optseries = {LISP Pointers, Vol.~VII, No.~3}, 741 | Title = ICFP97, 742 | Year = 1997} 743 | 744 | @proceedings{ICFP:98, 745 | Optaddress = {Baltimore, Maryland}, 746 | Booktitle = ICFP98, 747 | Opteditor = {Matthias Felleisen and Paul Hudak and Christian 748 | Queinnec}, 749 | Key = {Felleisen}, 750 | Optmonth = Sep, 751 | Optorganization = {ACM}, 752 | publisher = {ACM}, 753 | Title = ICFP98, 754 | Year = 1998} 755 | 756 | @proceedings{ICFP:00, 757 | Optaddress = {Montr\'eal, Canada}, 758 | Booktitle = ICFP00, 759 | Opteditor = {Philip Wadler}, 760 | Key = {Wadler}, 761 | Optmonth = Sep, 762 | Optorganization = {ACM}, 763 | publisher = {ACM}, 764 | Optseries = {SIGPLAN Notices, Vol.~35, No.~9}, 765 | Title = ICFP00, 766 | Year = 2000} 767 | 768 | @proceedings{ICFP:01, 769 | Optaddress = {Firenze, Italy}, 770 | Booktitle = ICFP01, 771 | Opteditor = {Xavier Leroy}, 772 | Key = {Leroy}, 773 | Optmonth = Sep, 774 | Optorganization = {ACM}, 775 | publisher = {ACM}, 776 | Optseries = {SIGPLAN Notices, Vol.~36, No.~10}, 777 | Title = ICFP01, 778 | Year = 2001} 779 | 780 | @proceedings{ICFP:02, 781 | Optaddress = {Pittsburgh, Pennsylvania}, 782 | Booktitle = ICFP02, 783 | Opteditor = {Simon {Peyton Jones}}, 784 | Key = {Peyton Jones}, 785 | Optmonth = Sep, 786 | Title = ICFP02, 787 | Year = 2002} 788 | 789 | @proceedings{ICFP:03, 790 | Optaddress = {Uppsala, Sweden}, 791 | Booktitle = ICFP03, 792 | Opteditor = {Olin Shivers}, 793 | Key = {Shivers}, 794 | Optmonth = Sep, 795 | Title = ICFP03, 796 | Year = 2003} 797 | 798 | @proceedings{ICFP:04, 799 | Optaddress = {Snowbird, Utah}, 800 | Booktitle = ICFP04, 801 | Opteditor = {Kathleen Fisher}, 802 | Key = {Fisher}, 803 | Optmonth = Sep, 804 | Optorganization = {ACM}, 805 | publisher = {ACM}, 806 | Optseries = {SIGPLAN Notices, Vol.~39, No.~9}, 807 | Title = ICFP04, 808 | Year = 2004} 809 | 810 | @proceedings{ICFP:05, 811 | opteditor = {Olivier Danvy and 812 | Benjamin C. Pierce}, 813 | booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on 814 | Functional Programming (ICFP~2005)}, 815 | year = {2005}, 816 | publisher = {ACM} 817 | } 818 | 819 | @proceedings{ICFP:06, 820 | Optaddress = {Portland, Oregon}, 821 | Booktitle = {ICFP}, 822 | Opteditor = {Julia Lawall}, 823 | Optmonth = Sep, 824 | publisher = {ACM}, 825 | optTitle = ICFP06, 826 | Year = 2006} 827 | 828 | @proceedings{ICFP:07, 829 | Optaddress = {Freiburg, Germany}, 830 | Booktitle = ICFP07, 831 | Opteditor = {Norman Ramsey}, 832 | Key = {Ramsey}, 833 | Optmonth = Oct, 834 | publisher = {ACM}, 835 | Title = ICFP07, 836 | Year = 2007} 837 | 838 | @proceedings{ICFP:08, 839 | Optaddress = {Victoria, British Columbia, Canada}, 840 | Booktitle = {ICFP}, 841 | Opteditor = {Peter Thiemann}, 842 | Key = {Thiemann}, 843 | Optmonth = Sep, 844 | Optorganization = {ACM}, 845 | publisher = {ACM Press}, 846 | Optseries = {SIGPLAN Notices, Vol.~43, No.~9}, 847 | Year = 2008} 848 | 849 | @proceedings{ICFP:09, 850 | Optaddress = {Edinburgh, Scotland}, 851 | Booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on 852 | Functional programming (ICFP~2009)}, 853 | Opteditor = {Graham Hutton and Andrew P. Tolmach}, 854 | optKey = {Hutton and Tolmach}, 855 | Optmonth = {Aug--Sep}, 856 | publisher = {ACM}, 857 | Year = {2009}} 858 | 859 | @proceedings{ICFP:10, 860 | title = {Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming (ICFP~2010)}, 861 | Booktitle = {Proceedings of the 15th ACM SIGPLAN International 862 | Conference on Functional Programming (ICFP~2010)}, 863 | Year = 2010, 864 | Optmonth = {September}, 865 | publisher = {ACM}, 866 | Publisher = {ACM}, 867 | Optaddress = {Baltimore, Maryland, USA}, 868 | Opteditor = {Weirich, Stephanie}} 869 | 870 | @proceedings{ICFP:11, 871 | opttitle = {Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP~2011)}, 872 | Booktitle = {Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP~2011)}, 873 | optBooktitle = {ICFP}, 874 | Year = 2011, 875 | Optmonth = {September}, 876 | Publisher = {ACM}, 877 | Optaddress = {Tokyo, Japan}, 878 | Opteditor = {Olivier Danvy}} 879 | 880 | @proceedings{ICFP:12, 881 | opttitle = {Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP~2012)}, 882 | optBooktitle = {Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP~2012)}, 883 | Year = 2012, 884 | Optmonth = {September}, 885 | publisher = {ACM}, 886 | booktitle = {ICFP}, 887 | Optaddress = {Copenhagen, Denmark}, 888 | Opteditor = {Findler, Robby}} 889 | 890 | 891 | @proceedings{ICFP:13, 892 | opttitle = {Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP~2013)}, 893 | optBooktitle = {Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP~2013)}, 894 | Booktitle = {ICFP}, 895 | Year = 2013, 896 | Optmonth = {September}, 897 | publisher = {ACM}, 898 | Optaddress = {Boston, MA, USA}, 899 | Opteditor = {Findler, Robby}} 900 | 901 | 902 | @proceedings{ICLP:02, 903 | Optaddress = {Copenhagen, Denmark}, 904 | Booktitle = {ICLP}, 905 | Opteditor = {Peter J. Stuckey}, 906 | Optmonth = {Jul--Aug}, 907 | Publisher = S-V, 908 | Series = LNCS, 909 | Title = {Logic Programming, 18th International Conference, ICLP 2002}, 910 | Volume = 2401, 911 | Year = 2002} 912 | 913 | @proceedings{IFL:04, 914 | Optaddress = {L{\"u}beck, Germany}, 915 | Booktitle = {Implementation and Application of Functional Languages, 16th International Workshop, IFL'04}, 916 | Opteditor = {Clemens Grelck and Frank Huch and Greg J. Michaelson and Phil Trinder}, 917 | Key = {Grelck et al.}, 918 | Optmonth = Sep, 919 | Optnote = {Revised Selected Papers}, 920 | Publisher = S-V, 921 | Series = LNCS, 922 | Title = {Implementation and Application of Functional Languages, 16th International Workshop, IFL'04}, 923 | Volume = 3474, 924 | Year = 2004} 925 | 926 | @proceedings{ISOP:84, 927 | Optaddress = {Toulouse, France}, 928 | Booktitle = ISOP84, 929 | Opteditor = {Manfred Paul and Bernard Robinet}, 930 | Key = {Paul and Bernard Robinet}, 931 | Optmonth = Apr, 932 | Publisher = S-V, 933 | Series = LNCS, 934 | Title = ISOP84, 935 | Volume = 167, 936 | Year = 1984} 937 | 938 | @article{JFP:93, 939 | Booktitle = {Special issue on Partial Evaluation}, 940 | Opteditor = {Neil D. Jones}, 941 | Journal = JFP, 942 | Key = {Jones}, 943 | Optmonth = Jul, 944 | Number = 3, 945 | Optkey = {JFP'93}, 946 | Publisher = {Cambridge University Press}, 947 | Title = {Special issue on Partial Evaluation}, 948 | Volume = 3, 949 | Year = 1993} 950 | 951 | @proceedings{Jones:02, 952 | Booktitle = {The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones}, 953 | Opteditor = {Torben {\AE}. Mogensen and David A. Schmidt and I. Hal Sudborough}, 954 | Key = {Mogensen, Schmidt, and Sudburough}, 955 | Publisher = S-V, 956 | Series = LNCS, 957 | Title = {The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones}, 958 | Volume = 2566, 959 | Year = 2002} 960 | 961 | @proceedings{LaSC:SIoC1, 962 | Booktitle = {Special issue on continuations (Part I)}, 963 | Opteditor = {Carolyn L. Talcott}, 964 | Key = {Talcott}, 965 | Optkey = {LaSC'93}, 966 | OptOptmonth = Dec, 967 | Publisher = {Kluwer Academic Publishers}, 968 | Series = {Lisp and Symbolic Computation, Vol.~6, Nos.~3/4}, 969 | Title = {Special issue on continuations (Part I)}, 970 | Year = 1993} 971 | 972 | @proceedings{LFP:84, 973 | Optaddress = {Austin, Texas}, 974 | Booktitle = LFP84, 975 | Opteditor = {Guy L. {Steele Jr.}}, 976 | Key = {Steele}, 977 | Optmonth = Aug, 978 | Note = {\typeout{Change 'Steele Jr.' to 'Steele' in LFP:84!}}, 979 | Optkey = {LFP'84}, 980 | Optorganization = {ACM}, 981 | publisher = {ACM}, 982 | Title = LFP84, 983 | Year = 1984} 984 | 985 | @proceedings{LFP:86, 986 | Optaddress = {Cambridge, Massachusetts}, 987 | Booktitle = LFP86, 988 | Optmonth = Jul, 989 | Optkey = {LFP'86}, 990 | Optorganization = {ACM}, 991 | publisher = {ACM}, 992 | Title = LFP86, 993 | Year = 1986} 994 | 995 | 996 | @proceedings{LFP:88, 997 | Optaddress = {Snowbird, Utah}, 998 | Booktitle = LFP88, 999 | Opteditor = {Robert (Corky) Cartwright}, 1000 | Key = {Cartwright}, 1001 | Optmonth = Jul, 1002 | Optkey = {LFP'88}, 1003 | Optorganization = {ACM}, 1004 | publisher = {ACM}, 1005 | Title = LFP88, 1006 | Year = 1988} 1007 | 1008 | @proceedings{LFP:90, 1009 | Optaddress = {Nice, France}, 1010 | Booktitle = LFP90, 1011 | Opteditor = {Mitchell Wand}, 1012 | Key = {Wand}, 1013 | Optmonth = Jun, 1014 | Optkey = {LFP'90}, 1015 | Optorganization = {ACM}, 1016 | publisher = {ACM}, 1017 | Title = LFP90, 1018 | Year = 1990} 1019 | 1020 | @proceedings{LFP:92, 1021 | Optaddress = {San Francisco, California}, 1022 | Booktitle = LFP92, 1023 | Opteditor = {William Clinger}, 1024 | Key = {Clinger}, 1025 | Optmonth = Jun, 1026 | Optkey = {LFP'92}, 1027 | Optorganization = {ACM}, 1028 | publisher = {ACM}, 1029 | Series = {LISP Pointers, Vol.~V, No.~1}, 1030 | Title = LFP92, 1031 | Year = 1992} 1032 | 1033 | @proceedings{LFP:94, 1034 | Optaddress = {Orlando, Florida}, 1035 | Booktitle = LFP94, 1036 | Opteditor = {Carolyn L. Talcott}, 1037 | Key = {Talcott}, 1038 | Optmonth = Jun, 1039 | Optkey = {LFP'94}, 1040 | Optorganization = {ACM}, 1041 | publisher = {ACM}, 1042 | Series = {LISP Pointers, Vol.~VII, No.~3}, 1043 | Title = LFP94, 1044 | Year = 1994} 1045 | 1046 | @proceedings{LICS:90, 1047 | Optaddress = {Philadelphia, Pennsylvania}, 1048 | Booktitle = LICS90, 1049 | Opteditor = {John Mitchell}, 1050 | Key = {Mitchell}, 1051 | Optmonth = Jun, 1052 | Optkey = {LICS'90}, 1053 | Optorganization = {IEEE}, 1054 | Publisher = {IEEE Computer Society Press}, 1055 | Title = LICS90, 1056 | Year = 1990} 1057 | 1058 | @proceedings{LICS:92, 1059 | Optaddress = {Santa Cruz, California}, 1060 | Booktitle = LICS92, 1061 | Opteditor = {Andre Scedrov}, 1062 | Key = {Scedrov}, 1063 | Optmonth = Jun, 1064 | Publisher = {IEEE Computer Society Press}, 1065 | Title = LICS92, 1066 | Year = 1992} 1067 | 1068 | @proceedings{LICS:97, 1069 | Optaddress = {Warsaw, Poland}, 1070 | Booktitle = LICS97, 1071 | Opteditor = {Glynn Winskel}, 1072 | Key = {Winskel}, 1073 | Optmonth = Jun, 1074 | Publisher = {IEEE Computer Society}, 1075 | Title = LICS97, 1076 | Year = 1997} 1077 | 1078 | @proceedings{LICS:02, 1079 | booktitle = {LICS}, 1080 | publisher = {IEEE Computer Society}, 1081 | year = {2002}, 1082 | } 1083 | 1084 | @proceedings{LOMAPS:97, 1085 | Booktitle = {Selected papers from the 5th {LOMAPS} Workshop on Analysis and Verification of Multiple-Agent Languages}, 1086 | Opteditor = {Mads Dam}, 1087 | Key = {Dam}, 1088 | Publisher = S-V, 1089 | Series = LNCS, 1090 | Title = {Selected papers from the 5th {LOMAPS} Workshop on Analysis and Verification of Multiple-Agent Languages}, 1091 | Volume = 1192, 1092 | Year = 1997} 1093 | 1094 | @proceedings{LOPSTR:03, 1095 | Optaddress = {Uppsala, Sweden}, 1096 | Booktitle = {Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003}, 1097 | Opteditor = {Maurice Bruynooghe}, 1098 | Key = {Bruynooghe}, 1099 | Optmonth = Aug, 1100 | Publisher = S-V, 1101 | Series = LNCS, 1102 | Title = {Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003}, 1103 | Volume = 3018, 1104 | Year = 2003} 1105 | 1106 | @proceedings{MFPS:91, 1107 | Optaddress = {Pittsburgh, Pennsylvania}, 1108 | Booktitle = MFPS91, 1109 | Opteditor = {Stephen Brookes and Michael Main and Austin Melton and Michael Mislove and David Schmidt}, 1110 | Key = {Brookes {\it et al.}}, 1111 | Optmonth = Mar, 1112 | Optkey = {MFPS'91}, 1113 | Publisher = S-V, 1114 | Series = LNCS, 1115 | Title = MFPS91, 1116 | Volume = 598, 1117 | Year = 1991} 1118 | 1119 | @proceedings{MFPS:93, 1120 | Optaddress = {New Orleans, Louisiana}, 1121 | Booktitle = MFPS93, 1122 | Opteditor = {Stephen Brookes and Michael Main and Austin Melton and Michael Mislove and David Schmidt}, 1123 | Key = {Brookes {\it et al.}}, 1124 | Optmonth = Apr, 1125 | Optkey = {MFPS'93}, 1126 | Publisher = S-V, 1127 | Series = LNCS, 1128 | Title = MFPS93, 1129 | Volume = 802, 1130 | Year = 1993} 1131 | 1132 | @proceedings{MFPS:01, 1133 | Optaddress = {Aarhus, Denmark}, 1134 | Booktitle = MFPS01, 1135 | Opteditor = {Stephen Brookes and Michael Mislove}, 1136 | Key = {Brookes and Mislove}, 1137 | Optmonth = May, 1138 | Publisher = {Elsevier Science Publishers}, 1139 | Series = {Electronic Notes in Theoretical Computer Science}, 1140 | Title = MFPS01, 1141 | Volume = 45, 1142 | Year = 2001} 1143 | 1144 | @proceedings{ML:06, 1145 | Booktitle = {{ML}'06:} # PROCEEDINGS # { of the ACM SIGPLAN 2006 workshop on {ML}}, 1146 | Opteditor = {Andrew Kennedy and Fran\c{c}ois Pottier}, 1147 | Key = {Kennedy and Pottier}, 1148 | Location = {Portland, Oregon}, 1149 | Optmonth = Sep, 1150 | Optnote = {Program Chair-Andrew Kennedy and Program Chair-Fran\c{c}ois Pottier}, 1151 | Title = {{ML}'06:} # PROCEEDINGS # { of the ACM SIGPLAN 2006 workshop on {ML}}, 1152 | Year = 2006} 1153 | 1154 | @proceedings{MSCS:92, 1155 | Booktitle = {Special issue on the 1990 {ACM} Conference on {L}isp and Functional Programming}, 1156 | Opteditor = {Mitchell Wand}, 1157 | Key = {Wand}, 1158 | Optmonth = Dec, 1159 | Optkey = {MSCS'92}, 1160 | Publisher = {Cambridge University Press}, 1161 | Series = {Mathematical Structures in Computer Science, Vol.~2, No.~4}, 1162 | Title = {Special issue on the 1990 {ACM} Conference on {L}isp and Functional Programming}, 1163 | Year = 1992} 1164 | 1165 | @proceedings{Muchnick-Jones:81, 1166 | Booktitle = {Program Flow Analysis: Theory and Applications}, 1167 | Opteditor = {Steven S. Muchnick and Neil D. Jones}, 1168 | Key = {Muchnick and Jones}, 1169 | Publisher = P-H, 1170 | Title = {Program Flow Analysis: Theory and Applications}, 1171 | Year = 1981} 1172 | 1173 | @proceedings{PADL:02, 1174 | Optaddress = {Portland, Oregon}, 1175 | Booktitle = {Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002}, 1176 | Opteditor = {Shriram Krishnamurthi and C. R. Ramakrishnan}, 1177 | Key = {Krishnamurthi and Ramakrishnan}, 1178 | Optmonth = Jan, 1179 | Publisher = {Springer}, 1180 | Series = LNCS, 1181 | Title = {Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002}, 1182 | Volume = 2257, 1183 | Year = 2002} 1184 | 1185 | @proceedings{PADO:01, 1186 | Optaddress = {Aarhus, Denmark}, 1187 | Booktitle = {Programs as Data Objects, Second Symposium (PADO 2001)}, 1188 | Opteditor = {Olivier Danvy and Andrzej Filinski}, 1189 | Key = {Danvy and Filinski}, 1190 | Optmonth = May, 1191 | Number = 2053, 1192 | Publisher = {Springer}, 1193 | Series = LNCS, 1194 | Title = {Programs as Data Objects, Second Symposium (PADO 2001)}, 1195 | Year = 2001} 1196 | 1197 | @proceedings{PASTE:01, 1198 | Booktitle = {PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering}, 1199 | Opteditor = {John Field and Gregor Snelting}, 1200 | Key = {Field and Snelting}, 1201 | Location = {Snowbird, Utah, United States}, 1202 | Optaddress = {New York, NY, USA}, 1203 | publisher = {ACM}, 1204 | Title = {PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering}, 1205 | Year = 2001} 1206 | 1207 | @book{PEMC:NH88, 1208 | Booktitle = {Partial Evaluation and Mixed Computation}, 1209 | Opteditor = {Dines Bj{\o}rner and Andrei P. Ershov and Neil D. Jones}, 1210 | Key = {Bj{\o}rner, Ershov, and Jones}, 1211 | Optauthor = {Dines Bj{\o}rner and Andrei P. Ershov and Neil D. Jones}, 1212 | Optkey = {PEMC'NH88}, 1213 | Publisher = N-H, 1214 | Title = {Partial Evaluation and Mixed Computation}, 1215 | Year = 1988} 1216 | 1217 | @proceedings{PEPM:91, 1218 | Optaddress = {New Haven, Connecticut}, 1219 | Booktitle = PROCEEDINGS # { of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation}, 1220 | Opteditor = {Paul Hudak and Neil D. Jones}, 1221 | Key = {Hudak and Jones}, 1222 | Optmonth = Jun, 1223 | Optkey = {PEPM'91}, 1224 | Optorganization = {ACM}, 1225 | publisher = {ACM}, 1226 | Optseries = {SIGPLAN Notices, Vol.~26, No~9}, 1227 | Title = {ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation}, 1228 | Year = 1991} 1229 | 1230 | @proceedings{PEPM:93, 1231 | Optaddress = {Copenhagen, Denmark}, 1232 | Booktitle = {Proceedings of the Second ACM SIGPLAN Symposium 1233 | on Partial Evaluation and Semantics-Based Program 1234 | Manipulation}, 1235 | Opteditor = {David A. Schmidt}, 1236 | Key = {Schmidt}, 1237 | Optmonth = Jun, 1238 | Optkey = {PEPM'93}, 1239 | Optorganization = {ACM SIGPLAN}, 1240 | publisher = {ACM}, 1241 | Title = {Second ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation}, 1242 | Year = 1993} 1243 | 1244 | @proceedings{PEPM:10, 1245 | booktitle = {PEPM'10: Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation}, 1246 | year = {2010}, 1247 | address = {Madrid, Spain}, 1248 | publisher = {ACM}, 1249 | Opteditor = {John Gallagher and Janis Voigtl\"{a}nder}, 1250 | } 1251 | 1252 | 1253 | @proceedings{PLDI:86, 1254 | Optaddress = {Palo Alto, California}, 1255 | Booktitle = PLDI86, 1256 | Opteditor = {Stuart I. Feldman}, 1257 | Key = {Feldman}, 1258 | Optmonth = Jun, 1259 | Optorganization = {ACM}, 1260 | publisher = {ACM}, 1261 | Optseries = {SIGPLAN Notices, Vol.~21, No~7}, 1262 | Title = PLDI86, 1263 | Year = 1986} 1264 | 1265 | @proceedings{PLDI:88, 1266 | Optaddress = {Atlanta, Georgia}, 1267 | Booktitle = PLDI88, 1268 | Opteditor = {Mayer D. Schwartz}, 1269 | Key = {Schwartz}, 1270 | Optmonth = Jun, 1271 | Optorganization = {ACM}, 1272 | publisher = {ACM}, 1273 | Optseries = {SIGPLAN Notices, Vol.~23, No~7}, 1274 | Title = PLDI88, 1275 | Year = 1988} 1276 | 1277 | @proceedings{PLDI:91, 1278 | Optaddress = {Toronto, Canada}, 1279 | Booktitle = PLDI91, 1280 | Opteditor = {Barbara Ryder}, 1281 | Key = {Ryder}, 1282 | Optmonth = Jun, 1283 | Optorganization = {ACM}, 1284 | publisher = {ACM}, 1285 | Optseries = {SIGPLAN Notices, Vol.~?, No~?}, 1286 | Title = PLDI91, 1287 | Year = 1991} 1288 | 1289 | @proceedings{PLDI:92, 1290 | Optaddress = {San Francisco, California}, 1291 | Booktitle = PLDI92, 1292 | Opteditor = {Christopher W. Fraser}, 1293 | Key = {Fraser}, 1294 | Optmonth = Jul, 1295 | Optorganization = {ACM}, 1296 | publisher = {ACM}, 1297 | Optseries = {SIGPLAN Notices, Vol.~27, No~7}, 1298 | Title = PLDI92, 1299 | Year = 1992} 1300 | 1301 | @proceedings{PLDI:93, 1302 | Optaddress = {Albuquerque, New Mexico}, 1303 | Booktitle = PLDI93, 1304 | Opteditor = {David W. Wall}, 1305 | Key = {Wall}, 1306 | Optmonth = Jun, 1307 | Optkey = {PLDI'93}, 1308 | Optorganization = {ACM}, 1309 | publisher = {ACM}, 1310 | Optseries = {SIGPLAN Notices, Vol.~28, No~6}, 1311 | Title = PLDI93, 1312 | Year = 1993} 1313 | 1314 | @proceedings{PLDI:94, 1315 | Optaddress = {Orlando, Florida}, 1316 | Booktitle = PLDI94, 1317 | Opteditor = {Vivek Sarkar}, 1318 | Key = {Sarkar}, 1319 | Optmonth = Jun, 1320 | Optkey = {PLDI'94}, 1321 | Optorganization = {ACM}, 1322 | publisher = {ACM}, 1323 | Optseries = {SIGPLAN Notices, Vol.~29, No~6}, 1324 | Title = PLDI94, 1325 | Year = 1994} 1326 | 1327 | @proceedings{PLDI:97, 1328 | Optaddress = {Las Vegas, Nevada}, 1329 | Booktitle = PLDI97, 1330 | Opteditor = {Ron K. Cytron}, 1331 | Key = {Cytron}, 1332 | Optmonth = Jun, 1333 | Optorganization = {ACM}, 1334 | publisher = {ACM}, 1335 | Optseries = {SIGPLAN Notices, Vol.~32, No~5}, 1336 | Title = PLDI97, 1337 | Year = 1997} 1338 | 1339 | @proceedings{PLDI:98, 1340 | Optaddress = {Montr\'eal, Canada}, 1341 | Booktitle = PLDI98, 1342 | Opteditor = {Keith D. Cooper}, 1343 | Key = {Cooper}, 1344 | Optmonth = Jun, 1345 | Optorganization = {ACM}, 1346 | publisher = {ACM}, 1347 | Optseries = {SIGPLAN Notices, Vol.~32, No~5}, 1348 | Title = PLDI98, 1349 | Year = 1998} 1350 | 1351 | @proceedings{PLDI:00, 1352 | Optaddress = {Vancouver, British Columbia, Canada}, 1353 | Booktitle = PLDI00, 1354 | Opteditor = {Monica Lam}, 1355 | Key = {Lam}, 1356 | Optmonth = Jun, 1357 | Optorganization = {ACM}, 1358 | publisher = {ACM}, 1359 | Optseries = {SIGPLAN Notices, Vol.~35, No~5}, 1360 | Title = PLDI00, 1361 | Year = 2000} 1362 | 1363 | @proceedings{PLDI:01, 1364 | booktitle = {PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation}, 1365 | Opteditor = {Mary Lou Soffa}, 1366 | year = 2001, 1367 | publisher = {ACM}, 1368 | address = {Snowbird, Utah, United States}, 1369 | Optmonth = Jun} 1370 | 1371 | @proceedings{PLDI:04, 1372 | Optaddress = {Washington DC}, 1373 | Booktitle = PLDI04, 1374 | Opteditor = {Craig Chambers}, 1375 | Key = {Chambers}, 1376 | Optmonth = Jun, 1377 | Optorganization = {ACM}, 1378 | publisher = {ACM}, 1379 | Optseries = {SIGPLAN Notices, Vol.~39, No~6}, 1380 | Title = PLDI04, 1381 | Year = 2004} 1382 | 1383 | @proceedings{PLDI:20-years, 1384 | Booktitle = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation 1979--1999, A Selection}, 1385 | Opteditor = {Kathryn S. McKinley}, 1386 | Optisbn = {1-58113-623-4}, 1387 | publisher = {ACM}, 1388 | Title = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation 1979--1999, A Selection}, 1389 | Year = 2004} 1390 | 1391 | @proceedings{PLDI:10, 1392 | Optaddress = {Toronto, Canada}, 1393 | oprBooktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} 1394 | Conference on Programming Language Design and 1395 | Implementation (PLDI~2010)}, 1396 | Opteditor = {Alex Aiken}, 1397 | Optmonth = Jun, 1398 | Optkey = {Aiken}, 1399 | booktitle = {PLDI}, 1400 | optTitle = PLDI10, 1401 | Year = 2010, 1402 | publisher = {ACM}} 1403 | 1404 | @proceedings{PLDI:13, 1405 | Optaddress = {Seattle, WA, USA}, 1406 | optBooktitle = {Proceedings of the 34th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation (PLDI~2013)}, 1407 | Optmonth = Jun, 1408 | Optkey = {Flanagan}, 1409 | booktitle = {PLDI}, 1410 | optTitle = PLDI13, 1411 | publisher = {ACM}, 1412 | Year = 2013} 1413 | 1414 | @proceedings{PLDI:15, 1415 | Optaddress = {Portland, OR, USA}, 1416 | Booktitle = {PLDI}, 1417 | optBooktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation (PLDI~2015)}, 1418 | Optmonth = Jun, 1419 | optTitle = PLDI15, 1420 | publisher = {ACM}, 1421 | Year = 2015} 1422 | 1423 | 1424 | @proceedings{PLILP:92, 1425 | Optaddress = {Leuven, Belgium}, 1426 | Booktitle = PROCEEDINGS # { of the 4th International Symposium on Programming Language Implementation and Logic Programming (PLILP '92)}, 1427 | Opteditor = {Maurice Bruynooghe and Martin Wirsing}, 1428 | Key = {Bruynooghe and Wirsing}, 1429 | Optmonth = Aug, 1430 | Publisher = S-V, 1431 | Series = LNCS, 1432 | Title = PROCEEDINGS # { of the 4th International Symposium on Programming Language Implementation and Logic Programming (PLILP '92)}, 1433 | Volume = 631, 1434 | Year = 1992} 1435 | 1436 | @proceedings{POPL:73, 1437 | Optaddress = {Boston, Massachusetts}, 1438 | Booktitle = POPL73, 1439 | Opteditor = {Jeffrey D. Ullman}, 1440 | Key = {Ullman}, 1441 | Optmonth = Jan, 1442 | publisher = {ACM}, 1443 | Title = POPL73, 1444 | Year = 1973} 1445 | 1446 | @proceedings{POPL:76, 1447 | Optaddress = {Atlanta, Georgia}, 1448 | Booktitle = POPL76, 1449 | Opteditor = {Susan L. Graham}, 1450 | Key = {Graham}, 1451 | Optmonth = Jan, 1452 | publisher = {ACM}, 1453 | Title = POPL76, 1454 | Year = 1976} 1455 | 1456 | @proceedings{POPL:77, 1457 | Optaddress = {Los Angeles, California}, 1458 | Booktitle = POPL77, 1459 | Opteditor = {Ravi Sethi}, 1460 | Key = {Sethi}, 1461 | publisher = {ACM}, 1462 | Title = POPL77, 1463 | Year = 1977} 1464 | 1465 | @proceedings{POPL:79, 1466 | Optaddress = {San Antonio, Texas}, 1467 | Booktitle = POPL79, 1468 | Opteditor = {Barry K. Rosen}, 1469 | Key = {Rosen}, 1470 | Optmonth = Jan, 1471 | publisher = {ACM}, 1472 | Title = POPL79, 1473 | Year = 1979} 1474 | 1475 | @proceedings{POPL:82, 1476 | Optaddress = {Albuquerque, New Mexico}, 1477 | Booktitle = POPL82, 1478 | Opteditor = {Richard DeMillo}, 1479 | Key = {DeMillo}, 1480 | Optmonth = Jan, 1481 | publisher = {ACM}, 1482 | Title = POPL82, 1483 | Year = 1982} 1484 | 1485 | @proceedings{POPL:86, 1486 | Optaddress = {St. Petersburg, Florida}, 1487 | Booktitle = POPL86, 1488 | Opteditor = {Mark Scott Johnson and Ravi Sethi}, 1489 | Key = {Johnson and Sethi}, 1490 | Optmonth = Jan, 1491 | publisher = {ACM}, 1492 | Title = POPL86, 1493 | Year = 1986} 1494 | 1495 | @proceedings{POPL:89, 1496 | Optaddress = {Austin, Texas}, 1497 | Booktitle = POPL89, 1498 | Opteditor = {Michael J. O'Donnell and Stuart Feldman}, 1499 | Key = {O'Donnell and Feldman}, 1500 | Optmonth = Jan, 1501 | publisher = {ACM}, 1502 | Title = POPL89, 1503 | Year = 1989} 1504 | 1505 | @proceedings{POPL:90, 1506 | Optaddress = {San Francisco, California}, 1507 | Booktitle = POPL90, 1508 | Opteditor = {Paul Hudak}, 1509 | Key = {Hudak}, 1510 | Optmonth = Jan, 1511 | Optorganization = {ACM}, 1512 | publisher = {ACM}, 1513 | Title = POPL90, 1514 | Year = 1990} 1515 | 1516 | @proceedings{POPL:91, 1517 | Optaddress = {Orlando, Florida}, 1518 | Booktitle = POPL91, 1519 | Opteditor = {Robert (Corky) Cartwright}, 1520 | Key = {Cartwright}, 1521 | Optmonth = Jan, 1522 | Optorganization = {ACM}, 1523 | publisher = {ACM}, 1524 | Title = POPL91, 1525 | Year = 1991} 1526 | 1527 | @proceedings{POPL:92, 1528 | Optaddress = {Albuquerque, New Mexico}, 1529 | Booktitle = POPL92, 1530 | Opteditor = {Andrew W. Appel}, 1531 | Key = {Appel}, 1532 | Optmonth = Jan, 1533 | Optkey = {POPL'92}, 1534 | Optorganization = {ACM}, 1535 | publisher = {ACM}, 1536 | Title = POPL92, 1537 | Year = 1992} 1538 | 1539 | @proceedings{POPL:93, 1540 | Optaddress = {Charleston, South Carolina}, 1541 | Booktitle = POPL93, 1542 | Opteditor = {Susan L. Graham}, 1543 | Key = {Graham}, 1544 | Optmonth = Jan, 1545 | Optkey = {POPL'93}, 1546 | Optorganization = {ACM}, 1547 | publisher = {ACM}, 1548 | Title = POPL93, 1549 | Year = 1993} 1550 | 1551 | @proceedings{POPL:94, 1552 | Optaddress = {Portland, Oregon}, 1553 | optBooktitle = POPL94, 1554 | Booktitle = {POPL}, 1555 | Opteditor = {Hans-J. Boehm}, 1556 | optKey = {Boehm}, 1557 | Optmonth = Jan, 1558 | Optkey = {POPL'94}, 1559 | Optorganization = {ACM}, 1560 | publisher = {ACM}, 1561 | optTitle = POPL94, 1562 | Year = 1994} 1563 | 1564 | @proceedings{POPL:95, 1565 | Optaddress = {San Francisco, California}, 1566 | Booktitle = POPL95, 1567 | Opteditor = {Peter Lee}, 1568 | Key = {Lee}, 1569 | Optmonth = Jan, 1570 | Optkey = {POPL'95}, 1571 | Optorganization = {ACM}, 1572 | publisher = {ACM}, 1573 | Title = POPL95, 1574 | Year = 1995} 1575 | 1576 | @proceedings{POPL:96, 1577 | Optaddress = {St.~Petersburg Beach, Florida}, 1578 | Booktitle = POPL96, 1579 | Opteditor = {Guy L. {Steele Jr.}}, 1580 | Key = {Steele}, 1581 | Optmonth = Jan, 1582 | Optkey = {POPL'96}, 1583 | Optorganization = {ACM}, 1584 | publisher = {ACM}, 1585 | Title = POPL96, 1586 | Year = 1996} 1587 | 1588 | @proceedings{POPL:97, 1589 | Optaddress = {Paris, France}, 1590 | Booktitle = POPL97, 1591 | Opteditor = {Neil D. Jones}, 1592 | Key = {Jones}, 1593 | Optmonth = Jan, 1594 | Optkey = {POPL'97}, 1595 | Optorganization = {ACM}, 1596 | publisher = {ACM}, 1597 | Title = POPL97, 1598 | Year = 1997} 1599 | 1600 | @proceedings{POPL:98, 1601 | Optaddress = {San Diego, California}, 1602 | Booktitle = {POPL'98: Proceedings of the 25th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1603 | Opteditor = {Luca Cardelli}, 1604 | Key = {Cardelli}, 1605 | Optmonth = Jan, 1606 | Optkey = {POPL'98}, 1607 | Optorganization = {ACM}, 1608 | publisher = {ACM}, 1609 | Title = {POPL'98: Proceedings of the 25th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1610 | Year = 1998} 1611 | 1612 | @proceedings{POPL:99, 1613 | Optaddress = {San Antonio, Texas}, 1614 | Booktitle = {POPL'99: Proceedings of the 26th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1615 | Opteditor = {Alex Aiken}, 1616 | Key = {Aiken}, 1617 | Optmonth = Jan, 1618 | Optkey = {POPL'99}, 1619 | Optorganization = {ACM}, 1620 | publisher = {ACM}, 1621 | Title = {POPL'99: Proceedings of the 26th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1622 | Year = 1999} 1623 | 1624 | @proceedings{POPL:00, 1625 | Optaddress = {Boston, Massachusetts}, 1626 | Booktitle = {POPL~2000: Proceedings of the 27th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1627 | Opteditor = {Mark Wegman}, 1628 | Optmonth = Jan, 1629 | Optkey = {POPL~2000}, 1630 | Optorganization = {ACM}, 1631 | publisher = {ACM}, 1632 | Title = {POPL~2000: Proceedings of the 27th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1633 | Year = 2000} 1634 | 1635 | 1636 | @proceedings{POPL:01, 1637 | Optaddress = {London, United Kingdom}, 1638 | Booktitle = {POPL~2001: Proceedings of the 28th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1639 | Opteditor = {Hanne Riis Nielson}, 1640 | Key = {Nielson}, 1641 | Optmonth = Jan, 1642 | Optkey = {POPL~2001}, 1643 | Optorganization = {ACM}, 1644 | publisher = {ACM}, 1645 | Title = {POPL~2001: Proceedings of the 28th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1646 | Year = 2001} 1647 | 1648 | @proceedings{POPL:02, 1649 | Optaddress = {Portland, Oregon}, 1650 | Booktitle = {POPL~2002: Proceedings of the 29th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1651 | Opteditor = {John C. Mitchell}, 1652 | Key = {Mitchell}, 1653 | Optmonth = Jan, 1654 | Optorganization = {ACM}, 1655 | publisher = {ACM}, 1656 | Title = {POPL~2002: Proceedings of the 29th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1657 | Year = 2002} 1658 | 1659 | @proceedings{POPL:03, 1660 | Optaddress = {New Orleans, Louisiana}, 1661 | Booktitle = {POPL~2003: Proceedings of the 30th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1662 | Opteditor = {Greg Morrisett}, 1663 | Optorganization = {ACM}, 1664 | publisher = {ACM}, 1665 | Title = {POPL~2003: Proceedings of the 30th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1666 | Year = 2003} 1667 | 1668 | @proceedings{POPL:04, 1669 | Optaddress = {Venice, Italy}, 1670 | Booktitle = {POPL~2004: Proceedings of the 31st annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1671 | Opteditor = {Xavier Leroy}, 1672 | Key = {Leroy}, 1673 | Optmonth = Jan, 1674 | Optorganization = {ACM}, 1675 | publisher = {ACM}, 1676 | Optseries = {SIGPLAN Notices, Vol.~38, No.~1}, 1677 | Title = {POPL~2004: Proceedings of the 31st annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1678 | Year = 2004} 1679 | 1680 | @proceedings{POPL:05, 1681 | Optaddress = {Long Beach, California, USA}, 1682 | Booktitle = {Proceedings of the 32nd annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL~2005)}, 1683 | Opteditor = {Jens Palsberg and Mart\'{\i}n Abadi}, 1684 | Optmonth = Jan, 1685 | Optorganization = {ACM}, 1686 | publisher = {ACM}, 1687 | Title = {POPL~2005: Proceedings of the 32nd annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1688 | Year = 2005} 1689 | 1690 | 1691 | @proceedings{POPL:06, 1692 | Optaddress = {Charleston, South Carolina}, 1693 | Booktitle = {POPL}, 1694 | Opteditor = {Simon {Peyton Jones}}, 1695 | optKey = {Peyton Jones}, 1696 | Optmonth = Jan, 1697 | Optkey = {POPL~2006}, 1698 | Optorganization = {ACM}, 1699 | publisher = {ACM}, 1700 | optTitle = {POPL~2006: Proceedings of the 33rd annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1701 | Year = 2006} 1702 | 1703 | @proceedings{POPL:08, 1704 | Optaddress = {San Francisco, California}, 1705 | Booktitle = {POPL~2008: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1706 | Title = {POPL~2008: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1707 | Opteditor = {George C. Necula and Philip Wadler}, 1708 | Optmonth = Jan, 1709 | publisher = {ACM}, 1710 | Title = {POPL~2008: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1711 | Year = 2008} 1712 | 1713 | @proceedings{POPL:09, 1714 | Booktitle = {POPL}, 1715 | optTitle = {POPL~2009: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1716 | year = {2009}, 1717 | Optaddress = {Savannah, GA, USA}, 1718 | publisher = {ACM}, 1719 | Opteditor = {Benjamin C. Pierce}} 1720 | 1721 | @proceedings{POPL:10, 1722 | Booktitle = {POPL}, 1723 | optTitle = {POPL~2010: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1724 | Year = {2010}, 1725 | Optaddress = {Madrid, Spain}, 1726 | publisher = {ACM}, 1727 | Opteditor = {Jens Palsberg}} 1728 | 1729 | @proceedings{POPL:11, 1730 | optBooktitle = {Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL~2011)}, 1731 | optTitle = {POPL~2011: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1732 | Year = {2011}, 1733 | Booktitle = {POPL}, 1734 | Optaddress = {Austin, Texas, USA}, 1735 | publisher = {ACM}, 1736 | Opteditor = {Mooly Sagiv}} 1737 | 1738 | @proceedings{POPL:12, 1739 | booktitle = {POPL}, 1740 | opttitle = {POPL~2012: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1741 | Year = {2012}, 1742 | Optaddress = {Philadelphia, Pennsylvania, USA}, 1743 | publisher = {ACM}, 1744 | Opteditor = {John Field and Michael Hicks}} 1745 | 1746 | @proceedings{POPL:13, 1747 | booktitle = {POPL}, 1748 | optBooktitle = {Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL~2013)}, 1749 | optTitle = {POPL~2013: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, 1750 | Year = {2013}, 1751 | Optaddress = {Rome, Italy}, 1752 | publisher = {ACM}, 1753 | Opteditor = {Radia Cousot}} 1754 | 1755 | @proceedings{PPDP:99, 1756 | Optaddress = {Paris, France}, 1757 | Booktitle = PPDP99, 1758 | Opteditor = {Gopalan Nadathur}, 1759 | Key = {Nadathur}, 1760 | Optmonth = Sep, 1761 | Publisher = S-V, 1762 | Series = LNCS, 1763 | Title = PPDP99, 1764 | Volume = 1702, 1765 | Year = 1999} 1766 | 1767 | @proceedings{PPDP:01, 1768 | Optaddress = {Firenze, Italy}, 1769 | Booktitle = PPDP01, 1770 | Opteditor = {Harald S{\o}ndergaard}, 1771 | Key = {S{\o}ndergaard}, 1772 | Optmonth = Sep, 1773 | publisher = {ACM}, 1774 | Title = PPDP01, 1775 | Year = 2001} 1776 | 1777 | @proceedings{PPDP:03, 1778 | Booktitle = PPDP03, 1779 | Opteditor = {Dale Miller}, 1780 | Key = {Miller}, 1781 | Location = {Uppsala, Sweden}, 1782 | Optmonth = Aug, 1783 | publisher = {ACM}, 1784 | Title = PPDP03, 1785 | Year = 2003} 1786 | 1787 | @proceedings{SAC:95, 1788 | Optaddress = {Nashville, Tennessee}, 1789 | Booktitle = PROCEEDINGS # { of the 1995 ACM Symposium on Applied Computing}, 1790 | Optmonth = Feb, 1791 | publisher = {ACM}, 1792 | Title = PROCEEDINGS # { of the 1995 ACM Symposium on Applied Computing}, 1793 | Year = {1995}} 1794 | 1795 | @proceedings{SAIG:01, 1796 | Optaddress = {Firenze, Italy}, 1797 | Booktitle = PROCEEDINGS # { of the Second Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG 2001)}, 1798 | Opteditor = {Walid Taha}, 1799 | Key = {Taha}, 1800 | Optmonth = Sep, 1801 | Publisher = S-V, 1802 | Series = LNCS, 1803 | Title = PROCEEDINGS # { of the Second Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG 2001)}, 1804 | Volume = 2196, 1805 | Year = 2001} 1806 | 1807 | @proceedings{VMCAI:10, 1808 | Optaddress = {Madrid, Spain}, 1809 | Booktitle = {Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI~2010)}, 1810 | Opteditor = {Gilles Barthe and Manuel V. Hermenegildo}, 1811 | Optmonth = Jan, 1812 | Publisher = S-V, 1813 | Series = {LNCS}, 1814 | optTitle = {Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Proceedings}, 1815 | Volume = 5944, 1816 | Year = 2010} 1817 | 1818 | @proceedings{WSA:91, 1819 | Optaddress = {Bordeaux, France}, 1820 | Booktitle = WSA91, 1821 | Opteditor = {Michel Billaud and Pierre Cast\'eran and Marc-Michel Corsini and Kandina Musumbu and Antoine Rauzy}, 1822 | Optmonth = Oct, 1823 | Optaddress = {Laboratoire Bordelais de Recherche en Informatique (LaBRI)}, 1824 | Optbooktitle-Real = {Actes {JTASPEFL'91}}, 1825 | Publisher = {IRISA}, 1826 | Publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, 1827 | Series = {Bigre}, 1828 | Title = WSA91, 1829 | Volume = 74, 1830 | Year = 1991} 1831 | 1832 | @proceedings{WSA:92, 1833 | Optaddress = {Bordeaux, France}, 1834 | Booktitle = WSA92, 1835 | Opteditor = {Michel Billaud and Pierre Cast\'eran and Marc-Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, 1836 | Optmonth = Sep, 1837 | Optaddress = {Laboratoire Bordelais de Recherche en Informatique (LaBRI)}, 1838 | Publisher = {IRISA}, 1839 | Publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, 1840 | Series = {Bigre}, 1841 | Title = WSA92, 1842 | Vol = {81-82}, 1843 | Year = 1992} 1844 | 1845 | @proceedings{SAS:94, 1846 | Optaddress = {Glasgow, Scotland}, 1847 | Booktitle = SAS94, 1848 | Opteditor = {Baudouin {Le Charlier}} , 1849 | Key = {{Le Charlier}}, 1850 | Optmonth = Sep, 1851 | Publisher = S-V, 1852 | Series = LNCS, 1853 | Title = SAS94, 1854 | Volume = 864, 1855 | Year = 1994} 1856 | 1857 | 1858 | @proceedings{SAS:95, 1859 | Optaddress = {Glasgow, Scotland}, 1860 | Booktitle = SAS95, 1861 | Opteditor = {Alan Mycroft}, 1862 | Key = {Mycroft}, 1863 | Optmonth = Sep, 1864 | Publisher = S-V, 1865 | Series = LNCS, 1866 | Title = SAS95, 1867 | Volume = 983, 1868 | Year = 1995} 1869 | 1870 | @proceedings{SAS:97, 1871 | Optaddress = {Paris, France}, 1872 | Booktitle = SAS97, 1873 | Opteditor = {Pascal Van Hentenryck}, 1874 | Key = {Van Hentenryck}, 1875 | Optmonth = Sep, 1876 | Publisher = S-V, 1877 | Series = LNCS, 1878 | Title = SAS97, 1879 | Volume = 1302, 1880 | Year = 1997} 1881 | 1882 | @proceedings{SAS:99, 1883 | Optaddress = {Venice, Italy}, 1884 | Booktitle = SAS99, 1885 | Opteditor = {Agostino Cortesi and Gilberto Fil{\'e}}, 1886 | Key = {Cortesi and Fil{\'e}}, 1887 | Optmonth = Sep, 1888 | Publisher = S-V, 1889 | Series = LNCS, 1890 | Title = SAS99, 1891 | Volume = 1694, 1892 | Year = 1999} 1893 | 1894 | @proceedings{SAS:02, 1895 | Optaddress = {Madrid, Spain}, 1896 | Booktitle = SAS02, 1897 | Opteditor = {Manuel V. Hermenegildo and Germ{\'a}n Puebla}, 1898 | Key = {Hermenegildo and Puebla}, 1899 | Optmonth = Sep, 1900 | Publisher = S-V, 1901 | Series = LNCS, 1902 | Title = SAS02, 1903 | Volume = 2477, 1904 | Year = 2002} 1905 | 1906 | @proceedings{SAS:07, 1907 | opteditor = {Hanne Riis Nielson and 1908 | Gilberto Fil{\'{e}}}, 1909 | booktitle = {Proceedings of the 14th International Symposium on Static Analysis (SAS~2007)}, 1910 | series = {LNCS}, 1911 | year = {2007}, 1912 | volume = {4634}, 1913 | publisher = {Springer}, 1914 | } 1915 | 1916 | @proceedings{SAS:08, 1917 | Optaddress = {Valencia, Spain}, 1918 | Booktitle = SAS08, 1919 | Opteditor = {Mar\'{\i}a Alpuente and Germ{\'a}n Vidal}, 1920 | Key = {Alpuente and Vidal}, 1921 | Optmonth = Jul, 1922 | Publisher = S-V, 1923 | Series = LNCS, 1924 | Title = SAS08, 1925 | Volume = 5079, 1926 | Year = 2008} 1927 | 1928 | @proceedings{SAS:10, 1929 | opteditor = {Cousot, Radhia and Martel, Matthieu}, 1930 | optbooktitle = {Proceedings of the 17th International Symposium on Static Analysis (SAS'10)}, 1931 | opttitle = {SAS'10: Proceedings of the 17th international conference on Static analysis}, 1932 | year = {2010}, 1933 | optaddress = {Perpignan, France}, 1934 | series = {LNCS}, 1935 | volume = 6337, 1936 | booktitle = {SAS}, 1937 | publisher = {Springer}} 1938 | 1939 | @proceedings{Scheme:00, 1940 | Optaddress = {Montr\'eal, Canada}, 1941 | Booktitle = PROCEEDINGS # { of the Workshop on Scheme and Functional Programming}, 1942 | Opteditor = {Matthias Felleisen}, 1943 | Key = {Felleisen}, 1944 | Optmonth = Sep, 1945 | Note = {Rice Technical Report 00-368}, 1946 | Title = {ACM SIGPLAN Workshop on Scheme and Functional Programming}, 1947 | Year = 2000} 1948 | 1949 | @proceedings{SDCG:80, 1950 | Optaddress = {Aarhus, Denmark}, 1951 | Booktitle = {Semantics-Directed Compiler Generation}, 1952 | Opteditor = {Neil D. Jones}, 1953 | Key = {Jones}, 1954 | OptOptmonth = Oct, 1955 | Publisher = S-V, 1956 | Series = LNCS, 1957 | Title = {Semantics-Directed Compiler Generation}, 1958 | Volume = 94, 1959 | Year = 1980} 1960 | 1961 | @proceedings{TACS:94, 1962 | Optaddress = {Sendai, Japan}, 1963 | Booktitle = TACS94, 1964 | Opteditor = {Masami Hagiya and John C. Mitchell}, 1965 | Key = {Hagiya and Mitchell}, 1966 | Optmonth = Apr, 1967 | Publisher = S-V, 1968 | Series = LNCS, 1969 | Title = TACS94, 1970 | Volume = 789, 1971 | Year = 1994} 1972 | 1973 | @proceedings{TACS:01, 1974 | Optaddress = {Sendai, Japan}, 1975 | Booktitle = TACS01, 1976 | Opteditor = {Naoki Kobayashi and Benjamin C. Pierce}, 1977 | Key = {Kobayashi-Pierce}, 1978 | Optmonth = Oct, 1979 | Publisher = S-V, 1980 | Series = LNCS, 1981 | Title = TACS01, 1982 | Volume = 2215, 1983 | Year = 2001} 1984 | 1985 | @proceedings{TAPSOFT:91, 1986 | Optaddress = {Brighton, UK}, 1987 | Booktitle = {TAPSOFT, Vol.1}, 1988 | Opteditor = {Samson Abramsky and T. S. E. Maibaum}, 1989 | Key = {TAPSOFT'91}, 1990 | Optmonth = Apr, 1991 | Publisher = S-V, 1992 | Series = LNCS, 1993 | Title = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)}, 1994 | Volume = 493, 1995 | Year = 1991} 1996 | 1997 | @proceedings{TIC:97, 1998 | Optaddress = {Amsterdam, The Netherlands}, 1999 | Booktitle = PROCEEDINGS # { of the 1997 ACM SIGPLAN Workshop on Types in Compilation (TIC'97)}, 2000 | Key = {TIC:97}, 2001 | Optmonth = Jun, 2002 | Note = {Available as technical report BCCS-97-03, Computer Science Department, Boston College}, 2003 | Title = {Types in Compilation}, 2004 | Year = 1997} 2005 | 2006 | @proceedings{SP:80, 2007 | Opteditor = {Bernard Robinet}, 2008 | title = {International Symposium on Programming, Proceedings of the 2009 | Fourth 'Colloque International sur la Programmation', Paris, 2010 | France, 22-24 April 1980}, 2011 | booktitle = {{Symposium on Programming}}, 2012 | publisher = {Springer}, 2013 | series = {Lecture Notes in Computer Science}, 2014 | volume = {83}, 2015 | year = {1980}, 2016 | } 2017 | 2018 | @proceedings{TPHOL:09, 2019 | Opteditor = {Stefan Berghofer and 2020 | Tobias Nipkow and 2021 | Christian Urban and 2022 | Makarius Wenzel}, 2023 | optbooktitle = {{Proceedings of the 22nd International Conference 2024 | Theorem Proving in Higher Order Logics 2025 | (TPHOLs~2009)}}, 2026 | publisher = {Springer}, 2027 | series = {LNCS}, 2028 | volume = {5674}, 2029 | booktitle = {TPHOLs}, 2030 | year = {2009}, 2031 | optaddress = {Munich, Germany} 2032 | } 2033 | 2034 | @proceedings{FP:92, 2035 | Opteditor = {John Launchbury and 2036 | Patrick M. Sansom}, 2037 | booktitle = {Proceedings of the 1992 Glasgow Workshop on Functional 2038 | Programming}, 2039 | series = {Workshops in Computing}, 2040 | publisher = {Springer}, 2041 | year = {1993}, 2042 | } 2043 | 2044 | @proceedings{FP:93, 2045 | booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional 2046 | Programming}, 2047 | publisher = {Springer}, 2048 | year = {1994}, 2049 | } 2050 | 2051 | @proceedings{SPAA:95, 2052 | opteditor = {Friedhelm {Meyer auf der Heide} and 2053 | Cynthia A. Phillips}, 2054 | optbooktitle = {Proceedings of the 7th Annual ACM Symposium on 2055 | Parallelism in Algorithms and Architectures 2056 | (SPAA~1995)}, 2057 | booktitle = {SPAA}, 2058 | publisher = {ACM}, 2059 | year = {1995}, 2060 | } 2061 | 2062 | 2063 | @proceedings{SPAA:10, 2064 | opteditor = {Friedhelm {Meyer auf der Heide} and 2065 | Cynthia A. Phillips}, 2066 | booktitle = {Proceedings of the 22nd Annual ACM Symposium on 2067 | Parallelism in Algorithms and Architectures 2068 | (SPAA~2010)}, 2069 | publisher = {ACM}, 2070 | year = {2010}, 2071 | } 2072 | 2073 | 2074 | @proceedings{Haskell:05, 2075 | Opteditor = {Daan Leijen}, 2076 | booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell}, 2077 | publisher = {ACM}, 2078 | year = {2005}, 2079 | } 2080 | 2081 | @proceedings{CONCUR:07, 2082 | Opteditor = {Lu\'{\i}s Caires and 2083 | Vasco Thudichum Vasconcelos}, 2084 | booktitle = {CONCUR}, 2085 | series = {LNCS}, 2086 | volume = {4703}, 2087 | publisher = {Springer}, 2088 | year = {2007}, 2089 | } 2090 | 2091 | @proceedings{CONCUR:10, 2092 | opteditor = {Paul Gastin and 2093 | Fran\c{c}ois Laroussinie}, 2094 | optbooktitle = {Proceedings of the 21th International Conference on Concurrency Theory (CONCUR 2010)}, 2095 | booktitle = {CONCUR}, 2096 | publisher = {Springer}, 2097 | series = {LNCS}, 2098 | volume = {6269}, 2099 | year = {2010}, 2100 | } 2101 | 2102 | @proceedings{TACAS:10, 2103 | opteditor = {Javier Esparza and 2104 | Rupak Majumdar}, 2105 | opttitle = {Tools and Algorithms for the Construction and Analysis of 2106 | Systems, 16th International Conference, TACAS 2010, Held 2107 | as Part of the Joint European Conferences on Theory and 2108 | Practice of Software, ETAPS 2010, Paphos, Cyprus, March 2109 | 20-28, 2010. Proceedings}, 2110 | booktitle = {TACAS}, 2111 | publisher = {Springer}, 2112 | optseries = {Lecture Notes in Computer Science}, 2113 | optvolume = {6015}, 2114 | year = {2010}, 2115 | } 2116 | 2117 | @proceedings{PPOPP:06, 2118 | opteditor = {Josep Torrellas and 2119 | Siddhartha Chatterjee}, 2120 | opttitle = {Proceedings of the ACM SIGPLAN Symposium on Principles and 2121 | Practice of Parallel Programming, PPOPP 2006, New York, 2122 | New York, USA, March 29-31, 2006}, 2123 | booktitle = {PPOPP}, 2124 | publisher = {ACM}, 2125 | year = {2006}, 2126 | } 2127 | 2128 | @proceedings{DISC:02, 2129 | opteditor = {Dahlia Malkhi}, 2130 | opttitle = {Distributed Computing, 16th International Conference, DISC 2131 | 2002, Toulouse, France, October 28-30, 2002 Proceedings}, 2132 | booktitle = {DISC}, 2133 | publisher = {Springer}, 2134 | optseries = {Lecture Notes in Computer Science}, 2135 | optvolume = {2508}, 2136 | year = {2002}, 2137 | } 2138 | 2139 | 2140 | @proceedings{CONCUR:12, 2141 | opteditor = {Maciej Koutny and 2142 | Irek Ulidowski}, 2143 | booktitle = {CONCUR}, 2144 | optbooktitle = {Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR 2012)}, 2145 | publisher = {Springer}, 2146 | series = {LNCS}, 2147 | volume = {7454}, 2148 | year = {2012}, 2149 | } 2150 | 2151 | 2152 | @proceedings{PODC:10, 2153 | opteditor = {Andr{\'e}a W. Richa and 2154 | Rachid Guerraoui}, 2155 | optbooktitle = {Proceedings of the 29th Annual ACM Symposium on Principles 2156 | of Distributed Computing (PODC 2010)}, 2157 | booktitle = {PODC}, 2158 | publisher = {ACM}, 2159 | year = {2010} 2160 | } 2161 | 2162 | 2163 | @proceedings{FSTTCS:04, 2164 | opteditor = {Kamal Lodaya and 2165 | Meena Mahajan}, 2166 | opttitle = {FSTTCS 2004: Foundations of Software Technology and Theoretical 2167 | Computer Science, 24th International Conference, Chennai, 2168 | India, December 16-18, 2004, Proceedings}, 2169 | booktitle = {FSTTCS}, 2170 | publisher = {Springer}, 2171 | optseries = {Lecture Notes in Computer Science}, 2172 | optvolume = {3328}, 2173 | year = {2004}, 2174 | } 2175 | 2176 | @proceedings{CAV:06, 2177 | opteditor = {Thomas Ball and 2178 | Robert B. Jones}, 2179 | opttitle = {Computer Aided Verification, 18th International Conference, 2180 | CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}, 2181 | booktitle = {CAV}, 2182 | publisher = {Springer}, 2183 | optseries = {Lecture Notes in Computer Science}, 2184 | optvolume = {4144}, 2185 | year = {2006}, 2186 | } 2187 | 2188 | 2189 | @proceedings{TAMC:12, 2190 | opteditor = {Manindra Agrawal and 2191 | S. Barry Cooper and 2192 | Angsheng Li}, 2193 | opttitle = {Theory and Applications of Models of Computation - 9th Annual 2194 | Conference, TAMC 2012, Beijing, China, May 16-21, 2012. 2195 | Proceedings}, 2196 | booktitle = {TAMC}, 2197 | publisher = {Springer}, 2198 | optseries = {Lecture Notes in Computer Science}, 2199 | optvolume = {7287}, 2200 | year = {2012}, 2201 | } 2202 | 2203 | @proceedings{PLDI:11, 2204 | opteditor = {Mary W. Hall and 2205 | David A. Padua}, 2206 | opttitle = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming 2207 | Language Design and Implementation (PLDI~2011)}, 2208 | booktitle = {PLDI}, 2209 | optbooktitle = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming 2210 | Language Design and Implementation (PLDI~2011)}, 2211 | publisher = {ACM}, 2212 | year = {2011}, 2213 | optlocation = {San Jose, California, USA} 2214 | } 2215 | 2216 | 2217 | @proceedings{NFM:11, 2218 | opteditor = {Mihaela Gheorghiu Bobaru and 2219 | Klaus Havelund and 2220 | Gerard J. Holzmann and 2221 | Rajeev Joshi}, 2222 | booktitle = {Proceedings of the Third International Symposium on {NASA} Formal Methods ({NFM}~2011)}, 2223 | series = {LNCS}, 2224 | year = {2011}, 2225 | volume = {6617}, 2226 | publisher = {Springer}, 2227 | } 2228 | 2229 | 2230 | @proceedings{MFPS:89, 2231 | opteditor = {Michael G. Main and 2232 | Austin Melton and 2233 | Michael W. Mislove and 2234 | David A. Schmidt}, 2235 | booktitle = {Proceedings on the 5th International Conference on 2236 | Mathematical Foundations of Programming Semantics 2237 | (MFPS'89)}, 2238 | series = {LNCS}, 2239 | year = {1990}, 2240 | volume = {442}, 2241 | publisher = {Springer}, 2242 | } 2243 | 2244 | @proceedings{ITP:13, 2245 | Opteditor = {Sandrine Blazy and 2246 | Christine Paulin-Mohring and 2247 | David Pichardie}, 2248 | opttitle = {Proceedings of the 4th International Conference on 2249 | Interactive Theorem Proving (ITP 2013)}, 2250 | booktitle = {Proceedings of the 4th International Conference on 2251 | Interactive Theorem Proving (ITP~2013)}, 2252 | publisher = {Springer}, 2253 | series = {LNCS}, 2254 | volume = {7998}, 2255 | year = {2013}, 2256 | location = {Rennes, France}, 2257 | } 2258 | 2259 | @proceedings{ITP:14, 2260 | opteditor = {Gerwin Klein and 2261 | Ruben Gamboa}, 2262 | booktitle = {Proceedings of the 5th International Conference on Interactive Theorem Proving (ITP~2014)}, 2263 | series = {LNCS}, 2264 | year = {2014}, 2265 | volume = {8558}, 2266 | publisher = {Springer}, 2267 | } 2268 | 2269 | @proceedings{TYPES:06, 2270 | opteditor = {Thorsten Altenkirch and 2271 | Conor McBride}, 2272 | opttitle = {Proceedings of the International Workshop on Types for 2273 | Proofs and Programs}, 2274 | booktitle = {Proceedings of the International Workshop on Types for 2275 | Proofs and Programs (TYPES~2006)}, 2276 | publisher = {Springer}, 2277 | series = {LNCS}, 2278 | volume = {4502}, 2279 | year = {2007}, 2280 | optlocation = {Nottingham, United Kingdom} 2281 | } 2282 | 2283 | @proceedings{FOSAD:09, 2284 | opteditor = {Alessandro Aldini and 2285 | Gilles Barthe and 2286 | Roberto Gorrieri}, 2287 | booktitle = {Tutorial Lectures on Foundations of Security 2288 | Analysis and Design V (FOSAD~2007/2008/2009 Tutorial 2289 | Lectures)}, 2290 | series = {LNCS}, 2291 | year = {2009}, 2292 | volume = {5705}, 2293 | publisher = {Springer}, 2294 | } 2295 | 2296 | @proceedings{FM:14, 2297 | opteditor = {Cliff B. Jones and 2298 | Pekka Pihlajasaari and 2299 | Jun Sun}, 2300 | booktitle = {FM}, 2301 | optbooktitle = {Proceedings of the 19th International Symposium on 2302 | Formal Methods ({FM}~2014)}, 2303 | series = {LNCS}, 2304 | year = {2014}, 2305 | volume = {8442}, 2306 | publisher = {Springer}, 2307 | } 2308 | 2309 | 2310 | @proceedings{CIE:08, 2311 | opteditor = {Arnold Beckmann and 2312 | Costas Dimitracopoulos and 2313 | Benedikt L{\"{o}}we}, 2314 | booktitle = {Proceedings of 4th Conference on Computability in Europe -- Logic and Theory of Algorithms (CiE~2008)}, 2315 | series = {LNCS}, 2316 | year = {2008}, 2317 | volume = {5028}, 2318 | publisher = {Springer}, 2319 | } 2320 | 2321 | @proceedings{ESOP:15, 2322 | Opteditor = {Jan Vitek}, 2323 | booktitle = {ESOP}, 2324 | optbooktitle = {Proceedings of the 24th European Symposium on Programming Languages and Systems (ESOP~2015)}, 2325 | publisher = {Springer}, 2326 | series = {LNCS}, 2327 | volume = {9032}, 2328 | year = {2015} 2329 | } 2330 | 2331 | @proceedings{STOC:05, 2332 | opteditor = {Harold N. Gabow and 2333 | Ronald Fagin}, 2334 | booktitle = {STOC}, 2335 | optbooktitle = {Proceedings of the 37th Annual {ACM} Symposium on Theory of Computing, 2336 | Baltimore, MD, USA, May 22-24, 2005}, 2337 | publisher = {{ACM}}, 2338 | year = {2005}, 2339 | } 2340 | 2341 | @proceedings{DISC:13, 2342 | opteditor = {Yehuda Afek}, 2343 | booktitle = {DISC}, 2344 | optbooktitle = {Distributed Computing - 27th International Symposium, {DISC} 2013, 2345 | Jerusalem, Israel, October 14-18, 2013. Proceedings}, 2346 | series = {LNCS}, 2347 | volume = {8205}, 2348 | publisher = {Springer}, 2349 | year = {2013}, 2350 | } 2351 | 2352 | @proceedings{EuroPar:10, 2353 | opteditor = {Pasqua D'Ambra and 2354 | Mario Rosario Guarracino and 2355 | Domenico Talia}, 2356 | optbooktitle = {Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, 2357 | Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part {II}}, 2358 | series = {LNCS}, 2359 | volume = {6272}, 2360 | publisher = {Springer}, 2361 | year = {2010}, 2362 | booktitle = {Euro-Par~(2)} 2363 | } 2364 | 2365 | @proceedings{PODC:14, 2366 | opteditor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and 2367 | Shlomi Dolev}, 2368 | optbooktitle = {Proceedings of the {ACM} Symposium on Principles of Distributed Computing, ({PODC}'14)}, 2369 | booktitle = {PODC}, 2370 | publisher = {{ACM}}, 2371 | year = {2014}, 2372 | } 2373 | 2374 | @proceedings{OPODIS:10, 2375 | opteditor = {Chenyang Lu and 2376 | Toshimitsu Masuzawa and 2377 | Mohamed Mosbah}, 2378 | series = {LNCS}, 2379 | volume = {6490}, 2380 | publisher = {Springer}, 2381 | year = {2010}, 2382 | booktitle = {OPODIS}, 2383 | optbooktitle = {Proceedings of 14th International Conference on 2384 | Principles of Distributed Systems ({OPODIS}~2010)} 2385 | } 2386 | 2387 | @proceedings{CAV:10, 2388 | opteditor = {Tayssir Touili and 2389 | Byron Cook and 2390 | Paul Jackson}, 2391 | booktitle = {CAV}, 2392 | optbooktitle = {Computer Aided Verification, 22nd International Conference, {CAV} 2393 | 2010, Edinburgh, UK, July 15-19, 2010. Proceedings}, 2394 | series = {LNCS}, 2395 | volume = {6174}, 2396 | publisher = {Springer}, 2397 | year = {2010}, 2398 | } 2399 | 2400 | @proceedings{CAV:07, 2401 | opteditor = {Werner Damm and 2402 | Holger Hermanns}, 2403 | series = {LNCS}, 2404 | volume = {4590}, 2405 | publisher = {Springer}, 2406 | year = {2007}, 2407 | booktitle = {CAV}, 2408 | optbooktitle = {19th International Conference on Computer Aided Verification ({CAV'07})} 2409 | } 2410 | 2411 | @proceedings{CAV:13, 2412 | opteditor = {Natasha Sharygina and 2413 | Helmut Veith}, 2414 | opttitle = {Computer Aided Verification - 25th International Conference, {CAV} 2415 | 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}, 2416 | series = {LNCS}, 2417 | volume = {8044}, 2418 | publisher = {Springer}, 2419 | year = {2013}, 2420 | booktitle = {CAV} 2421 | } 2422 | 2423 | @proceedings{ASE:13, 2424 | opteditor = {Ewen Denney and 2425 | Tevfik Bultan and 2426 | Andreas Zeller}, 2427 | opttitle = {2013 28th {IEEE/ACM} International Conference on Automated Software 2428 | Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2429 | 2013}, 2430 | publisher = {{IEEE}}, 2431 | year = {2013}, 2432 | booktitle = {ASE} 2433 | } 2434 | 2435 | @proceedings{POPL:15, 2436 | opteditor = {Sriram K. Rajamani and 2437 | David Walker}, 2438 | booktitle = {POPL}, 2439 | optbooktitle = {Proceedings of the 42nd annual {ACM} {SIGPLAN-SIGACT} symposium on 2440 | Principles of programming languages ({POPL}~2015)}, 2441 | publisher = {{ACM}}, 2442 | year = {2015}, 2443 | } 2444 | 2445 | @proceedings{STOC:83, 2446 | opteditor = {David S. Johnson and 2447 | Ronald Fagin and 2448 | Michael L. Fredman and 2449 | David Harel and 2450 | Richard M. Karp and 2451 | Nancy A. Lynch and 2452 | Christos H. Papadimitriou and 2453 | Ronald L. Rivest and 2454 | Walter L. Ruzzo and 2455 | Joel I. Seiferas}, 2456 | publisher = {{ACM}}, 2457 | year = {1983}, 2458 | booktitle = {STOC}, 2459 | optbooktitle = {Proceedings of the 15th Annual {ACM} Symposium on 2460 | Theory of Computing (STOC'83)} 2461 | } 2462 | 2463 | @proceedings{SPAA:04, 2464 | opteditor = {Phillip B. Gibbons and 2465 | Micah Adler}, 2466 | opttitle = {{SPAA} 2004: Proceedings of the Sixteenth Annual {ACM} Symposium on 2467 | Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona, 2468 | Spain}, 2469 | publisher = {{ACM}}, 2470 | year = {2004}, 2471 | booktitle = {SPAA} 2472 | } 2473 | 2474 | @proceedings{DISC:15, 2475 | opteditor = {Yoram Moses}, 2476 | opttitle = {Distributed Computing - 29th International Symposium, {DISC} 2015, 2477 | Tokyo, Japan, October 7-9, 2015, Proceedings}, 2478 | series = {LNCS}, 2479 | volume = {9363}, 2480 | publisher = {Springer}, 2481 | year = {2015}, 2482 | booktitle = {DISC} 2483 | } 2484 | 2485 | @proceedings{COMPOS:97, 2486 | opteditor = {Willem P. de Roever and 2487 | Hans Langmaack and 2488 | Amir Pnueli}, 2489 | opttitle = {Compositionality: The Significant Difference, International Symposium, 2490 | COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures}, 2491 | series = {LNCS}, 2492 | volume = {1536}, 2493 | publisher = {Springer}, 2494 | year = {1998}, 2495 | optbooktitle = {Compositionality: The Significant Difference, 2496 | International Symposium, (COMPOS'97)}, 2497 | booktitle = {Compositionality: The Significant Difference, 2498 | International Symposium} 2499 | 2500 | 2501 | } 2502 | 2503 | @proceedings{SNAPL:15, 2504 | opteditor = {Thomas Ball and 2505 | Rastislav Bod{\'{\i}}k and 2506 | Shriram Krishnamurthi and 2507 | Benjamin S. Lerner and 2508 | Greg Morrisett}, 2509 | opttitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May 2510 | 3-6, 2015, Asilomar, California, {USA}}, 2511 | series = {LIPIcs}, 2512 | volume = {32}, 2513 | publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, 2514 | year = {2015}, 2515 | booktitle = {SNAPL} 2516 | } 2517 | 2518 | @proceedings{SNAPL:17, 2519 | opteditor = {Benjamin S. Lerner and 2520 | Rastislav Bod{\'{\i}}k and 2521 | Shriram Krishnamurthi}, 2522 | series = {LIPIcs}, 2523 | volume = {71}, 2524 | publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, 2525 | year = {2017}, 2526 | booktitle = {SNAPL} 2527 | } 2528 | 2529 | 2530 | @proceedings{POPL:16, 2531 | opteditor = {Rastislav Bod{\'{\i}}k and 2532 | Rupak Majumdar}, 2533 | opttitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on 2534 | Principles of Programming Languages, {POPL} 2016, St. Petersburg, 2535 | FL, USA, January 20 - 22, 2016}, 2536 | publisher = {{ACM}}, 2537 | year = {2016}, 2538 | booktitle = {POPL} 2539 | } 2540 | 2541 | @proceedings{OOPSLA:14, 2542 | opteditor = {Andrew P. Black and 2543 | Todd D. Millstein}, 2544 | booktitle = {OOPSLA}, 2545 | opttitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented 2546 | Programming Systems Languages {\&} Applications, {OOPSLA} 2014, 2547 | part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014}, 2548 | publisher = {{ACM}}, 2549 | year = {2014}, 2550 | } 2551 | 2552 | @proceedings{PLDI:16, 2553 | opteditor = {Chandra Krintz and 2554 | Emery Berger}, 2555 | opttitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming 2556 | Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA, 2557 | USA, June 13-17, 2016}, 2558 | publisher = {{ACM}}, 2559 | year = {2016}, 2560 | booktitle = {PLDI} 2561 | } 2562 | 2563 | @article{Newcombe-al:CACM14, 2564 | author = {Chris Newcombe and 2565 | Tim Rath and 2566 | Fan Zhang and 2567 | Bogdan Munteanu and 2568 | Marc Brooker and 2569 | Michael Deardeuff}, 2570 | title = {{How Amazon web services uses formal methods}}, 2571 | journal = {Commun. {ACM}}, 2572 | volume = {58}, 2573 | number = {4}, 2574 | pages = {66--73}, 2575 | year = {2015}, 2576 | } 2577 | 2578 | @proceedings{SOSP:15, 2579 | opteditor = {Ethan L. Miller and 2580 | Steven Hand}, 2581 | opttitle = {Proceedings of the 25th Symposium on Operating Systems Principles, 2582 | {SOSP} 2015, Monterey, CA, USA, October 4-7, 2015}, 2583 | publisher = {{ACM}}, 2584 | year = {2015}, 2585 | booktitle = {SOSP} 2586 | } 2587 | 2588 | @proceedings{CPP:16, 2589 | opteditor = {Jeremy Avigad and 2590 | Adam Chlipala}, 2591 | opttitle = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016}, 2592 | publisher = {{ACM}}, 2593 | year = {2016}, 2594 | booktitle = {CPP} 2595 | } 2596 | 2597 | @proceedings{AVOCS:15, 2598 | opttitle = {Proceedings of the 15th International Workshop on Automated Verification of Critical Systems}, 2599 | publisher = {{EASST}}, 2600 | year = 2015, 2601 | booktitle = {AVOCS}, 2602 | 2603 | } 2604 | 2605 | @proceedings{OSDI:16, 2606 | opteditor = {Kimberly Keeton and 2607 | Timothy Roscoe}, 2608 | opttitle = {12th {USENIX} Symposium on Operating Systems Design and Implementation, 2609 | {OSDI} 2016, Savannah, GA, USA, November 2-4, 2016}, 2610 | publisher = {{USENIX} Association}, 2611 | year = {2016}, 2612 | booktitle = {OSDI} 2613 | } 2614 | --------------------------------------------------------------------------------