fixed command line

[cdsspec-compiler.git] / correctness-model / writeup / confstrs-abbrv.bib

diff --git a/correctness-model/writeup/confstrs-abbrv.bib b/correctness-model/writeup/confstrs-abbrv.bib
deleted file mode 100644 (file)
index ef42052..0000000
--- a/correctness-model/writeup/confstrs-abbrv.bib
+++ /dev/null
@@ -1,173 +0,0 @@
-@string{mspc12="MSPC"}
-@string{ppdp11="PPDP"}
-@string{spin04="SPIN"}
-@string{spin07="SPIN"}
-@string{spin08="SPIN"}
-@string{spin09="SPIN"}
-@string{ijpp="IJPP"}
-@string{jlap="JLAP"}
-@string{fcad10="FCAD"}
-@strign{sc="SC"}
-@string{iwops99="POS"}
-@string{podc96="PODC"}
-@string{popl73="POPL"}
-@string{popl93="POPL"}
-@string{popl96="POPL"}
-@string{popl97="POPL"}
-@string{popl99="POPL"}
-@string{popl05="POPL"}
-@string{popl07="POPL"}
-@string{popl08="POPL"}
-@string{popl09="POPL"}
-@string{popl11="POPL"}
-@string{popl13="POPL"}
-
-@string{dac07="DAC"}
-@string{sosp05="SOSP"}
-@string{sosp03="SOSP"}
-@string{oopsla02="OOPSLA"}
-@string{oopsla03="OOPSLA"}
-@string{oopsla04="OOPSLA"}
-@string{oopsla05="OOPSLA"}
-@string{oopsla06="OOPSLA"}
-@string{oopsla07="OOPSLA"}
-@string{oopsla08="OOPSLA"}
-@string{oopsla09="OOPSLA"}
-@string{oopsla10="OOPSLA"}
-@string{oopsla13="OOPSLA"}
-
-@string{hotpar09="HotPar"}
-@string{hotpar10="HotPar"}
-
-@string{atc="ATC"}
-
-@string{ismm08="ISMM"}
-@string{ismm09="ISMM"}
-@string{ismm10="ISMM"}
-
-@string{esop09="ESOP"}
-
-@string{scool05="SCOOL"}
-
-@string{paste08="PASTE"}
-
-@string{ecoop10="ECOOP"}
-
-@string{osdi04="OSDI"}
-@string{osdi08="OSDI"}
-
-@string{toplas02="TOPLAS"}
-@string{toplas09="TOPLAS"}
-
-@string{pact01="PACT"}
-@string{pact08="PACT"}
-
-@string{cc08="CC"}
-@string{cc10="CC"}
-@string{cc11="CC"}
-
-@string{asplos91="ASPLOS"}
-@string{asplos02="ASPLOS"}
-@string{asplos09="ASPLOS"}
-
-@string{sc01="SC"}
-@string{sc06="SC"}
-
-@string{spaa98="SPAA"}
-@string{toplas="TOPLAS"}
-@string{tocs="TOCS"}
-@string{tpds="TPDS"}
-@string{vee05="VEE"}
-@string{vee08="VEE"}
-@string{jvm01="JVM"}
-
-@string{ics95="ICS"}
-@string{ics99="ICS"}
-
-@string{icse05="ICSE"}
-@string{icse10="ICSE"}
-@string{icse00="ICSE"}
-
-@string{sc97="SC"}
-@string{sc01="SC"}
-@string{lcpc08="LCPC"}
-@string{lcpc01="LCPC"}
-@string{pldi="PLDI"}
-@string{pldi93="PLDI"}
-@string{pldi94="PLDI"}
-@string{pldi95="PLDI"}
-@string{pldi96="PLDI"}
-@string{pldi97="PLDI"}
-@string{pldi98="PLDI"}
-@string{pldi99="PLDI"}
-@string{pldi00="PLDI"}
-@string{pldi01="PLDI"}
-@string{pldi02="PLDI"}
-@string{pldi03="PLDI"}
-@string{pldi04="PLDI"}
-@string{pldi05="PLDI"}
-@string{pldi06="PLDI"}
-@string{pldi07="PLDI"}
-@string{pldi08="PLDI"}
-@string{pldi09="PLDI"}
-@string{pldi10="PLDI"}
-@string{pldi11="PLDI"}
-@string{pldi12="PLDI"}
-@string{pldi13="PLDI"}
-
-@string{issta11="ISSTA"}
-@string{isca90="ISCA"}
-@string{isca09="ISCA"}
-@string{isca10="ISCA"}
-@string{ppopp97="PPoPP"}
-@string{ppopp01="PPoPP"}
-@string{ppopp07="PPoPP"}
-@string{ppopp09="PPoPP"}
-@string{ppopp10="PPoPP"}
-@string{ppopp11="PPoPP"}
-@string{ppopp12="PPoPP"}
-@string{ppopp13="PPoPP"}
-
-@string{cgo10="CGO"}
-@string{cgo11="CGO"}
-
-@string{ispass09="ISPASS"}
-
-@string{iiswc08="IISWC"}
-@string{iiswc09="IISWC"}
-
-@string{iccl88="ICCL"}
-
-@string{micro05="MICRO"}
-@string{micro10="MICRO"}
-
-@string{hpdc07="HPDC"}
-
-@string{cav08="CAV"}
-@string{cav07="CAV"}
-@string{cav06="CAV"}
-@string{cav04="CAV"}
-
-@string{procomet90="PROCOMET"}
-@string{hpca07="HPCA"}
-@string{dexa04="DEXA"}
-
-@string{lics="LICS"}
-@string{lncs="LNCS"}
-@string{lcpc="LCPC"}
-@string{vmcai="VMCAI"}
-@string{vmcai09="VMCAI"}
-@string{tacas11="TACAS"}
-
-@string{ieeecmpscieng="IEEE Comput. Sci. Eng."}
-@string{higherordersymbcomp="HOSC"}
-@string{ibmjrd="IBM J. of Res. Dev."}
-@string{ieeetc="TC"}
-@string{cacm="CACM"}
-@string{jsac="J-SAC"}
-
-@string{conpar90vappIV="CONPAR 90 - VAPP IV"}
-
-@string{asplos91="ASPLOS"}
-
-@string{ipdps09="IPDPS"}