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
Study of the use of property probes in an educational setting
- Contribution to journal › Article
-
Mark
Dynamic Dependency-Based Purity Checking
(2025) p.148-161
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dynamic Dependency-Based Purity Checking (Artifact)
(2025)
- Other contribution › Miscellaneous
- 2024
-
Mark
Property Probes: Live Exploration of Source Code Analysis
- Thesis › Licentiate thesis
-
Mark
Property probes : Live exploration of program analysis results
- Contribution to journal › Article
- 2022
-
Mark
Property Probes : Source Code Based Exploration of Program Analysis Results
(2022) 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, co-located with the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications. SPLASH 2022 In SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022 p.148-160
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Property Probes: Source Code Based Exploration of Program Analysis Results (Artifact)
(2022)
- Other contribution › Miscellaneous
