No description, website, or topics provided.
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
figures initial Jan 8, 2019
papers Fix two incorrect figure references Jan 21, 2019
template initial Jan 8, 2019
.gitignore initial Jan 8, 2019
Makefile initial Jan 8, 2019
Makefile.ini initial Jan 8, 2019
README.md Add PDF URL Jan 8, 2019
Variables.ini initial Jan 8, 2019
abstract.tex initial Jan 8, 2019
autobuild.sh initial Jan 8, 2019
elocalloc.sty initial Jan 8, 2019
errata.tex Fix two incorrect figure references Jan 21, 2019
extendj.sty initial Jan 8, 2019
forest.sty initial Jan 8, 2019
main.tex Add volatile to keywords for listings Jan 18, 2019
refs.bib initial Jan 8, 2019

README.md

Contributions to Declarative Implementation of Static Program Analysis

This repository contains the TeX sources for my thesis. The sources should be compiled with XeLaTeX and Biber.

URL to the PDF of the published thesis: http://portal.research.lu.se/portal/files/55469024/thesis_joqvist_final.pdf

I have made a few minor revisions since the published version of the thesis. The version number in the frontmatter reflects the current version of the thesis. The bugs listed in the errata have been corrected in this revised version.

Tools and packages used: