1# 2# "@(#)bibinc.shortnames 2.5 03/07/85"; 3# short journal names, and other names 4# 5# journals 6D ACTA Acta Inf. 7D BIT B\&IT 8D BSTJ Bell System Tech. J. 9D CACM Comm. of the ACM 10D COMP Computer 11D COMPJOUR Computer J. 12D COMPLANG J. Computer Lang. 13D COMPSUR Computing Surveys 14D I&C Inf. and Control 15D IBMJRD IBM J. of R&D 16D IBMSJ IBM Systems J. 17D IEEESW Software 18D IEEETSE IEEE Trans. on Software Eng. 19D IEEETC IEEE Trans. on Computers 20D IJCIS Int. J. of Computer and Info. Sciences 21D IJMMS Int. J. of Man-Machine Studies 22D IPL Inf. Proc. Letters 23D JACM J. ACM 24D JCSS J. Computer and System Sciences 25D JS&S J. of Systems and Software 26D MATHST Math Systems Theory 27D NMATH Numerical Math. 28D SIAMJC Siam J. on Computing 29D SIAMJNA Siam J. on Numerical Analysis 30D SIGACT S\&IGACT News 31D SIGPLAN SI\&GPLAN Notices 32D SIGSOFT Software Eng. Notes 33D SP&E Software\(emPractice & Experience 34D SPE Software\(emPractice & Experience 35D TOCS Trans. Computer Systems 36D TODS Trans. Database Systems 37D TOMS Trans. Math. Software 38D TOOIS Trans. on Office Info. Systems 39D TOPLAS Trans. Prog. Lang and Systems 40# 41# CONFs 42# 43D PROC Proc. 44D CONF Conf. 45D SYMP Symp. 46D ASPLOS82 PROC of the SYMP on Arch. Support for Prog. Lang. and Operating Systems\ 47%D MAR 1982 48D CCC79 PROC SI\&GPLAN 1979 SYMP on Compiler Const.\ 49%D AUG 1979 50D CCC82 PROC SI\&GPLAN 1982 SYMP on Compiler Const.\ 51%D JUN 1982 52D CCC84 PROC SI\&GPLAN 1984 SYMP on Compiler Const.\ 53%D JUN 1984 54D CHI83 PROC S\&IGCHI CONF on Human Factors in Computing Systems\ 55%D DEC 1983 56D ICSE Int. CONF on Software Eng. 57D ICSE3 PROC 3rd ICSE\ 58%D MAY 1978 59D ICSE4 PROC 4th ICSE\ 60%D 1979 61D ICSE5 PROC 5th ICSE\ 62%D MAR 1981 63D ICSE6 PROC 6th ICSE\ 64%D SEP 1982 65D ICSE7 PROC 7th ICSE\ 66%D APR 1984 67D PLISS83 PROC SI\&GPLAN 1983 SYMP on Prog. Lang. Issues in Software Systems\ 68%D JUN 1983 69D POPL ACM SYMP on Prin. of Prog. Lang. 70D POPL1 CONF Rec 1th POPL 71D POPL2 CONF Rec 2th POPL 72D POPL3 CONF Rec 3th POPL 73D POPL4 CONF Rec 4th POPL 74D POPL5 CONF Rec 5th POPL 75D POPL6 CONF Rec. 6th POPL 76D POPL7 CONF Rec. 7th POPL 77D POPL8 CONF Rec. 8th POPL 78D POPL9 CONF Rec. 9th POPL 79D POPL10 CONF Rec. 10th POPL 80D POPL11 CONF Rec. 11th POPL 81D POPL12 CONF Rec. 12th POPL 82D POPL13 CONF Rec. 13th POPL 83D POPL14 CONF Rec. 14th POPL 84D POPL15 CONF Rec. 15th POPL 85D POPL16 CONF Rec. 16th POPL 86D PSDE84 PROC ACM S\&IGSOFT/S\&IGPLAN Software Eng. SYMP on Practical Software Development Environments\ 87%D APR 1984 88D TEXT81 PROC ACM S\&IGPLAN S\&IGOA SYMP on Text Manipulation\ 89%D JUN 1981 90D STOC Annual ACM SYMP on Theory of Computing 91D FOCS Annual SYMP on Foundations of Computer Science 92D SOSP SYMP on Operating System Prin. 93D JICAI Joint Int. CONF on Artificial Intelligence 94D HICSS Hawaii Int. CONF on System Science 95D ADA80 PROC of the ACM-SI\&GPLAN SYMO on the Ada Prog. Lang. 96D FJCC Fall Joint Computer Conf. 97D JER3 PROC Third Jerusalem CONF on Info. Tech. 98D WJCC PROC Western Joint Computer CONF 99# 100# publishers 101# 102I BMACLIB/bibinc.publishers 103# 104# months 105# 106D JAN Jan. 107D FEB Feb. 108D MAR Mar. 109D APR Apr. 110D MAY May 111D JUN June 112D JUL July 113D AUG Aug. 114D SEP Sep. 115D OCT Oct. 116D NOV Nov. 117D DEC Dec. 118# 119# miscellaneous 120# 121D TR Tech. Rep. 122D DISS Diss. 123# 124# Short Places 125# 126D CORP Corp. 127D DEPT Dpt. 128D UNIV Univ. 129D UATR UNIV of Arizona TR 130D DCS DEPT of Computer Science 131D CSD Computer Science DEPT 132D ERL Electronics Research Lab. 133# 134# Full Places 135# 136D BTLMH Bell Laboratories\ 137%C Murray Hill, NJ 138D BTLHO Bell Laboratories\ 139%C Holmdel, NJ 140D CMU C\&MU\ 141%C Pittsburgh, PA 142D CMUCS CSD, CMU 143D DG Data General 144# 145D MITLCS MIT Lab. for Computer Science\ 146%C Cambridge, MA 147D MITAI MIT AI Lab.\ 148%C Cambridge, MA 149D SUCS CSD, Stanford University 150D SUCSL Computer Systems Lab., Stanford Electronics Lab., Dept. of EECS 151D SUEE EECS, Stanford University 152D TUM Technische Universita\*`t Mu\*`nchen 153D UCB U\&CB 154D UCBCS Computer Science Division, EECS, UCB\ 155%C Berkeley, CA 156D UCBERL ERL, EECS, UCB\ 157%C Berkeley, CA 158