1 – 7 of 7
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
(2025) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer
- Contribution to journal › Article
- 2024
-
Mark
Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis (Artifact)
(2024)
- Other contribution › Miscellaneous
- 2023
-
Mark
Towards the Humanisation of Programming Tool Interactions
- Thesis › Licentiate thesis
-
Mark
Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
(2023)
- Thesis › Licentiate thesis
- 2020
-
Mark
Relational reference attribute grammars: Improving continuous model validation
- Contribution to journal › Article
-
Mark
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2018
-
Mark
ExtendJ : Extensible Java compiler
(2018) 2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018 Part F137691. p.234-235
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
