% $Id: journal-abbrevs.bib 2 2008-12-23 22:46:05Z gary.leavens $

% Journal abbreviations for bibtex.
% Others defined by bibtex are indicated by comments.
% (Texlipse, doesn't seem to know about these predefined abbreviations.)

@String{Addison-Wesley = "Addison-Wesley Publishing Co."}
@String{ACM = "ACM"}
%       ACMCS = "ACM Computing Surveys"
%	ACTA = "Acta Informatica"
@String{AFIPS = "American Federation of Information Processing Societies"}
@String{ANSI = "American National Standards Institute"}
@String{BSTJ = "Bell System Technical Journal"}
%       CACM = "Communications of the ACM"
@String{CMU = "School of Computer Science, Carnegie Mellon University"}
@String{DECSRC = "Digital Equipment Corporation, Systems Research Center"}
@String{ENTCS = "Electronic Notes in Theoretical Computer Science"}
@String{ESOP = "European Symposium on Programming"}
@String{FAC = "Formal Aspects of Computing"}
@String{FOCS = "Annual Symposium on Foundations of Computer Science"}
%	IBMJRD = "IBM Journal of Research and Development"
%	IBMSJ = "IBM Systems Journal"
@String{IEEE = "IEEE"}
@String{IEEETSE = "IEEE Transactions on Software Engineering"}
%	IEEESE = "IEEE Transactions on Software Engineering"
%	IEEETC = "IEEE Transactions on Computers"
@String{IFIP = "IFIP"}
%	IPL = "Information Processing Letters"
@String{IRIA = "IRIA"}
@String{JACM = "Journal of the ACM"}
@String{JCSS = "Journal of Computer and System Sciences"}
@String{JOOP = "Journal of Object-Oriented Programming"}
@String{JOT = "Journal of Object Technology"}
@String{JSL = "The Journal of Symbolic Logic"}
@String{McGraw-Hill = "McGraw-Hill Book Co."}
@String{MIT = "Massachusetts Institute of Technology"}
@String{MITAI = "Massachusetts Institute of Technology, Artificial Intelligence Laboratory"}
@String{MITLCS = "Massachusetts Institute of Technology, Laboratory for Computer Science"}
@String{MITP = "The MIT Press"}
@String{North-Holland = "North-Holland Publishing Co."}
@String{NY = "New York, NY"}
@String{LICS = "IEEE Symposium on Logic in Computer Science"}
@String{LNCS = "Lecture Notes in Computer Science"}
@String{PEPM  = "ACM Symposium on Partial Evaluation and
                 Semantics-based Program Manipulation"}
@String{PODS = "ACM Symposium on Principles of Database Systems"}
@String{POPL = "ACM Symposium on Principles of Programming Languages"}
@String{PLDI = "ACM SIGPLAN Conference on Programming Languages Design and Implementation"}
@String{Prentice-Hall = "Prentice-Hall, Inc."}
@String{PRG = "Oxford University, Computing Laboratory, Programming Research Group"}
@String{SAS  = "Static Analysis Symposium"}
%	SCP = "Science of Computer Programming"
@String{SIAMJC = "SIAM Journal on Computing"}
%	SICOMP = "SIAM Journal on Computing"
@String{SIGART = "ACM SIGART Newsletter"}
@String{SIGCSE = "ACM SIGCSE Bulletin"}
@String{SIGOPS = "ACM SIGOPS Operating Systems Review"}
@String{SIGPLAN = "ACM SIGPLAN Notices"}
@String{SIGSOFT = "ACM SIGSOFT Software Engineering Notes"}
@String{SPandE = "Software---Practice \& Experience"}
@String{SOSP = "ACM Symposium on Operating Systems Principles"}
@String{STOC = "Annual ACM Symposium on Theory of Computing"}
@String{SV = "Springer-Verlag"}
@String{TAPOS = "Theory and Practice of Object Systems"}
%	TOCS = "ACM Transactions on Computer Systems"
%	TODS = "ACM Transactions on Database Systems"
%	TOOIS = "ACM Transactions on Office Information Systems"
%	TOPLAS = "ACM Transactions on Programming Languages and Systems"
@String{TOSEM = "ACM Transactions on Software Engineering and Methodology"}
%	TCS = "Theoretical Computer Science"
@String{Wiley = "John Wiley and Sons"}