dist flags: -
building distdir
-
{ test ! -d aterm-2.5 || { find aterm-2.5 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr aterm-2.5; }; }
-
mkdir aterm-2.5
-
mkdir -p -- aterm-2.5/.
-
list='aterm utils test doc'; for subdir in $list; do \� if test "$subdir" = .; then :; else \� test -d "aterm-2.5/$subdir" \� || mkdir -p -- "aterm-2.5/$subdir" \� || exit 1; \� distdir=`CDPATH="${ZSH_VERSION+.}:" && cd aterm-2.5 && pwd`; \� top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd aterm-2.5 && pwd`; \� (cd $subdir && \� make \� top_distdir="$top_distdir" \� distdir="$distdir/$subdir" \� distdir) \� || exit 1; \� fi; \� done
-
make[1]: Entering directory `/tmp/nix-686-1/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm'
-
building distdir
-
make[1]: Leaving directory `/tmp/nix-686-1/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm'
-
make[1]: Entering directory `/tmp/nix-686-1/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/utils'
-
building distdir
-
make[1]: Leaving directory `/tmp/nix-686-1/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/utils'
-
make[1]: Entering directory `/tmp/nix-686-1/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/test'
-
building distdir-
mkdir -p -- /tmp/nix-686-1/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm-2.5/test/..
-
make[1]: Leaving directory `/tmp/nix-686-1/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/test'
-
make[1]: Entering directory `/tmp/nix-686-1/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc'
-
building at.ps
-
make at.dvi
-
make[2]: Entering directory `/tmp/nix-686-1/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc'
-
building header.eps-
fig2dev -Leps header.fig header.eps
-
building encoding.eps-
fig2dev -Leps encoding.fig encoding.eps
-
building hierarchy.eps-
fig2dev -Leps hierarchy.fig hierarchy.eps
-
building at.dvi
-
TEXINPUTS=$TEXINPUTS:. ;\� export TEXINPUTS ;\� latex at.ltx ;\� fgrep -s 'LaTeX Warning: Citation' at.log && bibtex at && latex at.ltx ;\� while fgrep -s 'Rerun to get cross-references right' at.log ;\� do \� TEXINPUTS=$TEXINPUTS:. ;\� latex at.ltx ;\� done
-
This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)
-
entering extended mode
-
(./at.ltx
-
LaTeX2e <2003/12/01>
-
Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
-
ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
-
stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
-
h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
-
kish, ukrainian, nohyphenation, loaded.
-
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/base/article.cls
-
Document Class: article 2004/02/16 v1.4f Standard LaTeX document class
-
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/base/size10.clo))
-
(/...-tetex-3.0/share/texmf-dist/tex/gen
-
eric/babel/babel.sty
-
(/...-tetex-3.0/share/texmf-dist/tex/gen
-
eric/babel/english.ldf
-
(/...-tetex-3.0/share/texmf-dist/tex/gen
-
eric/babel/babel.def)))
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/epsfig.sty
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/graphicx.sty
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/keyval.sty)
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/graphics.sty
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/trig.sty)
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/graphics.cfg)
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/dvips.def))))
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/base/latexsym.sty) (./spec/ASF+SDF.sty
-
-
LaTeX Warning: You have requested package `spec/ASF+SDF',
-
but the package provides `ASF+SDF'.
-
-
) (./spec/ASF+SDF-options.sty
-
(/...-tetex-3.0/share/texmf-dist/tex/pla
-
in/amsfonts/amssym.def)
-
(/...-tetex-3.0/share/texmf-dist/tex/pla
-
in/amsfonts/amssym.tex))
-
No file at.aux.
-
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/base/ulasy.fd) (./aterm.ltx
-
-
LaTeX Warning: Citation `OLE' on page 1 undefined on input line 17.
-
-
-
LaTeX Warning: Citation `Java' on page 1 undefined on input line 20.
-
-
-
LaTeX Warning: Citation `OMG-IDL' on page 1 undefined on input line 23.
-
-
[1]
-
-
LaTeX Warning: Citation `Kli93.meta' on page 2 undefined on input line 62.
-
-
-
LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 62.
-
-
-
LaTeX Warning: Citation `BK98' on page 2 undefined on input line 63.
-
-
[2]
-
-
LaTeX Warning: Reference `aterms-at-a-glance' on page 3 undefined on input line
-
90.
-
-
-
LaTeX Warning: Reference `implementation' on page 3 undefined on input line 91.
-
-
-
-
LaTeX Warning: Reference `measurements' on page 3 undefined on input line 92.
-
-
-
LaTeX Warning: Reference `applications' on page 3 undefined on input line 93.
-
-
-
LaTeX Warning: Reference `discussion' on page 3 undefined on input line 95.
-
-
-
LaTeX Warning: Reference `aterm-datatype' on page 3 undefined on input line 103
-
.
-
-
-
LaTeX Warning: Reference `aterm-operations' on page 3 undefined on input line 1
-
04.
-
-
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/base/omscmr.fd)
-
-
LaTeX Warning: Reference `concrete-syntax' on page 3 undefined on input line 15
-
6.
-
-
-
LaTeX Warning: Reference `implementation' on page 3 undefined on input line 159
-
.
-
-
[3]
-
Overfull \hbox (3.11102pt too wide) in paragraph at lines 165--167
-
[]\OT1/cmr/m/n/10 Integer and real con-stants are writ-ten con-ven-tion-ally: \
-
OT1/cmtt/m/n/10 1\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 3.14\OT1/cmr/m/n/10 , and \
-
OT1/cmtt/m/n/10 -0.7E34
-
-
LaTeX Warning: Reference `making' on page 4 undefined on input line 193.
-
-
-
LaTeX Warning: Reference `reading' on page 4 undefined on input line 194.
-
-
-
LaTeX Warning: Reference `annotating' on page 4 undefined on input line 195.
-
-
-
LaTeX Warning: Reference `level2' on page 4 undefined on input line 209.
-
-
[4]
-
-
LaTeX Warning: Reference `max-sharing' on page 5 undefined on input line 212.
-
-
-
LaTeX Warning: Reference `aterm-datatype' on page 5 undefined on input line 270
-
.
-
-
-
LaTeX Warning: Reference `aterm-datatype' on page 5 undefined on input line 279
-
.
-
-
-
LaTeX Warning: Reference `concrete-syntax' on page 5 undefined on input line 28
-
0.
-
-
[5]
-
-
LaTeX Warning: Reference `baf' on page 6 undefined on input line 289.
-
-
[6]
-
-
LaTeX Warning: Reference `intro' on page 7 undefined on input line 364.
-
-
-
LaTeX Warning: Reference `max-sharing' on page 7 undefined on input line 411.
-
-
-
LaTeX Warning: Reference `garbage-collection' on page 7 undefined on input line
-
412.
-
-
-
LaTeX Warning: Reference `term-encoding' on page 7 undefined on input line 413.
-
-
-
-
LaTeX Warning: Reference `baf' on page 7 undefined on input line 414.
-
-
[7]
-
-
LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 474.
-
-
-
LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 479.
-
-
[8]
-
-
LaTeX Warning: Reference `asdf2c' on page 9 undefined on input line 516.
-
-
[9]
-
-
LaTeX Warning: Citation `BW88' on page 10 undefined on input line 544.
-
-
-
LaTeX Warning: Citation `Bo93' on page 10 undefined on input line 544.
-
-
-
LaTeX Warning: Citation `JL96' on page 10 undefined on input line 546.
-
-
-
LaTeX Warning: Citation `BW88' on page 10 undefined on input line 557.
-
-
[10]
-
-
LaTeX Warning: Reference `term-encoding' on page 11 undefined on input line 628
-
.
-
-
-
LaTeX Warning: Reference `header' on page 11 undefined on input line 653.
-
-
<header.eps> [11]
-
-
LaTeX Warning: Reference `encoding' on page 12 undefined on input line 681.
-
-
<encoding.eps> [12] [13]
-
-
LaTeX Warning: Reference `concrete-syntax' on page 14 undefined on input line 7
-
65.
-
-
[14] [15] [16]
-
-
LaTeX Warning: Reference `asfix' on page 17 undefined on input line 965.
-
-
-
LaTeX Warning: Citation `ADR95' on page 17 undefined on input line 970.
-
-
-
LaTeX Warning: Citation `GL99' on page 17 undefined on input line 974.
-
-
-
LaTeX Warning: Citation `Lut99' on page 17 undefined on input line 974.
-
-
-
LaTeX Warning: Citation `DG95' on page 17 undefined on input line 975.
-
-
-
LaTeX Warning: Citation `GP95' on page 17 undefined on input line 978.
-
-
[17]
-
-
LaTeX Warning: Reference `casfix' on page 18 undefined on input line 989.
-
-
-
Overfull \hbox (4.26779pt too wide) in paragraph at lines 984--990
-
[]\OT1/cmr/m/n/10 a col-lec-tion of ab-stract syn-tax trees rep-re-sented as []
-
-
-
LaTeX Warning: Citation `Wan97' on page 18 undefined on input line 992.
-
-
-
LaTeX Warning: Citation `Han99' on page 18 undefined on input line 992.
-
-
-
Overfull \hbox (14.72295pt too wide) in paragraph at lines 1022--1049
-
[]
-
-
LaTeX Warning: Reference `measurements-in-memory' on page 18 undefined on input
-
line 1053.
-
-
[18] <sharing.eps>
-
-
LaTeX Warning: Reference `cobol-sharing' on page 19 undefined on input line 108
-
2.
-
-
-
Overfull \hbox (21.0562pt too wide) in paragraph at lines 1095--1131
-
[]
-
-
LaTeX Warning: Reference `measurements-text' on page 19 undefined on input line
-
1135.
-
-
-
Overfull \hbox (5.63943pt too wide) in paragraph at lines 1147--1184
-
[]
-
-
LaTeX Warning: Reference `measurements-baf' on page 19 undefined on input line
-
1188.
-
-
[19]
-
Overfull \hbox (9.22298pt too wide) in paragraph at lines 1210--1239
-
[]
-
-
LaTeX Warning: Reference `measurements-baf-gzip' on page 20 undefined on input
-
line 1244.
-
-
-
LaTeX Warning: Reference `summary' on page 20 undefined on input line 1276.
-
-
[20]
-
-
LaTeX Warning: Citation `DK98' on page 21 undefined on input line 1293.
-
-
-
LaTeX Warning: Citation `BSV97' on page 21 undefined on input line 1294.
-
-
-
LaTeX Warning: Citation `BKO99' on page 21 undefined on input line 1297.
-
-
-
LaTeX Warning: Citation `BKMO97' on page 21 undefined on input line 1298.
-
-
-
LaTeX Warning: Reference `asfix' on page 21 undefined on input line 1307.
-
-
-
LaTeX Warning: Reference `casfix' on page 21 undefined on input line 1308.
-
-
[21]
-
-
LaTeX Warning: Citation `HHKR92.new' on page 22 undefined on input line 1314.
-
-
-
LaTeX Warning: Citation `BHK89' on page 22 undefined on input line 1314.
-
-
-
LaTeX Warning: Citation `DHK96' on page 22 undefined on input line 1314.
-
-
-
LaTeX Warning: Citation `Kli93.meta' on page 22 undefined on input line 1324.
-
-
[22]
-
-
LaTeX Warning: Citation `HHKR92.new' on page 23 undefined on input line 1365.
-
-
[23]
-
-
LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1413.
-
-
-
LaTeX Warning: Citation `BKO98.casl' on page 24 undefined on input line 1425.
-
-
-
LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1430.
-
-
[24]
-
-
LaTeX Warning: Citation `Kli93.meta' on page 25 undefined on input line 1452.
-
-
-
LaTeX Warning: Citation `BK98' on page 25 undefined on input line 1456.
-
-
-
LaTeX Warning: Citation `BKMO97' on page 25 undefined on input line 1457.
-
-
-
LaTeX Warning: Citation `Vis97' on page 25 undefined on input line 1464.
-
-
-
LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1481.
-
-
-
LaTeX Warning: Citation `BDKKM96' on page 25 undefined on input line 1488.
-
-
-
LaTeX Warning: Citation `VanDenBrandKlintVerhoef:98' on page 25 undefined on in
-
put line 1488.
-
-
-
LaTeX Warning: Citation `ADR95' on page 25 undefined on input line 1492.
-
-
-
LaTeX Warning: Citation `BSV97' on page 25 undefined on input line 1493.
-
-
-
LaTeX Warning: Reference `ASF2Ctable' on page 25 undefined on input line 1496.
-
-
-
LaTeX Warning: Reference `sharingtable' on page 25 undefined on input line 1498
-
.
-
-
-
LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1501.
-
-
-
Overfull \hbox (4.30261pt too wide) in paragraph at lines 1505--1516
-
[]
-
[25]
-
-
LaTeX Warning: Citation `GL99' on page 26 undefined on input line 1541.
-
-
-
LaTeX Warning: Citation `VBT98' on page 26 undefined on input line 1548.
-
-
-
LaTeX Warning: Reference `aterm-datatype' on page 26 undefined on input line 15
-
68.
-
-
-
LaTeX Warning: Citation `BCDIKLP89' on page 26 undefined on input line 1583.
-
-
-
LaTeX Warning: Citation `Eli92' on page 26 undefined on input line 1583.
-
-
-
LaTeX Warning: Citation `Ast92' on page 26 undefined on input line 1584.
-
-
-
LaTeX Warning: Citation `Suif94' on page 26 undefined on input line 1584.
-
-
-
LaTeX Warning: Citation `Wan97' on page 26 undefined on input line 1584.
-
-
-
LaTeX Warning: Citation `Karasick98' on page 26 undefined on input line 1585.
-
-
-
LaTeX Warning: Citation `Lamb-IDL' on page 26 undefined on input line 1588.
-
-
-
LaTeX Warning: Citation `OMG-IDL' on page 26 undefined on input line 1588.
-
-
[26]
-
-
LaTeX Warning: Citation `Wan97' on page 27 undefined on input line 1623.
-
-
-
LaTeX Warning: Citation `Han99' on page 27 undefined on input line 1626.
-
-
-
LaTeX Warning: Reference `asdlaterm1' on page 27 undefined on input line 1651.
-
-
[27]
-
-
LaTeX Warning: Reference `asfix-casfix' on page 28 undefined on input line 1669
-
.
-
-
-
LaTeX Warning: Reference `asdlaterm3' on page 28 undefined on input line 1680.
-
-
-
LaTeX Warning: Reference `measurements-baf' on page 28 undefined on input line
-
1684.
-
-
-
LaTeX Warning: Reference `measurements-baf' on page 28 undefined on input line
-
1685.
-
-
-
LaTeX Warning: Reference `asdlaterm3' on page 28 undefined on input line 1686.
-
-
-
LaTeX Warning: Citation `XML1.0' on page 28 undefined on input line 1718.
-
-
-
LaTeX Warning: Reference `baf' on page 28 undefined on input line 1740.
-
-
-
LaTeX Warning: Citation `ASN.1.PER' on page 28 undefined on input line 1744.
-
-
[28]
-
-
LaTeX Warning: Citation `Kam94' on page 29 undefined on input line 1748.
-
-
-
LaTeX Warning: Citation `Alan:78' on page 29 undefined on input line 1768.
-
-
-
LaTeX Warning: Citation `TerashimaKanada:90' on page 29 undefined on input line
-
1776.
-
-
-
LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line
-
1780.
-
-
-
LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line
-
1787.
-
-
-
LaTeX Warning: Citation `BK98' on page 29 undefined on input line 1802.
-
-
-
LaTeX Warning: Citation `GB94' on page 29 undefined on input line 1806.
-
-
-
LaTeX Warning: Citation `FKW98' on page 29 undefined on input line 1808.
-
-
[29]
-
-
LaTeX Warning: Reference `measurements' on page 30 undefined on input line 1828
-
.
-
-
-
LaTeX Warning: Reference `applications' on page 30 undefined on input line 1831
-
.
-
-
) [30]
-
No file at.bbl.
-
(./append.ltx
-
-
LaTeX Warning: Citation `HHKR92.new' on page 31 undefined on input line 7.
-
-
(./spec/ATerm.mtx
-
Underfull \hbox (badness 10000) in alignment at lines 32--32
-
[] [] []
-
-
Underfull \hbox (badness 10000) in alignment at lines 133--133
-
[] [] []
-
[31])
-
-
LaTeX Warning: Reference `aterms-at-a-glance' on page 32 undefined on input lin
-
e 21.
-
-
-
LaTeX Warning: Reference `aterms-at-a-glance' on page 32 undefined on input lin
-
e 28.
-
-
[32]
-
Overfull \hbox (3.87334pt too wide) in paragraph at lines 105--108
-
[]\OT1/cmtt/m/n/10 ATermAppl ATmakeAppl(AFun $\OML/cmm/m/it/10 f$\OT1/cmtt/m/n/
-
10 , ATermList \OT1/cmtt/m/it/10 as\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Con-stru
-
ct a new func-
-
[33]
-
Underfull \hbox (badness 10000) in paragraph at lines 147--150
-
[]\OT1/cmtt/m/n/10 ATermList ATgetSlice(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt
-
/m/n/10 , Integer \OT1/cmtt/m/it/10 frm\OT1/cmtt/m/n/10 , Integer \OT1/cmtt/m/i
-
t/10 to\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 :
-
-
Overfull \hbox (0.30772pt too wide) in paragraph at lines 168--172
-
[]\OT1/cmtt/m/n/10 Integer ATindexOf(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt/m/
-
n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i
-
$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Search for an
-
-
Overfull \hbox (2.00156pt too wide) in paragraph at lines 184--186
-
[]\OT1/cmtt/m/n/10 ATermList ATremoveElement(ATermList $\OML/cmm/m/it/10 l$\OT1
-
/cmtt/m/n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Re
-
-move once oc-
-
-
Overfull \hbox (0.9569pt too wide) in paragraph at lines 187--189
-
[]\OT1/cmtt/m/n/10 ATermList ATremoveElementAt(ATermList $\OML/cmm/m/it/10 l$\O
-
T1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10
-
: Re-move the
-
[34]
-
Overfull \hbox (3.29036pt too wide) in paragraph at lines 228--230
-
[]\OT1/cmtt/m/n/10 Data ATgetBlobData(ATermBlob \OT1/cmtt/m/it/10 blob\OT1/cmtt
-
/m/n/10 )\OT1/cmr/m/n/10 : Re-trieve the data pointer stored
-
) [35] (./at.aux)
-
-
LaTeX Warning: There were undefined references.
-
-
-
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
-
-
)
-
(see the transcript file for additional information)
-
Output written on at.dvi (35 pages, 127512 bytes).
-
Transcript written on at.log.
-
LaTeX Warning: Citation `OLE' on page 1 undefined on input line 17.
-
LaTeX Warning: Citation `Java' on page 1 undefined on input line 20.
-
LaTeX Warning: Citation `OMG-IDL' on page 1 undefined on input line 23.
-
LaTeX Warning: Citation `Kli93.meta' on page 2 undefined on input line 62.
-
LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 62.
-
LaTeX Warning: Citation `BK98' on page 2 undefined on input line 63.
-
LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 474.
-
LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 479.
-
LaTeX Warning: Citation `BW88' on page 10 undefined on input line 544.
-
LaTeX Warning: Citation `Bo93' on page 10 undefined on input line 544.
-
LaTeX Warning: Citation `JL96' on page 10 undefined on input line 546.
-
LaTeX Warning: Citation `BW88' on page 10 undefined on input line 557.
-
LaTeX Warning: Citation `ADR95' on page 17 undefined on input line 970.
-
LaTeX Warning: Citation `GL99' on page 17 undefined on input line 974.
-
LaTeX Warning: Citation `Lut99' on page 17 undefined on input line 974.
-
LaTeX Warning: Citation `DG95' on page 17 undefined on input line 975.
-
LaTeX Warning: Citation `GP95' on page 17 undefined on input line 978.
-
LaTeX Warning: Citation `Wan97' on page 18 undefined on input line 992.
-
LaTeX Warning: Citation `Han99' on page 18 undefined on input line 992.
-
LaTeX Warning: Citation `DK98' on page 21 undefined on input line 1293.
-
LaTeX Warning: Citation `BSV97' on page 21 undefined on input line 1294.
-
LaTeX Warning: Citation `BKO99' on page 21 undefined on input line 1297.
-
LaTeX Warning: Citation `BKMO97' on page 21 undefined on input line 1298.
-
LaTeX Warning: Citation `HHKR92.new' on page 22 undefined on input line 1314.
-
LaTeX Warning: Citation `BHK89' on page 22 undefined on input line 1314.
-
LaTeX Warning: Citation `DHK96' on page 22 undefined on input line 1314.
-
LaTeX Warning: Citation `Kli93.meta' on page 22 undefined on input line 1324.
-
LaTeX Warning: Citation `HHKR92.new' on page 23 undefined on input line 1365.
-
LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1413.
-
LaTeX Warning: Citation `BKO98.casl' on page 24 undefined on input line 1425.
-
LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1430.
-
LaTeX Warning: Citation `Kli93.meta' on page 25 undefined on input line 1452.
-
LaTeX Warning: Citation `BK98' on page 25 undefined on input line 1456.
-
LaTeX Warning: Citation `BKMO97' on page 25 undefined on input line 1457.
-
LaTeX Warning: Citation `Vis97' on page 25 undefined on input line 1464.
-
LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1481.
-
LaTeX Warning: Citation `BDKKM96' on page 25 undefined on input line 1488.
-
LaTeX Warning: Citation `VanDenBrandKlintVerhoef:98' on page 25 undefined on in
-
LaTeX Warning: Citation `ADR95' on page 25 undefined on input line 1492.
-
LaTeX Warning: Citation `BSV97' on page 25 undefined on input line 1493.
-
LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1501.
-
LaTeX Warning: Citation `GL99' on page 26 undefined on input line 1541.
-
LaTeX Warning: Citation `VBT98' on page 26 undefined on input line 1548.
-
LaTeX Warning: Citation `BCDIKLP89' on page 26 undefined on input line 1583.
-
LaTeX Warning: Citation `Eli92' on page 26 undefined on input line 1583.
-
LaTeX Warning: Citation `Ast92' on page 26 undefined on input line 1584.
-
LaTeX Warning: Citation `Suif94' on page 26 undefined on input line 1584.
-
LaTeX Warning: Citation `Wan97' on page 26 undefined on input line 1584.
-
LaTeX Warning: Citation `Karasick98' on page 26 undefined on input line 1585.
-
LaTeX Warning: Citation `Lamb-IDL' on page 26 undefined on input line 1588.
-
LaTeX Warning: Citation `OMG-IDL' on page 26 undefined on input line 1588.
-
LaTeX Warning: Citation `Wan97' on page 27 undefined on input line 1623.
-
LaTeX Warning: Citation `Han99' on page 27 undefined on input line 1626.
-
LaTeX Warning: Citation `XML1.0' on page 28 undefined on input line 1718.
-
LaTeX Warning: Citation `ASN.1.PER' on page 28 undefined on input line 1744.
-
LaTeX Warning: Citation `Kam94' on page 29 undefined on input line 1748.
-
LaTeX Warning: Citation `Alan:78' on page 29 undefined on input line 1768.
-
LaTeX Warning: Citation `TerashimaKanada:90' on page 29 undefined on input line
-
LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line
-
LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line
-
LaTeX Warning: Citation `BK98' on page 29 undefined on input line 1802.
-
LaTeX Warning: Citation `GB94' on page 29 undefined on input line 1806.
-
LaTeX Warning: Citation `FKW98' on page 29 undefined on input line 1808.
-
LaTeX Warning: Citation `HHKR92.new' on page 31 undefined on input line 7.
-
This is BibTeX, Version 0.99c (Web2C 7.5.4)
-
The top-level auxiliary file: at.aux
-
The style file: alpha.bst
-
Database file #1: thesis.bib
-
Warning--I didn't find a database entry for "BCDIKLP89"
-
Warning--empty author in ASN.1.PER
-
Warning--empty author in XML1.0
-
(There were 3 warnings)
-
This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)
-
entering extended mode
-
(./at.ltx
-
LaTeX2e <2003/12/01>
-
Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
-
ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
-
stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
-
h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
-
kish, ukrainian, nohyphenation, loaded.
-
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/base/article.cls
-
Document Class: article 2004/02/16 v1.4f Standard LaTeX document class
-
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/base/size10.clo))
-
(/...-tetex-3.0/share/texmf-dist/tex/gen
-
eric/babel/babel.sty
-
(/...-tetex-3.0/share/texmf-dist/tex/gen
-
eric/babel/english.ldf
-
(/...-tetex-3.0/share/texmf-dist/tex/gen
-
eric/babel/babel.def)))
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/epsfig.sty
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/graphicx.sty
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/keyval.sty)
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/graphics.sty
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/trig.sty)
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/graphics.cfg)
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/graphics/dvips.def))))
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/base/latexsym.sty) (./spec/ASF+SDF.sty
-
-
LaTeX Warning: You have requested package `spec/ASF+SDF',
-
but the package provides `ASF+SDF'.
-
-
) (./spec/ASF+SDF-options.sty
-
(/...-tetex-3.0/share/texmf-dist/tex/pla
-
in/amsfonts/amssym.def)
-
(/...-tetex-3.0/share/texmf-dist/tex/pla
-
in/amsfonts/amssym.tex)) (./at.aux)
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/base/ulasy.fd) (./aterm.ltx
-
-
LaTeX Warning: Citation `OLE' on page 1 undefined on input line 17.
-
-
-
LaTeX Warning: Citation `Java' on page 1 undefined on input line 20.
-
-
-
LaTeX Warning: Citation `OMG-IDL' on page 1 undefined on input line 23.
-
-
[1]
-
-
LaTeX Warning: Citation `Kli93.meta' on page 2 undefined on input line 62.
-
-
-
LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 62.
-
-
-
LaTeX Warning: Citation `BK98' on page 2 undefined on input line 63.
-
-
[2]
-
(/...-tetex-3.0/share/texmf-dist/tex/lat
-
ex/base/omscmr.fd) [3]
-
Overfull \hbox (3.11102pt too wide) in paragraph at lines 165--167
-
[]\OT1/cmr/m/n/10 Integer and real con-stants are writ-ten con-ven-tion-ally: \
-
OT1/cmtt/m/n/10 1\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 3.14\OT1/cmr/m/n/10 , and \
-
OT1/cmtt/m/n/10 -0.7E34
-
[4] [5] [6] [7]
-
-
LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 474.
-
-
-
LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 479.
-
-
[8] [9]
-
-
LaTeX Warning: Citation `BW88' on page 10 undefined on input line 544.
-
-
-
LaTeX Warning: Citation `Bo93' on page 10 undefined on input line 544.
-
-
-
LaTeX Warning: Citation `JL96' on page 10 undefined on input line 546.
-
-
-
LaTeX Warning: Citation `BW88' on page 10 undefined on input line 557.
-
-
[10] <header.eps> [11] <encoding.eps> [12] [13] [14] [15] [16]
-
-
LaTeX Warning: Citation `ADR95' on page 17 undefined on input line 970.
-
-
-
LaTeX Warning: Citation `GL99' on page 17 undefined on input line 974.
-
-
-
LaTeX Warning: Citation `Lut99' on page 17 undefined on input line 974.
-
-
-
LaTeX Warning: Citation `DG95' on page 17 undefined on input line 975.
-
-
-
LaTeX Warning: Citation `GP95' on page 17 undefined on input line 978.
-
-
[17]
-
Overfull \hbox (4.26779pt too wide) in paragraph at lines 984--990
-
[]\OT1/cmr/m/n/10 a col-lec-tion of ab-stract syn-tax trees rep-re-sented as []
-
-
-
LaTeX Warning: Citation `Wan97' on page 18 undefined on input line 992.
-
-
-
LaTeX Warning: Citation `Han99' on page 18 undefined on input line 992.
-
-
-
Overfull \hbox (14.72295pt too wide) in paragraph at lines 1022--1049
-
[]
-
[18] <sharing.eps>
-
Overfull \hbox (21.0562pt too wide) in paragraph at lines 1095--1131
-
[]
-
-
Overfull \hbox (5.63943pt too wide) in paragraph at lines 1147--1184
-
[]
-
[19]
-
Overfull \hbox (9.22298pt too wide) in paragraph at lines 1210--1239
-
[]
-
[20]
-
-
LaTeX Warning: Citation `DK98' on page 21 undefined on input line 1293.
-
-
-
LaTeX Warning: Citation `BSV97' on page 21 undefined on input line 1294.
-
-
-
LaTeX Warning: Citation `BKO99' on page 21 undefined on input line 1297.
-
-
-
LaTeX Warning: Citation `BKMO97' on page 21 undefined on input line 1298.
-
-
[21]
-
-
LaTeX Warning: Citation `HHKR92.new' on page 22 undefined on input line 1314.
-
-
-
LaTeX Warning: Citation `BHK89' on page 22 undefined on input line 1314.
-
-
-
LaTeX Warning: Citation `DHK96' on page 22 undefined on input line 1314.
-
-
-
LaTeX Warning: Citation `Kli93.meta' on page 22 undefined on input line 1324.
-
-
[22]
-
-
LaTeX Warning: Citation `HHKR92.new' on page 23 undefined on input line 1365.
-
-
[23]
-
-
LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1413.
-
-
-
LaTeX Warning: Citation `BKO98.casl' on page 24 undefined on input line 1425.
-
-
-
LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1430.
-
-
[24]
-
-
LaTeX Warning: Citation `Kli93.meta' on page 25 undefined on input line 1452.
-
-
-
LaTeX Warning: Citation `BK98' on page 25 undefined on input line 1456.
-
-
-
LaTeX Warning: Citation `BKMO97' on page 25 undefined on input line 1457.
-
-
-
LaTeX Warning: Citation `Vis97' on page 25 undefined on input line 1464.
-
-
-
LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1481.
-
-
-
LaTeX Warning: Citation `BDKKM96' on page 25 undefined on input line 1488.
-
-
-
LaTeX Warning: Citation `VanDenBrandKlintVerhoef:98' on page 25 undefined on in
-
put line 1488.
-
-
-
LaTeX Warning: Citation `ADR95' on page 25 undefined on input line 1492.
-
-
-
LaTeX Warning: Citation `BSV97' on page 25 undefined on input line 1493.
-
-
-
LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1501.
-
-
-
Overfull \hbox (4.30261pt too wide) in paragraph at lines 1505--1516
-
[]
-
[25]
-
-
LaTeX Warning: Citation `GL99' on page 26 undefined on input line 1541.
-
-
-
LaTeX Warning: Citation `VBT98' on page 26 undefined on input line 1548.
-
-
-
LaTeX Warning: Citation `BCDIKLP89' on page 26 undefined on input line 1583.
-
-
-
LaTeX Warning: Citation `Eli92' on page 26 undefined on input line 1583.
-
-
-
LaTeX Warning: Citation `Ast92' on page 26 undefined on input line 1584.
-
-
-
LaTeX Warning: Citation `Suif94' on page 26 undefined on input line 1584.
-
-
-
LaTeX Warning: Citation `Wan97' on page 26 undefined on input line 1584.
-
-
-
LaTeX Warning: Citation `Karasick98' on page 26 undefined on input line 1585.
-
-
-
LaTeX Warning: Citation `Lamb-IDL' on page 26 undefined on input line 1588.
-
-
-
LaTeX Warning: Citation `OMG-IDL' on page 26 undefined on input line 1588.
-
-
[26]
-
-
LaTeX Warning: Citation `Wan97' on page 27 undefined on input line 1623.
-
-
-
LaTeX Warning: Citation `Han99' on page 27 undefined on input line 1626.
-
-
[27]
-
-
LaTeX Warning: Citation `XML1.0' on page 28 undefined on input line 1718.
-
-
-
LaTeX Warning: Citation `ASN.1.PER' on page 28 undefined on input line 1744.
-
-
[28]
-
-
LaTeX Warning: Citation `Kam94' on page 29 undefined on input line 1748.
-
-
-
LaTeX Warning: Citation `Alan:78' on page 29 undefined on input line 1768.
-
-
-
LaTeX Warning: Citation `TerashimaKanada:90' on page 29 undefined on input line
-
1776.
-
-
-
LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line
-
1780.
-
-
-
LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line
-
1787.
-
-
-
LaTeX Warning: Citation `BK98' on page 29 undefined on input line 1802.
-
-
-
LaTeX Warning: Citation `GB94' on page 29 undefined on input line 1806.
-
-
-
LaTeX Warning: Citation `FKW98' on page 29 undefined on input line 1808.
-
-
[29]) [30] (./at.bbl
-
-
LaTeX Warning: Citation `CoFI' on page 31 undefined on input line 57.
-
-
[31]
-
-
LaTeX Warning: Citation `CoFI' on page 32 undefined on input line 100.
-
-
[32] [33]
-
Underfull \hbox (badness 6364) in paragraph at lines 251--254
-
[]\OT1/cmr/m/n/10 Extensible markup lan-guage (XML) 1.0. Tech-ni-cal re-
-
-
Underfull \hbox (badness 2573) in paragraph at lines 251--254
-
\OT1/cmr/m/n/10 port, World Wide Web Con-sor-tium, 1998. Avail-able at:
-
) (./append.ltx
-
-
LaTeX Warning: Citation `HHKR92.new' on page 34 undefined on input line 7.
-
-
(./spec/ATerm.mtx
-
Underfull \hbox (badness 10000) in alignment at lines 32--32
-
[] [] []
-
[34]
-
Underfull \hbox (badness 10000) in alignment at lines 133--133
-
[] [] []
-
) [35]
-
Overfull \hbox (3.87334pt too wide) in paragraph at lines 105--108
-
[]\OT1/cmtt/m/n/10 ATermAppl ATmakeAppl(AFun $\OML/cmm/m/it/10 f$\OT1/cmtt/m/n/
-
10 , ATermList \OT1/cmtt/m/it/10 as\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Con-stru
-
ct a new func-
-
[36]
-
Underfull \hbox (badness 10000) in paragraph at lines 147--150
-
[]\OT1/cmtt/m/n/10 ATermList ATgetSlice(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt
-
/m/n/10 , Integer \OT1/cmtt/m/it/10 frm\OT1/cmtt/m/n/10 , Integer \OT1/cmtt/m/i
-
t/10 to\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 :
-
-
Overfull \hbox (0.30772pt too wide) in paragraph at lines 168--172
-
[]\OT1/cmtt/m/n/10 Integer ATindexOf(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt/m/
-
n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i
-
$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Search for an
-
[37]
-
Overfull \hbox (2.00156pt too wide) in paragraph at lines 184--186
-
[]\OT1/cmtt/m/n/10 ATermList ATremoveElement(ATermList $\OML/cmm/m/it/10 l$\OT1
-
/cmtt/m/n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Re
-
-move once oc-
-
-
Overfull \hbox (0.9569pt too wide) in paragraph at lines 187--189
-
[]\OT1/cmtt/m/n/10 ATermList ATremoveElementAt(ATermList $\OML/cmm/m/it/10 l$\O
-
T1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i$\OT1/cmtt/m/n/10 )\O