External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A practical type analysis for verification of modular prolog programs

Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo. A practical type analysis for verification of modular prolog programs. In Robert Glück, Oege de Moor, editors, Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008. pages 61-70, ACM, 2008. [doi]

Authors

Pawel Pietrzak

This author has not been identified. Look up 'Pawel Pietrzak' in Google

Jesús Correas

This author has not been identified. Look up 'Jesús Correas' in Google

Germán Puebla

This author has not been identified. Look up 'Germán Puebla' in Google

Manuel V. Hermenegildo

This author has not been identified. It may be one of the following persons: Look up 'Manuel V. Hermenegildo' in Google
runs on