Termination and cost analysis with COSTA and its user interfaces

  1. Albert, Elvira
  2. Arenas, Puri
  3. Genaim, Samir
  4. Puebla, Germán
  5. Zanardini, Damiano
  6. Ramírez Deantes, Diana Vanessa
  7. Gómez-Zamalloa Gil, Miguel
  8. Román Díez, Guillermo
Libro:
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
  1. Lucio, Paqui (ed. lit.)
  2. Moreno Valverde, Ginés Damián (ed. lit.)
  3. Peña Marí, Ricardo (ed. lit.)

Editorial: Mondragon Unibertsitatea

ISBN: 978-84-692-4600-9

Año de publicación: 2009

Páginas: 139-148

Congreso: Jornadas sobre Programación y Lenguajes (9. 2009. San Sebastián)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet