abbrevs.bib

@STRING{CAAP = "Trees in Algebra and Programming"}
@STRING{CC = "International Conference on Compiler Construction"}
@STRING{ESOP = "European Symposium on Programming"}
@STRING{FPCA = "Functional Programming Languages and Computer Architecture"}
@string{ICFP = "International Conference on Functional Programming"}
@STRING{IJCAI = "International Joint Conference on Artificial Intelligence"}
@string{IWMM = "International Workshop on Memory Management, {IWMM}"}
@STRING{LFP = "Lisp and Functional Programming"}
@string{LOPSTR = "Logic Program Synthesis and Transformation"}
@string{MFPS = "Mathematical Foundations of Programming Semantics"}
@STRING{PEPM = {Partial Evaluation and Semantics-Based Program Manipulation}}
@STRING{PLDI = "on Programming Language Design and Implementation"}
@STRING{PLILP = "International Symposium on Programming Languages, Implementations, Logics and Programs"}
@STRING{oldPLILP = "Programming Language Implementation and Logic Programming"}
@STRING{POPL = "Annual {ACM} Symposium on Principles of Programming Languages"}
@STRING{acmpopl = "{ACM} SIGPLAN Symposium on Principles of Programming Languages"}
@STRING{RTA = "Rewriting Techniques and Applications"}
@STRING{SAC = "Annual Symposium on Applied Computing, {SAC}"}
@STRING{SAS = "International Static Analysis Symposium, {SAS}"}
@STRING{SASShort = "International Static Analysis Symposium"}
@STRING{STACS = "Symposium on Theoretical Aspects of Computer Science"}
@STRING{TACS = "Theoretical Aspects of Computer Software"}
@STRING{WIFPL = "Workshop on the Implementation of Functional Programming Languages"}
@STRING{LICS = "IEEE Symposium on Logic in Computer Science"}

@string{icsi = "The International Computer Science Institute"}

@string{CMU = "Carnegie Mellon University"}
@string{BROWN = "Brown University"}
@string{CORNELL = "Cornell University"}
@string{DECSRC = "Digital Equipment Corporation Systems Research Center"}
@string{DECWRL = "Digital Equipment Corporation Western Research Laboratory"}
@string{MIT = "Massachusetts Institute of Technology"}
@string{NYUCOUR = "Courant Institute of Mathematical Sciences, New York University"}
@string{OGC = "Oregon Graduate Center"}
@string{PARC = "Xerox Palo Alto Research Center"}
@string{PRINCETON = "Princeton University"}
@string{RICE = "Rice University"}
@string{SIAM = "Society for Industrial and Applied Mathematics"}
@string{UCB = "University of California, Berkeley"}
@string{UCSC = "University of California at Santa Cruz"}
@string{BRICS = "Basic Research in Computer Science"}

@string{AW = "Addison-Wesley"}
@string{ACM = "{ACM} Press"}
@STRING{EH = "Ellis Horwood"}
@string{ENH = "Elsevier North-Holland"}
@STRING{ESP = "Elsevier Science Publishers"}
@string{HR = "Harper and Row"}
@string{HRW = "Holt, Reinhart and Winston"}
@STRING{JW = "John Wiley \& Sons"}
@string{LNCS = "Lecture Notes in Computer Science"}
@STRING{MIT = "{MIT} Press"}
@string{MK = "Morgan-Kaufman"}
@string{NH = "North-Holland"}

@String{OUP = {Oxford University Press}}
@String{CUP = {Cambridge Universtity Press}}
@string{PH = "Prentice-Hall"}
@string{PP = "Pergamon Press"}
@STRING{SP = "Springer-Verlag"}
@string{SV = "Springer-Verlag"}
                
                
@string{ai = "Artificial Intelligence"}
@string{ainf = "Acta Informatica"}
@string{bstj = "Bell System Technical Journal"}
@string{cacm = "Communications of the {ACM}"}
@string{compj = "Computer Journal"}
@string{clang = "Computer Languages"}
@string{csurv = "Computing Surveys"}
@string{eatcs = "Bulletin of the European Association for Theoretical Computer Science"}
@string{ENTCS = "Electronic Notes in Theoretical Computer Science"}
@string{hosc = "Higher-Order and Symbolic Computation"}
@STRING{iandc = "Information and Computation"}
@STRING{ieeec = "{IEEE} Computer"}
@STRING{ieees = "{IEEE} Software"}
@string{ieeese = "{IEEE} Transactions on Software Engineering"}
@STRING{ieeesoft = "{IEEE} Software"}
@STRING{ieeetit = "{IEEE} Transactions on Information Theory"}
@STRING{ieeetc = "{IEEE} Transactions on Computers"}
@string{ijcm  = "International Journal of Computer Mathematics"}
@STRING{infco = "Information and Control"}
@string{IPL = "Information Processing Letters"}
@string{jacm = "Journal of the {ACM}"}
@string{jase = "Journal of Automated Software Engineering"}
@string{jfp = "Journal of Functional Programming"}
@string{jflp = "Journal of Functional and Logic Programming"}
@STRING{jlc = "Journal of Logic and Computation"}
@STRING{jlp = "Journal of Logic Programming"}
@String{jodl = {Journal of Digital Libraries}}
@STRING{jpldi = "Journal of Programming Languages"}
@STRING{jsc = "Journal of Symbolic Computation"}
@String{jucs = "Journal of Universal Computer Science"}
@string{lsc = "Lisp and Symbolic Computation"}
@string{lasc = "Lisp and Symbolic Computation"}
@string{loplas = "Letters on Programming Languages and Systems"}
@string{mscs = {Mathematical Structures in Computer Science}}
@string{mst ={Mathematical Systems Theory}}
@string{ngc = "New Generation Computing"}
@STRING{notices = "{SIGPLAN} Notices"}
@string{sigarch = "{SIGARCH} Newsletter"}
@string{sigplan = "{SIGPLAN} Notices"}
@string{scp = "Science of Computer Programming"}
@string{spe = "Software---Practice {\&} Experience"}
@string{tapos = "Theory and Practice of Object Systems"}
@STRING{tcj = "The Computer Journal"}
@string{tcs = "Theoretical Computer Science"}
@String{tissec = {{ACM} Transactions on Information and Systems Security}}
@string{tocs = "{ACM} Transactions on Computer Systems"}
@string{tocl = {{ACM} Transactions on Computational Logic}}
@string{todas = {{ACM} Transactions on Database Systems}}
@string{tois = {{ACM} Transactions on Information Systems}}
@string{toit = {{ACM} Transactions on Internet Technology}}
@string{tochi = {{ACM} Transactions on Computer-Human Interaction}}
@string{toplas = "{ACM} Transactions on Programming Languages and Systems"}
@String{tosem = "{ACM} Transactions on Software Engineering and Methodology"}
@STRING{WSI = "Berichte des Wilhelm-Schickard-Instituts"}
@String{foolwood = {International Workshop on Foundations and Developments of Object-Oriented Languages, \textrm{informal proceedings}}}
@String{fool = {International Workshop on Foundations of Object-Oriented Languages, \textrm{informal proceedings}}}
@STRING{ftfjp = {Workshop on Formal Techniques for Java-like Programs, \textrm{informal proceedings}}}
@STRING{PODC = {Principles of Distributed Computing}}
@string{oopsla-full-title = "Object Oriented Programming, Systems, Languages, and Applications"}
@string{ecoop-full-title = "European Conference on Object-Oriented Programming"}
@string{aosd-full-title = "International Conference on Aspect-Oriented Software Development"}

@string{acmsigconf = " ACM SIGPLAN Conference on "}
@string{acmsigsymp = " ACM SIGPLAN Symposium on "}
@string{acmsigwork = " ACM SIGPLAN Workshop on "}
@STRING{ieee = "{IEEE} Computer Society Press"}
@STRING{ig = "(in german)"}
@string{proclong = "Proceedings of the "}
@STRING{proc = "Proceedings "}
@STRING{conf = "Conference "}
@STRING{symp = "Symposium "}
@STRING{work = "Workshop "}