1# 2# "@(#)bibinc.shortnames 2.9 05/27/93"; 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 HCI Human-Computer Interaction 15D HUMFACT Human Factors 16D I&C Inf. and Control 17D IBMJRD IBM J. of R&D 18D IBMSJ IBM Systems J. 19D IEEESW Software 20D IEEETSE IEEE Trans. on Software Eng. 21D IEEETSMC IEEE Trans. on Systems, Man, and Cybernetics 22D IEEETC IEEE Trans. on Computers 23D IJCIS Int. J. of Computer and Info. Sciences 24D IJMMS Int. J. of Man-Machine Studies 25D IPL Inf. Proc. Letters 26D JACM J. ACM 27D JCSS J. Computer and System Sciences 28D JS&S J. of Systems and Software 29D MATHST Math Systems Theory 30D NMATH Numerical Math. 31D SIAMJC Siam J. on Computing 32D SIAMJNA Siam J. on Numerical Analysis 33D SIGACT S\&IGACT News 34D SIGCHI ACM S\&IGCHI Bulletin 35D SIGPLAN SI\&GPLAN Notices 36D SIGSOFT Software Eng. Notes 37D SP&E Software\(emPractice & Experience 38D SPE Software\(emPractice & Experience 39D TOCS Trans. Computer Systems 40D TODS Trans. Database Systems 41D TOMS Trans. Math. Software 42D TOOIS Trans. on Office Info. Systems 43D TOPLAS Trans. Prog. Lang and Systems 44# 45# CONFs 46# 47D PROC Proc. 48D CONF Conf. 49D SYMP Symp. 50D ASPLOS82 PROC of the SYMP on Arch. Support for Prog. Lang. and Operating Systems\ 51%D MAR 1982 52D CCC79 PROC SI\&GPLAN 1979 SYMP on Compiler Const.\ 53%D AUG 1979 54D CCC82 PROC SI\&GPLAN 1982 SYMP on Compiler Const.\ 55%D JUN 1982 56D CCC84 PROC SI\&GPLAN 1984 SYMP on Compiler Const.\ 57%D JUN 1984 58D CCC86 PROC SI\&GPLAN 1986 SYMP on Compiler Const.\ 59%D JUL 1986 60D CHI83 PROC S\&IGCHI CONF on Human Factors in Computing Systems\ 61%D DEC 1983 62D CHI85 PROC S\&IGCHI CONF on Human Factors in Computing Systems\ 63%D APR 1985 64D CHI86 PROC S\&IGCHI CONF on Human Factors in Computing Systems\ 65%D APR 1986 66D CHI87 PROC S\&IGCHI CONF on Human Factors in Computing Systems\ 67%D APR 1987 68D ICSE Int. CONF on Software Eng. 69D ICSE3 PROC 3rd ICSE\ 70%D MAY 1978 71D ICSE4 PROC 4th ICSE\ 72%D 1979 73D ICSE5 PROC 5th ICSE\ 74%D MAR 1981 75D ICSE6 PROC 6th ICSE\ 76%D SEP 1982 77D ICSE7 PROC 7th ICSE\ 78%D APR 1984 79D ICSE8 PROC 8th ICSE\ 80%D AUG 1985 81D ICSE9 PROC 9th ICSE\ 82%D MAR 1987 83D IJCAI Int. Joint CONF on AI 84D OIS82 PROC S\&IGOA CONF on Office Info. Systems\ 85%D JUN 1982 86D OIS84 PROC Second ACM-S\&IGOA CONF on Office Info. Systems\ 87%D JUN 1984 88D OIS86 PROC Third ACM-S\&IGOIS CONF on Office Info. Systems\ 89%D OCT 1986 90D OOPS86 OOPSLA '86 Conf. Proc.\ 91%D NOV 1986 92D OOPS87 OOPSLA '87 Conf. Proc.\ 93%D OCT 1987 94D PLISS83 PROC SI\&GPLAN 1983 SYMP on Prog. Lang. Issues in Software Systems\ 95%D JUN 1983 96D POPL ACM SYMP on Prin. of Prog. Lang. 97D POPL1 CONF Rec. 1st POPL 98D POPL2 CONF Rec. 2nd POPL 99D POPL3 CONF Rec. 3rd POPL 100D POPL4 CONF Rec. 4th POPL 101D POPL5 CONF Rec. 5th POPL 102D POPL6 CONF Rec. 6th POPL 103D POPL7 CONF Rec. 7th POPL 104D POPL8 CONF Rec. 8th POPL 105D POPL9 CONF Rec. 9th POPL 106D POPL10 CONF Rec. 10th POPL 107D POPL11 CONF Rec. 11th POPL 108D POPL12 CONF Rec. 12th POPL 109D POPL13 CONF Rec. 13th POPL 110D POPL14 CONF Rec. 14th POPL 111D POPL15 CONF Rec. 15th POPL 112D POPL16 CONF Rec. 16th POPL 113D PSDE84 PROC ACM S\&IGSOFT/S\&IGPLAN Software Eng. SYMP on Practical Software Development Environments\ 114%D APR 1984 115D PSDE86 PROC ACM S\&IGSOFT/S\&IGPLAN Software Eng. SYMP on Practical Software Development Environments\ 116%D DEC 1986 117D SEEPIL Workshop on Software Eng. Environments for\ 118Programming-in-the-Large\ 119%C Harwichport, MA\ 120%D JUN 1985 121D TEXT81 PROC ACM S\&IGPLAN S\&IGOA SYMP on Text Manipulation\ 122%D JUN 1981 123D STOC Annual ACM SYMP on Theory of Computing 124D FOCS Annual SYMP on Foundations of Computer Science 125D SOSP SYMP on Operating System Prin. 126D JICAI Joint Int. CONF on Artificial Intelligence 127D HICSS Hawaii Int. CONF on System Science 128D ADA80 PROC of the ACM-SI\&GPLAN SYMO on the Ada Prog. Lang. 129D FJCC Fall Joint Computer Conf. 130D SJCC Spring Joint Computer CONF 131D JER3 PROC Third Jerusalem CONF on Info. Tech. 132D WJCC PROC Western Joint Computer CONF 133# 134# publishers 135# 136I BMACLIB/bibinc.publishers 137# 138# months 139# 140D JAN Jan. 141D FEB Feb. 142D MAR Mar. 143D APR Apr. 144D MAY May 145D JUN June 146D JUL July 147D AUG Aug. 148D SEP Sep. 149D OCT Oct. 150D NOV Nov. 151D DEC Dec. 152# 153# miscellaneous 154# 155D TR Tech. Rep. 156D DISS Diss. 157# 158# Short Places 159# 160D CORP Corp. 161D DEPT Dpt. 162D UNIV Univ. 163D UATR UNIV of Arizona TR 164D DCS DEPT of Computer Science 165D CSD Computer Science DEPT 166D ERL Electronics Research Lab. 167# 168# Full Places 169# 170D BTLMH Bell Laboratories\ 171%C Murray Hill, NJ 172D BTLHO Bell Laboratories\ 173%C Holmdel, NJ 174D CMU C\&MU\ 175%C Pittsburgh, PA 176D CMUCS CSD, CMU 177D CSLI Center for the Study of Language and Information\ 178%C Stanford, CA 179D DG Data General 180# 181D IBMRD IBM CORP, Research Div. 182D MITLCS MIT Lab. for Computer Science\ 183%C Cambridge, MA 184D MITAI MIT AI Lab.\ 185%C Cambridge, MA 186D SUCS CSD, Stanford University 187D SUCSL Computer Systems Lab., Stanford Electronics Lab., Dept. of EECS 188D SUEE EECS, Stanford University 189D TUM Technische Universita\*`t Mu\*`nchen 190D UCB U\&CB 191D UCBCS Computer Science Division, EECS, UCB\ 192%C Berkeley, CA 193D UCBERL ERL, EECS, UCB\ 194%C Berkeley, CA 195D XEROXISL Intelligent Systems Laboratory, XEROXPARC 196D XEROXPARC Xerox Palo Alto Research Center\ 197%C Palo Alto, CA 198