1 – 5 of 5
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Towards Declarative Specification of Static Analysis for Programming Tools
2024)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Property Probes: Live Exploration of Source Code Analysis
(
- Thesis › Licentiate thesis
- 2023
-
Mark
Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
2023)(
- Thesis › Licentiate thesis
- 2021
-
Mark
ComPOS - a Domain-Specific Language for Composing Internet-of-Things Systems
2021)(
- Thesis › Doctoral thesis (compilation)
- 2019
-
Mark
ComPOS - a development environment for composing internet-of-things services
(
- Thesis › Licentiate thesis