background.log

This is pdfTeX, Version 3.1415926-2.4-1.40.13 (MiKTeX 2.9 64-bit) (preloaded format=pdflatex 2013.2.9)  27 MAR 2014 21:37
entering extended mode
**background.tex
(C:\Users\Mehul\Dropbox\proposal\proposal\background.tex
LaTeX2e <2011/06/27>
Babel <v3.8m> and hyphenation patterns for english, afrikaans, ancientgreek, arabic, armenian, assamese, basque, bengali
, bokmal, bulgarian, catalan, coptic, croatian, czech, danish, dutch, esperanto, estonian, farsi, finnish, french, galic
ian, german, german-x-2012-05-30, greek, gujarati, hindi, hungarian, icelandic, indonesian, interlingua, irish, italian,
 kannada, kurmanji, latin, latvian, lithuanian, malayalam, marathi, mongolian, mongolianlmc, monogreek, ngerman, ngerman
-x-2012-05-30, nynorsk, oriya, panjabi, pinyin, polish, portuguese, romanian, russian, sanskrit, serbian, slovak, sloven
ian, spanish, swedish, swissgerman, tamil, telugu, turkish, turkmen, ukenglish, ukrainian, uppersorbian, usenglishmax, w
elsh, loaded.
("C:\Program Files\MiKTeX 2.9\tex\latex\subfiles\subfiles.cls"
Document Class: subfiles 2012/05/23 Federico Garcia
("C:\Program Files\MiKTeX 2.9\tex\latex\tools\verbatim.sty"
Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements
\every@verbatim=\toks14
\verbatim@line=\toks15
\verbatim@in@stream=\read1
)
Preamble taken from file `proposal.tex'
(C:\Users\Mehul\Dropbox\proposal\proposal\proposal.tex (C:\Users\Mehul\Dropbox\proposal\proposal\ClemsonProposal.cls
Document Class: ClemsonProposal 2007/06/28Version v.2.0 by Andrew R. Dalton
("C:\Program Files\MiKTeX 2.9\tex\latex\base\article.cls"
Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
("C:\Program Files\MiKTeX 2.9\tex\latex\base\size10.clo"
File: size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
) ("C:\Program Files\MiKTeX 2.9\tex\latex\geometry\geometry.sty"
Package: geometry 2010/09/12 v5.6 Page Geometry
 ("C:\Program Files\MiKTeX 2.9\tex\latex\graphics\keyval.sty"
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks16
)
("C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\ifpdf.sty"
Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
Package ifpdf Info: pdfTeX in PDF mode is detected.
)
("C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\ifvtex.sty"
Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
Package ifvtex Info: VTeX not detected.
)
("C:\Program Files\MiKTeX 2.9\tex\generic\ifxetex\ifxetex.sty"
Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
)
\Gm@cnth=\count87
\Gm@cntv=\count88
\c@Gm@tempcnt=\count89
\Gm@bindingoffset=\dimen103
\Gm@wd@mp=\dimen104
\Gm@odd@mp=\dimen105
\Gm@even@mp=\dimen106
\Gm@layoutwidth=\dimen107
\Gm@layoutheight=\dimen108
\Gm@layouthoffset=\dimen109
\Gm@layoutvoffset=\dimen110
\Gm@dimlist=\toks17

("C:\Program Files\MiKTeX 2.9\tex\latex\geometry\geometry.cfg"))
("C:\Program Files\MiKTeX 2.9\tex\latex\appendix\appendix.sty"
Package: appendix 2009/09/02 v1.2b extra appendix facilities
\c@@pps=\count90
\c@@ppsavesec=\count91
\c@@ppsaveapp=\count92
)
("C:\Program Files\MiKTeX 2.9\tex\latex\fancyhdr\fancyhdr.sty"
\fancy@headwidth=\skip43
\f@ncyO@elh=\skip44
\f@ncyO@erh=\skip45
\f@ncyO@olh=\skip46
\f@ncyO@orh=\skip47
\f@ncyO@elf=\skip48
\f@ncyO@erf=\skip49
\f@ncyO@olf=\skip50
\f@ncyO@orf=\skip51
)
("C:\Program Files\MiKTeX 2.9\tex\latex\setspace\setspace.sty"
Package: setspace 2011/12/19 v6.7a set line spacing
)
("C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\hyperref.sty"
Package: hyperref 2012/11/06 v6.83m Hypertext links for LaTeX

("C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\hobsub-hyperref.sty"
Package: hobsub-hyperref 2012/04/25 v1.12 Bundle oberdiek, subset hyperref (HO)

("C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\hobsub-generic.sty"
Package: hobsub-generic 2012/04/25 v1.12 Bundle oberdiek, subset generic (HO)
Package: hobsub 2012/04/25 v1.12 Construct package bundles (HO)
Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
Package ifluatex Info: LuaTeX not detected.
Package hobsub Info: Skipping package `ifvtex' (already loaded).
Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO)
Package hobsub Info: Skipping package `ifpdf' (already loaded).
Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
Package etexcmds Info: Could not find \expanded.
(etexcmds)             That can mean that you are not using pdfTeX 1.50 or
(etexcmds)             that some package has redefined \expanded.
(etexcmds)             In the latter case, load this package earlier.
Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO)
Package pdftexcmds Info: LuaTeX not detected.
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode found.
Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO)
Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO)
Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO)
Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO)
)
Package hobsub Info: Skipping package `hobsub' (already loaded).
Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO)
Package: hopatch 2011/06/24 v1.1 Wrapper for package hooks (HO)
Package: xcolor-patch 2011/01/30 xcolor patch
Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO)
Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO)
Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)
Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)
)
("C:\Program Files\MiKTeX 2.9\tex\latex\oberdiek\auxhook.sty"
Package: auxhook 2011/03/04 v1.3 Hooks for auxiliary files (HO)


Package auxhook Warning: Cannot patch \document,
(auxhook)                using \AtBeginDocument instead.

) ("C:\Program Files\MiKTeX 2.9\tex\latex\oberdiek\kvoptions.sty"
Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
)
\@linkdim=\dimen111
\Hy@linkcounter=\count93
\Hy@pagecounter=\count94

("C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\pd1enc.def"
File: pd1enc.def 2012/11/06 v6.83m Hyperref: PDFDocEncoding definition (HO)
)
\Hy@SavedSpaceFactor=\count95

("C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\hyperref.cfg"
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
)
Package hyperref Info: Option `plainpages' set `false' on input line 4319.
Package hyperref Info: Option `pdfpagelabels' set `true' on input line 4319.
Package hyperref Info: Hyper figures OFF on input line 4443.
Package hyperref Info: Link nesting OFF on input line 4448.
Package hyperref Info: Hyper index ON on input line 4451.
Package hyperref Info: Plain pages OFF on input line 4458.
Package hyperref Info: Backreferencing OFF on input line 4463.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4688.
\c@Hy@tempcnt=\count96
 ("C:\Program Files\MiKTeX 2.9\tex\latex\ltxmisc\url.sty"
\Urlmuskip=\muskip10
Package: url 2006/04/12  ver 3.3  Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 5041.
\XeTeXLinkMargin=\dimen112
\Fld@menulength=\count97
\Field@Width=\dimen113
\Fld@charsize=\dimen114
Package hyperref Info: Hyper figures OFF on input line 6295.
Package hyperref Info: Link nesting OFF on input line 6300.
Package hyperref Info: Hyper index ON on input line 6303.
Package hyperref Info: backreferencing OFF on input line 6310.
Package hyperref Info: Link coloring OFF on input line 6315.
Package hyperref Info: Link coloring with OCG OFF on input line 6320.
Package hyperref Info: PDF/A mode OFF on input line 6325.
LaTeX Info: Redefining \ref on input line 6365.
LaTeX Info: Redefining \pageref on input line 6369.
\Hy@abspage=\count98
\c@Item=\count99
\c@Hfootnote=\count100
)

Package hyperref Message: Driver (autodetected): hpdftex.

("C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\hpdftex.def"
File: hpdftex.def 2012/11/06 v6.83m Hyperref driver for pdfTeX
\Fld@listcount=\count101
\c@bookmark@seq@number=\count102

("C:\Program Files\MiKTeX 2.9\tex\latex\oberdiek\rerunfilecheck.sty"
Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 282.
)
\Hy@SectionHShift=\skip52
))
("C:\Program Files\MiKTeX 2.9\tex\latex\comment\comment.sty"
\CommentStream=\write3
 Excluding comment 'comment')
("C:\Program Files\MiKTeX 2.9\tex\latex\subfiles\subfiles.sty"
Package: subfiles 2012/05/23 Federico Garcia
)
("C:\Program Files\MiKTeX 2.9\tex\latex\graphics\color.sty"
Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)
 ("C:\Program Files\MiKTeX 2.9\tex\latex\00miktex\color.cfg"
File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
)
Package color Info: Driver file: pdftex.def on input line 130.
("C:\Program Files\MiKTeX 2.9\tex\latex\pdftex-def\pdftex.def"
File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
\Gread@gobject=\count103
))
("C:\Program Files\MiKTeX 2.9\tex\latex\hyphenat\hyphenat.sty"
Package: hyphenat 2009/09/02 v2.3c hyphenation utilities


Package hyphenat Warning: *******************************
(hyphenat)                * You have used the htt option.
(hyphenat)                * You are likely to get many Font Warning messages.
(hyphenat)                * These can usually be ignored.
(hyphenat)                *******************************.

\langwohyphens=\language69
LaTeX Info: Redefining \_ on input line 43.
) ("C:\Program Files\MiKTeX 2.9\tex\latex\ulem\ulem.sty"
\UL@box=\box26
\UL@hyphenbox=\box27
\UL@skip=\skip53
\UL@hook=\toks18
\UL@height=\dimen115
\UL@pe=\count104
\UL@pixel=\dimen116
\ULC@box=\box28
Package: ulem 2012/05/18
\ULdepth=\dimen117
) ("C:\Program Files\MiKTeX 2.9\tex\latex\tools\xr.sty"
Package: xr 1994/05/28 v5.02 eXternal References (DPC)
)
Package xr Info: IMPORTING LABELS FROM background.aux on input line 21.
Package xr Info: IMPORTING LABELS FROM conclusion.aux on input line 22.
Package xr Info: IMPORTING LABELS FROM embedding.aux on input line 23.
Package xr Info: IMPORTING LABELS FROM eplipl.aux on input line 24.
Package xr Info: IMPORTING LABELS FROM introduction.aux on input line 25.
Package xr Info: IMPORTING LABELS FROM miscrelcon.aux on input line 26.
Package xr Info: IMPORTING LABELS FROM multiparadigm.aux on input line 27.
Package xr Info: IMPORTING LABELS FROM prologin.aux on input line 28.
Package xr Info: IMPORTING LABELS FROM prologinhaskell.aux on input line 29.
Package xr Info: IMPORTING LABELS FROM proposedwork.aux on input line 30.
Package xr Info: IMPORTING LABELS FROM pwp.aux on input line 31.
Package xr Info: IMPORTING LABELS FROM quasiquotation.aux on input line 32.
Package xr Info: IMPORTING LABELS FROM relatedtermskeywords.aux on input line 33.
Package xr Info: IMPORTING LABELS FROM relatedWork.aux on input line 34.
Package xr Info: IMPORTING LABELS FROM ummcpp.aux on input line 35.
Package hyperref Info: Option `colorlinks' set `true' on input line 87.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                removing `\\' on input line 87.


Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                removing `\\' on input line 87.

)) (C:\Users\Mehul\Dropbox\proposal\proposal\background.aux

LaTeX Warning: Label `sect:background' multiply defined.

)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 7.
LaTeX Font Info:    ... okay on input line 7.

*geometry* driver: auto-detecting
*geometry* detected driver: pdftex
*geometry* verbose mode - [ preamble ] result:
* driver: pdftex
* paper: letterpaper
* layout: <same size as paper>
* layoutoffset:(h,v)=(0.0pt,0.0pt)
* modes: 
* h-part:(L,W,R)=(108.405pt, 433.62001pt, 72.26999pt)
* v-part:(T,H,B)=(72.26999pt, 650.43001pt, 72.26999pt)
* \paperwidth=614.295pt
* \paperheight=794.96999pt
* \textwidth=433.62001pt
* \textheight=650.43001pt
* \oddsidemargin=36.13501pt
* \evensidemargin=36.13501pt
* \topmargin=-37.0pt
* \headheight=35.0pt
* \headsep=25.0pt
* \topskip=10.0pt
* \footskip=30.0pt
* \marginparwidth=65.0pt
* \marginparsep=11.0pt
* \columnsep=10.0pt
* \skip\footins=9.0pt plus 4.0pt minus 2.0pt
* \hoffset=0.0pt
* \voffset=0.0pt
* \mag=1000
* \@twocolumnfalse
* \@twosidefalse
* \@mparswitchfalse
* \@reversemarginfalse
* (1in=72.27pt=25.4mm, 1cm=28.453pt)

\AtBeginShipoutBox=\box29
Package hyperref Info: Link coloring ON on input line 7.
("C:\Program Files\MiKTeX 2.9\tex\latex\hyperref\nameref.sty"
Package: nameref 2012/10/27 v2.43 Cross-referencing by name of section

("C:\Program Files\MiKTeX 2.9\tex\generic\oberdiek\gettitlestring.sty"
Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)
)
\c@section@level=\count105
)
LaTeX Info: Redefining \ref on input line 7.
LaTeX Info: Redefining \pageref on input line 7.
LaTeX Info: Redefining \nameref on input line 7.

(C:\Users\Mehul\Dropbox\proposal\proposal\background.out) (C:\Users\Mehul\Dropbox\proposal\proposal\background.out)
\@outlinefile=\write4

("C:\Program Files\MiKTeX 2.9\tex\context\base\supp-pdf.mkii"
[Loading MPS to PDF converter (version 2006.09.02).]
\scratchcounter=\count106
\scratchdimen=\dimen118
\scratchbox=\box30
\nofMPsegments=\count107
\nofMParguments=\count108
\everyMPshowfont=\toks19
\MPscratchCnt=\count109
\MPscratchDim=\dimen119
\MPnumerator=\count110
\makeMPintoPDFobject=\count111
\everyMPtoPDFconversion=\toks20
)
LaTeX Font Info:    Try loading font information for OT1+pcr on input line 7.
 ("C:\Program Files\MiKTeX 2.9\tex\latex\psnfss\ot1pcr.fd"
File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr.
)
LaTeX Font Info:    Font shape `OT1/pcr/m/it' in size <10> not available
(Font)              Font shape `OT1/pcr/m/sl' tried instead on input line 7.
LaTeX Font Info:    Font shape `OT1/pcr/b/it' in size <10> not available
(Font)              Font shape `OT1/pcr/b/sl' tried instead on input line 7.
LaTeX Font Info:    Font shape `OT1/pcr/bx/n' in size <10> not available
(Font)              Font shape `OT1/pcr/b/n' tried instead on input line 7.
LaTeX Font Info:    Font shape `OT1/pcr/bx/it' in size <10> not available
(Font)              Font shape `OT1/pcr/b/it' tried instead on input line 7.
LaTeX Font Info:    Font shape `OT1/pcr/b/it' in size <10> not available
(Font)              Font shape `OT1/pcr/b/sl' tried instead on input line 7.
LaTeX Font Info:    Font shape `OT1/pcr/bx/sl' in size <10> not available
(Font)              Font shape `OT1/pcr/b/sl' tried instead on input line 7.
LaTeX Font Info:    Font shape `OT1/pcr/bx/sc' in size <10> not available
(Font)              Font shape `OT1/pcr/b/sc' tried instead on input line 7.


LaTeX Font Warning: Font shape `OT1/pcr/sb/n' undefined
(Font)              using `OT1/pcr/m/n' instead on input line 7.


LaTeX Font Warning: Font shape `OT1/pcr/sb/it' undefined
(Font)              using `OT1/pcr/sb/n' instead on input line 7.


LaTeX Font Warning: Font shape `OT1/pcr/sb/sl' undefined
(Font)              using `OT1/pcr/sb/n' instead on input line 7.


LaTeX Font Warning: Font shape `OT1/pcr/sb/sc' undefined
(Font)              using `OT1/pcr/sb/n' instead on input line 7.


LaTeX Font Warning: Font shape `OT1/pcr/c/n' undefined
(Font)              using `OT1/pcr/m/n' instead on input line 7.


LaTeX Font Warning: Font shape `OT1/pcr/c/it' undefined
(Font)              using `OT1/pcr/c/n' instead on input line 7.


LaTeX Font Warning: Font shape `OT1/pcr/c/sl' undefined
(Font)              using `OT1/pcr/c/n' instead on input line 7.


LaTeX Font Warning: Font shape `OT1/pcr/c/sc' undefined
(Font)              using `OT1/pcr/c/n' instead on input line 7.


LaTeX Font Warning: Font shape `OT1/pcr/l/n' undefined
(Font)              using `OT1/pcr/m/n' instead on input line 7.


LaTeX Font Warning: Font shape `OT1/pcr/l/it' undefined
(Font)              using `OT1/pcr/l/n' instead on input line 7.


LaTeX Font Warning: Font shape `OT1/pcr/l/sl' undefined
(Font)              using `OT1/pcr/l/n' instead on input line 7.


LaTeX Font Warning: Font shape `OT1/pcr/l/sc' undefined
(Font)              using `OT1/pcr/l/n' instead on input line 7.

LaTeX Font Info:    Font shape `OT1/pcr/m/ui' in size <10> not available
(Font)              Font shape `OT1/pcr/m/it' tried instead on input line 7.
LaTeX Font Info:    Font shape `OT1/pcr/m/it' in size <10> not available
(Font)              Font shape `OT1/pcr/m/sl' tried instead on input line 7.
LaTeX Font Info:    Font shape `OT1/pcr/bx/ui' in size <10> not available
(Font)              Font shape `OT1/pcr/b/it' tried instead on input line 7.
LaTeX Font Info:    Font shape `OT1/pcr/b/it' in size <10> not available
(Font)              Font shape `OT1/pcr/b/sl' tried instead on input line 7.

LaTeX Font Warning: Font shape `OT1/pcr/m/In' undefined
(Font)              using `OT1/pcr/m/n' instead on input line 7.


LaTeX Warning: Citation `Krishnamurthi:2008:TPL:1480828.1480846' on page 1 undefined on input line 14.


LaTeX Warning: Citation `hughes1989functional' on page 1 undefined on input line 22.

LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 25.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 25.

LaTeX Warning: Citation `website:lambdacalculuswiki' on page 1 undefined on input line 25.


LaTeX Warning: Citation `rojas2004tutorial' on page 1 undefined on input line 25.


LaTeX Warning: Citation `website:hdmtypesystemwiki' on page 1 undefined on input line 25.


LaTeX Warning: Citation `website:hdmtypesystem' on page 1 undefined on input line 25.


LaTeX Warning: Citation `spivey1995introduction' on page 1 undefined on input line 27.


LaTeX Warning: Citation `wikiprolog' on page 1 undefined on input line 33.


LaTeX Warning: Citation `website:langpop' on page 1 undefined on input line 36.


LaTeX Warning: Citation `wadler1992comprehending' on page 1 undefined on input line 36.


LaTeX Warning: Citation `swipembedd' on page 1 undefined on input line 42.


LaTeX Warning: Citation `racklog' on page 1 undefined on input line 42.


LaTeX Warning: Citation `komorowski1982qlog' on page 1 undefined on input line 42.


LaTeX Warning: Citation `robinson1982loglisp' on page 1 undefined on input line 42.


LaTeX Warning: Citation `robinson1980loglisp' on page 1 undefined on input line 42.


LaTeX Warning: Citation `wikiprolog' on page 1 undefined on input line 42.


LaTeX Warning: Citation `jlog' on page 1 undefined on input line 42.


LaTeX Warning: Citation `jscriptlog' on page 1 undefined on input line 42.


LaTeX Warning: Citation `yieldprolog' on page 1 undefined on input line 42.


LaTeX Warning: Citation `DBLP:conf/utp/2006' on page 1 undefined on input line 47.


LaTeX Warning: Citation `DBLP:conf/utp/2008' on page 1 undefined on input line 47.


LaTeX Warning: Citation `DBLP:conf/utp/2010' on page 1 undefined on input line 47.


LaTeX Warning: Citation `DBLP:conf/utp/2012' on page 1 undefined on input line 47.


LaTeX Warning: Citation `hoare1998unifying' on page 1 undefined on input line 47.


LaTeX Warning: Citation `gibbons2013unifying' on page 1 undefined on input line 47.


LaTeX Warning: Citation `website:scala' on page 1 undefined on input line 49.

[1

{C:/ProgramData/MiKTeX/2.9/pdftex/config/pdftex.map}]
Package atveryend Info: Empty hook `BeforeClearDocument' on input line 59.
 [2]
Package atveryend Info: Empty hook `AfterLastShipout' on input line 59.
 (C:\Users\Mehul\Dropbox\proposal\proposal\background.aux)
Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 59.
Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 59.
Package rerunfilecheck Info: File `background.out' has not changed.
(rerunfilecheck)             Checksum: 44204AB704592C94BA14753DC9101A2D;46.


LaTeX Font Warning: Some font shapes were not available, defaults substituted.


LaTeX Warning: There were undefined references.


LaTeX Warning: There were multiply-defined labels.

 ) 
Here is how much of TeX's memory you used:
 5922 strings out of 493921
 87905 string characters out of 3147331
 173731 words of memory out of 3000000
 9148 multiletter control sequences out of 15000+200000
 6350 words of font info for 25 fonts, out of 3000000 for 9000
 841 hyphenation exceptions out of 8191
 44i,5n,47p,1333b,407s stack positions out of 5000i,500n,10000p,200000b,50000s
<C:/Program Files/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmbx10.pfb><C:/Program Files/MiKTeX 2.9/fonts/type1/public
/amsfonts/cm/cmbx12.pfb><C:/Program Files/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmcsc10.pfb><C:/Program Files/MiKTeX
 2.9/fonts/type1/public/amsfonts/cm/cmmi10.pfb><C:/Program Files/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr10.pfb>
Output written on background.pdf (2 pages, 67624 bytes).
PDF statistics:
 45 PDF objects out of 1000 (max. 8388607)
 7 named destinations out of 1000 (max. 500000)
 9 words of extra memory for PDF output out of 10000 (max. 10000000)