# "@(#)bibinc.shortnames 2.8 10/1/87";
# short journal names, and other names
D BSTJ Bell System Tech. J.
D COMPLANG J. Computer Lang.
D COMPSUR Computing Surveys
D HCI Human-Computer Interaction
D IEEETSE IEEE Trans. on Software Eng.
D IEEETSMC IEEE Trans. on Systems, Man, and Cybernetics
D IEEETC IEEE Trans. on Computers
D IJCIS Int. J. of Computer and Info. Sciences
D IJMMS Int. J. of Man-Machine Studies
D JCSS J. Computer and System Sciences
D JS&S J. of Systems and Software
D MATHST Math Systems Theory
D SIAMJC Siam J. on Computing
D SIAMJNA Siam J. on Numerical Analysis
D SIGCHI ACM S\&IGCHI Bulletin
D SIGPLAN SI\&GPLAN Notices
D SIGSOFT Software Eng. Notes
D SP&E Software\(emPractice & Experience
D SPE Software\(emPractice & Experience
D TOCS Trans. Computer Systems
D TODS Trans. Database Systems
D TOMS Trans. Math. Software
D TOOIS Trans. on Office Info. Systems
D TOPLAS Trans. Prog. Lang and Systems
D ASPLOS82 PROC of the SYMP on Arch. Support for Prog. Lang. and Operating Systems\
D CCC79 PROC SI\&GPLAN 1979 SYMP on Compiler Const.\
D CCC82 PROC SI\&GPLAN 1982 SYMP on Compiler Const.\
D CCC84 PROC SI\&GPLAN 1984 SYMP on Compiler Const.\
D CCC86 PROC SI\&GPLAN 1986 SYMP on Compiler Const.\
D CHI83 PROC S\&IGCHI CONF on Human Factors in Computing Systems\
D CHI85 PROC S\&IGCHI CONF on Human Factors in Computing Systems\
D CHI86 PROC S\&IGCHI CONF on Human Factors in Computing Systems\
D CHI87 PROC S\&IGCHI CONF on Human Factors in Computing Systems\
D ICSE Int. CONF on Software Eng.
D IJCAI Int. Joint CONF on AI
D OIS82 PROC S\&IGOA CONF on Office Info. Systems\
D OIS84 PROC Second ACM-S\&IGOA CONF on Office Info. Systems\
D OIS86 PROC Third ACM-S\&IGOIS CONF on Office Info. Systems\
D OOPS86 OOPSLA '86 Conf. Proc.\
D OOPS87 OOPSLA '87 Conf. Proc.\
D PLISS83 PROC SI\&GPLAN 1983 SYMP on Prog. Lang. Issues in Software Systems\
D POPL ACM SYMP on Prin. of Prog. Lang.
D POPL1 CONF Rec. 1st POPL
D POPL2 CONF Rec. 2nd POPL
D POPL3 CONF Rec. 3rd POPL
D POPL4 CONF Rec. 4th POPL
D POPL5 CONF Rec. 5th POPL
D POPL6 CONF Rec. 6th POPL
D POPL7 CONF Rec. 7th POPL
D POPL8 CONF Rec. 8th POPL
D POPL9 CONF Rec. 9th POPL
D POPL10 CONF Rec. 10th POPL
D POPL11 CONF Rec. 11th POPL
D POPL12 CONF Rec. 12th POPL
D POPL13 CONF Rec. 13th POPL
D POPL14 CONF Rec. 14th POPL
D POPL15 CONF Rec. 15th POPL
D POPL16 CONF Rec. 16th POPL
D PSDE84 PROC ACM S\&IGSOFT/S\&IGPLAN Software Eng. SYMP on Practical Software Development Environments\
D PSDE86 PROC ACM S\&IGSOFT/S\&IGPLAN Software Eng. SYMP on Practical Software Development Environments\
D SEEPIL Workshop on Software Eng. Environments for\
Programming-in-the-Large\
D TEXT81 PROC ACM S\&IGPLAN S\&IGOA SYMP on Text Manipulation\
D STOC Annual ACM SYMP on Theory of Computing
D FOCS Annual SYMP on Foundations of Computer Science
D SOSP SYMP on Operating System Prin.
D JICAI Joint Int. CONF on Artificial Intelligence
D HICSS Hawaii Int. CONF on System Science
D ADA80 PROC of the ACM-SI\&GPLAN SYMO on the Ada Prog. Lang.
D FJCC Fall Joint Computer Conf.
D SJCC Spring Joint Computer CONF
D JER3 PROC Third Jerusalem CONF on Info. Tech.
D WJCC PROC Western Joint Computer CONF
I BMACLIB/bibinc.publishers
D UATR UNIV of Arizona TR
D DCS DEPT of Computer Science
D CSD Computer Science DEPT
D ERL Electronics Research Lab.
D BTLMH Bell Laboratories\
D BTLHO Bell Laboratories\
D CSLI Center for the Study of Language and Information\
D IBMRD IBM CORP, Research Div.
D MITLCS MIT Lab. for Computer Science\
D SUCS CSD, Stanford University
D SUCSL Computer Systems Lab., Stanford Electronics Lab., Dept. of EECS
D SUEE EECS, Stanford University
D TUM Technische Universita\*`t Mu\*`nchen
D UCBCS Computer Science Division, EECS, UCB\
D XEROXISL Intelligent Systems Laboratory, XEROXPARC
D XEROXPARC Xerox Palo Alto Research Center\