You are here

Home

Publications

Export 1 results:
Filters: Author is F. Correa and Keyword is program correction  [Clear All Filters]
Conference Proceedings
M. Alpuente, Ballis, D., Correa, F., and Falaschi, M., “Correction of Functional Logic Programs”, Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, vol. 2618. Springer, pp. 54–68, 2003.

created with Drupal | customized by Giovanni Bacci