|
|
1.1 ! root 1: # ! 2: # "@(#)bib.spe2 2.3 5/17/84"; ! 3: # ! 4: # Software - Practice and Exprience format ! 5: # ! 6: I BMACLIB/bibinc.shortnames ! 7: D PROC Proceedings ! 8: D CONF Conference ! 9: D SYMP Symposium ! 10: D DISS Dissertation ! 11: D POPL Annual ACM SYMP on Principles of Programming Languages ! 12: D POPL3 CONF Record of the Third POPL ! 13: D POPL4 CONF Record of the Fourth POPL ! 14: D POPL5 CONF Record of the Fifth POPL ! 15: D POPL6 CONF Record of the Sixth POPL ! 16: D POPL7 CONF Record of the Seventh POPL ! 17: D POPL8 CONF Record of the Eighth POPL ! 18: D POPL9 CONF Record of the Ninth POPL ! 19: D POPL10 CONF Record of the Tenth POPL ! 20: D STOC Annual ACM SYMP on Theory of Computing ! 21: D FOCS Annual SYMP on Foundations of Computer Science ! 22: D SOSP SYMP on Operating System Principles ! 23: D ICSE International CONF on Software Engineering ! 24: D IFIPS PROC IF\&IPS ! 25: # ! 26: # months ! 27: # ! 28: D JAN ! 29: D FEB ! 30: D MAR ! 31: D APR ! 32: D MAY ! 33: D JUN ! 34: D JUL ! 35: D AUG ! 36: D SEP ! 37: D OCT ! 38: D NOV ! 39: D DEC ! 40: # ! 41: # miscellaneous ! 42: # ! 43: D CORP Corporation ! 44: D DEPT Department ! 45: D DIV Division ! 46: D UNIV University ! 47: D UA The UNIV of Arizona ! 48: D TR Tech. Rep. ! 49: D DCS DEPT of Computer Science ! 50: D UADCS DCS, UA ! 51: D DCSUA DCS, UA ! 52: D CSD Computer Science DEPT ! 53: A ! 54: H ! 55: .\" citation formatting string ! 56: .ds [[ \s-2\u ! 57: .ds ]] \d\s0 ! 58: .ds [{ " \& ! 59: .ds }] ! 60: .ds [. . ! 61: .ds .] ! 62: .ds [, , ! 63: .ds ,] ! 64: .ds [< ! 65: .ds >] " \& ! 66: .ds ], , ! 67: .ds ]- - ! 68: .\" reference formmating strings ! 69: .ds a] " \& ! 70: .ds b] , \& ! 71: .ds c] , \& ! 72: .ds n] "" and \& ! 73: .ds m] "" and \& ! 74: .ds p] . ! 75: .\" reference formmating macros ! 76: .de s[ \" start reference ! 77: .LP ! 78: .in +4n ! 79: .ti -4n ! 80: .ta 3nR 4n ! 81: \\&\t\\*([F.\t\c ! 82: .nh ! 83: .. ! 84: .de e[ \" end reference ! 85: .in -4n ! 86: .[- ! 87: .. ! 88: .de [] \" start to display collected references ! 89: .. ! 90: .de ][ \" choose format ! 91: .ie !"\\*([J"" \{\ ! 92: . ie !"\\*([V"" .nr t[ 1 \" journal ! 93: . el .nr t[ 5 \" conference paper ! 94: .\} ! 95: .el .ie !"\\*([B"" .nr t[ 3 \" article in book ! 96: .el .ie !"\\*([R"" .nr t[ 4 \" technical report ! 97: .el .ie !"\\*([I"" .nr t[ 2 \" book ! 98: .el .nr t[ 0 \" other ! 99: .\\n(t[[ ! 100: .. ! 101: .de 0[ \" other ! 102: .s[ ! 103: .if !"\\*([A"" \\*([A, ! 104: .if !"\\*([T"" \\*([T, ! 105: .if !"\\*([O"" \\*([O\c ! 106: .if !"\\*([D"" , \\*([D\c ! 107: \\&. ! 108: .e[ ! 109: .. ! 110: .de 1[ \" journal article ! 111: .s[ ! 112: .if !"\\*([A"" \\*([A, ! 113: .if !"\\*([T"" `\\*([T', ! 114: \\fI\\*([J\\fP, ! 115: .if !"\\*([V"" \\fB\\*([V\\fP, ! 116: .if !"\\*([P"" \\*([P ! 117: .if !"\\*([D"" (\\*([D)\c ! 118: .if !"\\*([I"" , \\*([I\c ! 119: \\&. ! 120: .if !"\\*([O"" \\*([O. ! 121: .e[ ! 122: .. ! 123: .de 2[ \" book ! 124: .s[ ! 125: .ie !"\\*([A"" \\*([A, ! 126: .el .if !"\\*([E"" \{\ ! 127: . ie \\n([E \\*([E, eds., ! 128: . el \\*([E, ed.,\} ! 129: .if !"\\*([T"" \\fI\\*([T\\fP, ! 130: .rm a[ ! 131: .if !"\\*([I"" .ds a[ \\*([I ! 132: .if !"\\*([C"" \{\ ! 133: . if !"\\*(a["" .as a[ , \\& ! 134: . as a[ \\*([C\} ! 135: .if !"\\*([D"" \{\ ! 136: . if !"\\*(a["" .as a[ , \\& ! 137: . as a[ \\*([D\} ! 138: \\*(a[. ! 139: .if !"\\*([G"" Gov. ordering no. \\*([G. ! 140: .if !"\\*([O"" \\*([O. ! 141: .e[ ! 142: .. ! 143: .de 3[ \" article in book ! 144: .s[ ! 145: .if !"\\*([A"" \\*([A, ! 146: .if !"\\*([T"" `\\*([T', ! 147: in \\fI\\*([B\\fP, ! 148: .if !"\\*([V"" vol. \\*([V, ! 149: .if !"\\*([E"" \\*([E (ed.), ! 150: .if !"\\*([I"" \\*([I, ! 151: .if !"\\*([C"" \\*([C, ! 152: .if !"\\*([D"" \\*([D\c ! 153: \\&. ! 154: .if !"\\*([O"" \\*([O. ! 155: .e[ ! 156: .. ! 157: .de 4[ \" report ! 158: .s[ ! 159: .if !"\\*([A"" \\*([A, ! 160: `\\*([T', ! 161: \\*([R\c ! 162: .if !"\\*([G"" \& (\\*([G)\c ! 163: .if !"\\*([I"" , \\*([I\c ! 164: .if !"\\*([C"" , \\*([C\c ! 165: .if !"\\*([D"" , \\*([D\c ! 166: \\&. ! 167: .if !"\\*([O"" \\*([O. ! 168: .e[ ! 169: .. ! 170: .de 5[ \" conference paper ! 171: .s[ ! 172: .if !"\\*([A"" \\*([A, ! 173: .if !"\\*([T"" `\\*([T', ! 174: \\fI\\*([J\\fP, ! 175: .if !"\\*([C"" \\*([C\c ! 176: .if !"\\*([P"" , \\*([P\c ! 177: .if !"\\*([D"" \& (\\*([D)\c ! 178: \\&. ! 179: .if !"\\*([O"" \\*([O. ! 180: .e[ ! 181: .. ! 182: .de [- \" clean up after yourself ! 183: .rm [A [B [C [D ! 184: .rm [E [F [G ! 185: .rm [I [J [K ! 186: .rm [N [O [P ! 187: .rm [R [T ! 188: .rm [V [W ! 189: ..
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.