A practical type analysis for verification of modular prolog programs
- Pietrzak, P.S.
- Fernández, J.C.
- Puebla, G.
- Hermenegildo, M.V.
Actes de conférence:
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
ISBN: 9781595939777
Année de publication: 2008
Pages: 61-70
Type: Communication dans un congrès