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

ISBN: 9781595939777

Datum der Publikation: 2008

Seiten: 61-70

Art: Konferenz-Beitrag

DOI: 10.1145/1328408.1328418 GOOGLE SCHOLAR
Datenquelle: Scopus