[an error occurred while processing this directive]

<meta name="keywords" content="Department of Computer Science publications PRG Archive"/>
<meta name="description" content="Department of Computer Science Publications PRG Archive"/>

<title> Department of Computer Science, University of Oxford :  Programming Research Group (PRG) Archive</title>

[an error occurred while processing this directive]

<!-- BREADCRUMBS -->
	<div class="content-width">
		<ol class="breadcrumb text-uppercase">
			<li><a href="/" >Home</a></li>
			<li><a href="/research/" >Research</a></li>
			<li><a href="/research/publications/" >Publications</a></li>
			<li class="active">Programming Research Group (PRG) Archive</li>
		</ol>
	</div>
	
	<!-- MOBILE NAVIGATION -->
	<div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm">
		<!-- DOM elements will be inserted here based on .mobile-menu-source -->
	</div>

	<!-- COLUMNS -->
	
	   
	<div class="container-fluid content-width">
		<div class="row">
			<div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent">

        			<!-- CONTENT (Column 2) -->
				<div class="page-title">
        			    <h1>Programming Research Group (PRG) Archive</h1>

        			</div>

				<!-- actual content -->
				<ul class="list-a-z">
					<li><a href="#a">A</a></li>
					<li><a href="#b">B</a></li>
					<li><a href="#c">C</a></li>
					<li><a href="#d">D</a></li>
					<li><a href="#e">E</a></li>
					<li><a href="#f">F</a></li>
					<li><a href="#g">G</a></li>
					<li><a href="#h">H</a></li>
					<li><a href="#i">I</a></li>
					<li><a href="#j">J</a></li>
					<li><a href="#k">K</a></li>
					<li><a href="#l">L</a></li>
					<li><a href="#m">M</a></li>
					<li><a href="#n">N</a></li>
					<li><a href="#o">O</a></li>
					<li><a href="#p">P</a></li>
					<li><a href="#q">Q</a></li>
					<li><a href="#r">R</a></li>
					<li><a href="#s">S</a></li>
					<li><a href="#t">T</a></li>
					<li><a href="#u">U</a></li>
					<li><a href="#v">V</a></li>
					<li><a href="#w">W</a></li>
					<li><a href="#x">X</a></li>
					<li><a href="#y">Y</a></li>
					<li><a href="#z">Z</a></li>
				</ul>
				
				<a name="a"></a>
				<h2 class="h3 text-dark-brown underlined" id="a">
					<span class="underlined-text">A</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index A.pdf">PRG Archive Index A.pdf</a>
				
				<a name="b"></a>
				<h2 class="h3 text-dark-brown underlined" id="b">
					<span class="underlined-text">B</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index B.pdf">PRG Archive Index B.pdf</a>

				<a name="c"></a>
				<h2 class="h3 text-dark-brown underlined" id="c">
					<span class="underlined-text">C</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index C.pdf">PRG Archive Index C.pdf</a>
				
				<a name="d"></a>
				<h2 class="h3 text-dark-brown underlined" id="d">
					<span class="underlined-text">D</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index D.pdf">PRG Archive Index D.pdf</a>
				
				<a name="e"></a>
				<h2 class="h3 text-dark-brown underlined" id="e">
					<span class="underlined-text">E</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index E.pdf">PRG Archive Index E.pdf</a>

				<a name="f"></a>
				<h2 class="h3 text-dark-brown underlined" id="f">
					<span class="underlined-text">F</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index F.pdf">PRG Archive Index F.pdf</a>
				
				
				
				<a name="g"></a>
				<h2 class="h3 text-dark-brown underlined" id="g">
					<span class="underlined-text">G</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index G.pdf">PRG Archive Index G.pdf</a>
				
				<a name="h"></a>
				<h2 class="h3 text-dark-brown underlined" id="h">
					<span class="underlined-text">H</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index H.pdf">PRG Archive Index H.pdf</a>

				<a name="i"></a>
				<h2 class="h3 text-dark-brown underlined" id="i">
					<span class="underlined-text">I</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index I.pdf">PRG Archive Index I.pdf</a>
				
				<a name="j"></a>
				<h2 class="h3 text-dark-brown underlined" id="j">
					<span class="underlined-text">J</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index J.pdf">PRG Archive Index J.pdf</a>
				
				<a name="k"></a>
				<h2 class="h3 text-dark-brown underlined" id="k">
					<span class="underlined-text">K</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index K.pdf">PRG Archive Index K.pdf</a>

				<a name="l"></a>
				<h2 class="h3 text-dark-brown underlined" id="l">
					<span class="underlined-text">L</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index L.pdf">PRG Archive Index L.pdf</a>
				
				
				<a name="m"></a>
				<h2 class="h3 text-dark-brown underlined" id="m">
					<span class="underlined-text">M</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index M.pdf">PRG Archive Index M.pdf</a>
				
				<a name="n"></a>
				<h2 class="h3 text-dark-brown underlined" id="n">
					<span class="underlined-text">N</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index N.pdf">PRG Archive Index N.pdf</a>

				<a name="o"></a>
				<h2 class="h3 text-dark-brown underlined" id="o">
					<span class="underlined-text">O</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index O.pdf">PRG Archive Index O.pdf</a>
				
				<a name="p"></a>
				<h2 class="h3 text-dark-brown underlined" id="p">
					<span class="underlined-text">P</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index P.pdf">PRG Archive Index P.pdf</a>
				
				<a name="q"></a>
				<h2 class="h3 text-dark-brown underlined" id="q">
					<span class="underlined-text">Q</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index Q.pdf">PRG Archive Index Q.pdf</a>

				<a name="r"></a>
				<h2 class="h3 text-dark-brown underlined" id="r">
					<span class="underlined-text">R</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index R.pdf">PRG Archive Index R.pdf</a>
				
				<a name="s"></a>
				<h2 class="h3 text-dark-brown underlined" id="s">
					<span class="underlined-text">S</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index S.pdf">PRG Archive Index S.pdf</a>
				
				<a name="t"></a>
				<h2 class="h3 text-dark-brown underlined" id="t">
					<span class="underlined-text">T</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index T.pdf">PRG Archive Index T.pdf</a>

				<a name="u"></a>
				<h2 class="h3 text-dark-brown underlined" id="u">
					<span class="underlined-text">U</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index U.pdf">PRG Archive Index U.pdf</a>
				
				<a name="v"></a>
				<h2 class="h3 text-dark-brown underlined" id="v">
					<span class="underlined-text">V</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index V.pdf">PRG Archive Index V.pdf</a>
				
				<a name="w"></a>
				<h2 class="h3 text-dark-brown underlined" id="w">
					<span class="underlined-text">W</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index W.pdf">PRG Archive Index W.pdf</a>

				<a name="x"></a>
				<h2 class="h3 text-dark-brown underlined" id="x">
					<span class="underlined-text">X</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index X.pdf">PRG Archive Index X.pdf</a>
				
				<a name="y"></a>
				<h2 class="h3 text-dark-brown underlined" id="y">
					<span class="underlined-text">Y</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index Y.pdf">PRG Archive Index Y.pdf</a>

				<a name="z"></a>
				<h2 class="h3 text-dark-brown underlined" id="z">
					<span class="underlined-text">Z</span>
					<span class="underlined-line"></span>
				</h2>
				<a href="./PRG Archive Index Z.pdf">PRG Archive Index Z.pdf</a>
				
				
				<!-- / actual content -->
			</div>
			<div class="col-xs-12 col-md-3 col-md-push-3">
               			 <!-- EMPTY (Column 3 - currently unused) -->
			</div>
	    
           		 <div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">

                		<!-- NAVIGATION (Column 1) -->
                		<h2 class="side-menu-title text-uppercase">
                		    <a href="/research/">Research</a>
                		</h2>
		
				[an error occurred while processing this directive]
                
            		</div>
		</div>
	</div>

[an error occurred while processing this directive]