A practical type analysis for verification of modular prolog programs

  1. Pietrzak, P.S.
  2. Fernández, J.C.
  3. Puebla, G.
  4. Hermenegildo, M.V.
Actas:
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

ISBN: 9781595939777

Año de publicación: 2008

Páginas: 61-70

Tipo: Aportación congreso

DOI: 10.1145/1328408.1328418 GOOGLE SCHOLAR
Fuente de los datos: Scopus