Giters

glimonta / thesis

Repository containing the implementation of my Master's Thesis project at TUM during the SS 2015.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Thesis

Repository containing the implementation of my Master's Thesis project at TUM during the SS 2015. Formalization of an imperative language including pointers and arrays using Isabelle.

About

Repository containing the implementation of my Master's Thesis project at TUM during the SS 2015.

Languages

Language:Isabelle 86.9%Language:Standard ML 10.9%Language:TeX 0.9%Language:Makefile 0.7%Language:C 0.7%Language:Shell 0.1%