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