DS-1995-05: Tip, Frank (1995) Generation of Program Analysis Tools. Doctoral thesis, University of Amsterdam.
![[thumbnail of DS-1995-05.text.pdf]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text
DS-1995-05.text.pdf - Published Version Download (1MB) |
|
Text (Samenvatting)
DS-1995-05.samenvatting.txt - Other Download (1kB) |
Abstract
In recent years, there has been a growing interest in tools that
facilitate the understanding, analysis, and debugging of programs.
This thesis is concerned with tools and techniques that support the
analysis of programs. Instead of directly implementing program
analysis tools, our aim is to generate them from formal, algebraic
specifications. This approach has the pleasant property that it is
largely language-independent. Moreover, it is shown that---to a very
large extent---the information needed to construct program analysis
tools is already implicitly present in algebraic specifications. Two
particular types of program analysis tools are studied in this thesis:
tools for source-level debugging and tools for program slicing.
| Item Type: | Thesis (Doctoral) |
|---|---|
| Report Nr: | DS-1995-05 |
| Series Name: | ILLC Dissertation (DS) Series |
| Year: | 1995 |
| Subjects: | Language |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 14 Jun 2022 15:16 |
| Last Modified: | 13 May 2023 16:00 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1978 |
Actions (login required)
 |
View Item |
