Merkliste 
 1 Ergebnisse 
 
1

Static analysis and compiler design for idempotent processi..:

, In: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation,