Search for persons
X
?
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation ,
1
Ownership Types for Verification of Programs with Pointer A..:
, In:
?
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation ,
4
Productivity Verification for Functional Programs by Reduct..:
, In:
?
Proceedings of the 22nd Annual International Conference on Mobile Systems, Applications and Services ,
5