Handling Non-linear Operations in the Value Analysis of COSTA

Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim. Handling Non-linear Operations in the Value Analysis of COSTA. Electronic Notes in Theoretical Computer Science, 279(1):3-17, 2011. [doi]

Authors

Diego Esteban Alonso-Blas

This author has not been identified. Look up 'Diego Esteban Alonso-Blas' in Google

Puri Arenas

This author has not been identified. Look up 'Puri Arenas' in Google

Samir Genaim

This author has not been identified. It may be one of the following persons: Look up 'Samir Genaim' in Google