Publications | Lund University Publications

1 – 3 of 3

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=keywords+exact+%22Static+program+analysis%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2025
Mark IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
Riouak, Idriss ^LU ; Fors, Niklas ^LU ; Hedin, Görel ^LU and Reichenbach, Christoph ^LU (2025) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer
- Contribution to journal › Article
2023
Mark Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
Riouak, Idriss ^LU (2023)
- Thesis › Licentiate thesis
Mark Towards the Humanisation of Programming Tool Interactions
McCabe, Alan ^LU (2023) In Licentiate thesis 2023(2).
- Thesis › Licentiate thesis

your query:: Remove keywords: Static program analysis