Applied Implicit Computational Complexity

descriptionPublicationkeyboard_double_arrow_right Thesis , Doctoral thesis 17 Sep 2025Embargo end date: 18 Oct 2025 English Publisher:Augusta University

Authors: Rusch, Neea;

doi: 10.5281/zenodo.17148077 , 10.5281/zenodo.17148078 , 10.5281/zenodo.17148449

handle: 10675.2/625971

Applied Implicit Computational Complexity

- Summary
- Subjects
- Metrics

Abstract

This is an archive of the doctoral dissertation "Applied Implicit Computational Complexity". The deposit includes the compiled dissertation, source code, and a software artifact. The artifact allows inspecting interactively all executable examples that appear in the dissertation. To use the artifact, follow the instructions in the readme.txt. The dissertation and its source code are licensed under Creative Commons Attribution 4.0 International. The contained manuscripts and associated software have separate licenses.

Related Organizations

Augusta University
United States

Keywords

formal methods, programming languages, static program analysis, implicit computational complexity

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

0

Average

Green