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.
Actes:
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

ISBN: 9781595939777

Any de publicació: 2008

Pàgines: 61-70

Tipus: Aportació congrés

DOI: 10.1145/1328408.1328418 GOOGLE SCHOLAR
Font de les dades: Scopus