COSTABS: A cost and termination analyzer for ABS

  1. Albert, E.
  2. Arenas, P.
  3. Genaim, S.
  4. Gómez-Zamalloa, M.
  5. Puebla, G.
Aktak:
Conference Record of the Annual ACM Symposium on Principles of Programming Languages

ISSN: 0730-8566

ISBN: 9781450311182

Argitalpen urtea: 2012

Orrialdeak: 151-154

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: Scopus