This is TeX, C Version 2.95 (preloaded format=lplain 91.3.25)  3 DEC 1991 12:49
**&latex pldi-5
(pldi-5.tex
LaTeX Version 2.09 <4 Aug 1988>
(/import/tex/tex/inputs/article.sty
Document Style `article' <16 Mar 88>.
(/import/tex/tex/inputs/art10.sty)
\c@part=\count78
\c@section=\count79
\c@subsection=\count80
\c@subsubsection=\count81
\c@paragraph=\count82
\c@subparagraph=\count83
\c@figure=\count84
\c@table=\count85
)
\c@MetaNote=\count86
\c@TechComm=\count87

(/net/tigger/tigger/saraswat/tex/vijay-macros.tex
Document Style 'thesis-art-two-column'. (c) Vijay Saraswat November 1987.
\OrSepBox=\box25
\ColSepBox=\box26
\AskBox=\box27
\gAskBox=\box28
\InfrmBox=\box29
\globalparindent=\skip41
Document Style ``program'' by Vijay Saraswat, July 1987.
\wfhbidaBox=\box30
\c@theorem=\count88
\c@conjecture=\count89
\c@Fact=\count90
\c@Rule=\count91
\eStop=\box31
\c@assumption=\count92
\c@convention=\count93
\c@example=\count94
\c@comment=\count95
\c@digression=\count96
\c@defin=\count97
\c@note=\count98
) (pldi-5.aux) [1

] [2]
Overfull \hbox (14.83337pt too wide) in paragraph at lines 323--363
[][] 

\hbox(131.59479+127.59479)x469.75499
.\hbox(0.0+0.0)x0.0
.\hbox(131.59479+127.59479)x484.58836
..\mathon
..\vbox(131.59479+127.59479)x484.58836
...\rule(0.4+0.0)x484.58836
...\hbox(8.0+250.38959)x484.58836 []
...\rule(0.4+0.0)x484.58836
..\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0 plus 1.0fil
.\glue(\rightskip) 0.0

[3]
Overfull \hbox (14.83337pt too wide) in paragraph at lines 422--465
[][] 

\hbox(131.5389+127.53888)x469.75499
.\hbox(0.0+0.0)x0.0
.\hbox(131.5389+127.53888)x484.58836
..\mathon
..\vbox(131.5389+127.53888)x484.58836
...\rule(0.4+0.0)x484.58836
...\hbox(8.0+250.27779)x484.58836 []
...\rule(0.4+0.0)x484.58836
..\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0 plus 1.0fil
.\glue(\rightskip) 0.0


Overfull \hbox (14.83337pt too wide) in paragraph at lines 470--554
[][] 

\hbox(237.71158+233.71158)x469.75499
.\hbox(0.0+0.0)x0.0
.\hbox(237.71158+233.71158)x484.58836
..\mathon
..\vbox(237.71158+233.71158)x484.58836
...\rule(0.4+0.0)x484.58836
...\hbox(8.0+462.62317)x484.58836 []
...\rule(0.4+0.0)x484.58836
..\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0 plus 1.0fil
.\glue(\rightskip) 0.0


Overfull \hbox (14.83337pt too wide) in paragraph at lines 595--613
[][] 

\hbox(42.67778+38.67776)x469.75499
.\hbox(0.0+0.0)x0.0
.\hbox(42.67778+38.67776)x484.58836
..\mathon
..\vbox(42.67778+38.67776)x484.58836
...\rule(0.4+0.0)x484.58836
...\hbox(8.0+72.55556)x484.58836 []
...\rule(0.4+0.0)x484.58836
..\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0 plus 1.0fil
.\glue(\rightskip) 0.0

[4] [5] [6] [7] [8]
Overfull \hbox (0.36325pt too wide) in paragraph at lines 926--935
[]  \tenbold Im-ple-men-ta-tion.[] \tenpoint In our cur-rent im-ple-men-ta-tion
 con-straint gen-er-al-iza-tion is done pair-wise and changes

\hbox(6.94444+1.94444)x469.75499, glue set - 1.0
.\hbox(0.0+0.0)x15.0
.\glue -15.0
.\glue 15.0
.\tenbold I
.\tenbold m
.etc.

[9]
Overfull \hbox (14.83337pt too wide) in paragraph at lines 983--1048
[][] 

\hbox(181.93959+177.93958)x469.75499
.\hbox(0.0+0.0)x0.0
.\hbox(181.93959+177.93958)x484.58836
..\mathon
..\vbox(181.93959+177.93958)x484.58836
...\rule(0.4+0.0)x484.58836
...\hbox(8.0+351.07918)x484.58836 []
...\rule(0.4+0.0)x484.58836
..\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0 plus 1.0fil
.\glue(\rightskip) 0.0

[10] [11] [12] (pldi-5.bbl [13]) [14] (pldi-5.aux) 
Here is how much of TeX's memory you used:
 770 strings out of 4614
 5602 string characters out of 64058
 56952 words of memory out of 262141
 2677 multiletter control sequences out of 9500
 21206 words of font info for 80 fonts, out of 72000 for 255
 14 hyphenation exceptions out of 607
 17i,23n,17p,203b,493s stack positions out of 300i,40n,60p,2000b,4000s

Output written on pldi-5.dvi (14 pages, 73516 bytes).