Tobias Gedell
Visar 6 publikationer
Abstract Interpretation Plugins for Type Systems
Verification by Parallelization of Parametric Code
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
Embedding Static Analysis into Tableaux and Sequent based Frameworks
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här: