Personensuche
X
?
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation ,
8
Incremental resource usage analysis:
, In:
?
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation ,
10
COSTABS : a cost and termination analyzer for ABS:
, In:
?
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation ,
12
Verified resource guarantees using COSTA and KeY:
, In:
?
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation ,
15