1 – 4 of 4
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
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
- 2021
-
Mark
Open source languages and methods for cyber-physical system development : Overview and case studies
- Contribution to journal › Article
