A symmetric approach to compilation and decompilation
The essence of computation
Privacy-preserving genomic computation through program specialization
Proceedings of the 16th ACM conference on Computer and communications security
Tagging, encoding, and jones optimality
ESOP'03 Proceedings of the 12th European conference on Programming
Hi-index | 0.00 |