The effect of EHOP on the writing of Program Analyzers

Bachelor Thesis (2022)
Author(s)

B.R. Mesters (TU Delft - Electrical Engineering, Mathematics and Computer Science)

Contributor(s)

Casper Poulsen – Mentor (TU Delft - Programming Languages)

C.R. van der Rest – Mentor (TU Delft - Programming Languages)

Wendelin Böhmer – Graduation committee member (TU Delft - Algorithmics)

Faculty
Electrical Engineering, Mathematics and Computer Science
Copyright
© 2022 Brendan Mesters
More Info
expand_more
Publication Year
2022
Language
English
Copyright
© 2022 Brendan Mesters
Graduation Date
24-06-2022
Awarding Institution
Delft University of Technology
Project
['CSE3000 Research Project']
Programme
['Computer Science and Engineering']
Faculty
Electrical Engineering, Mathematics and Computer Science
Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Abstract

Effect Handler Oriented Programming is a promising new programming paradigm, delivering separation of of concerns with regards to side effects in an otherwise functional environment.
This paper discusses the applicability of this new paradigm to static code analysis programs.
Different code analyzers often have many similar, if not identical pieces of code which could be abstracted away.
This abstraction does not come natural to the programming paradigm of Functional Programming but are quite natural within EHOP.
The current programming languages do not yet seem up to the task of rapid generalization of code and elimination of duplicate pieces of code.
However, the concepts present in EHOP will almost certainly be able to eliminate much of this code reduction once the languages have matured further.
The implicit passing of functionality will also allow for clearer code with less unnecessary visual clutter.

Files

Research_Paper_Brendan.pdf
(pdf | 0.571 Mb)
License info not available