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
Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
2023)(
- Thesis › Licentiate thesis
-
Mark
Towards the Humanisation of Programming Tool Interactions
(
- 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