Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Fasse, Justus
2  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Completeness Thresholds for Memory Safety of Array Traversi..:

, In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,
Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart - p. 47-54 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Formally verified superblock scheduling:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Six, Cyril ; Gourdin, Léo ; Boulmé, Sylvain... - p. 40-54 , 2022
Link: https://dl.acm.org/doi/1..
 
1-2