[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - A practical type analysis for verification of modular prolog programs
Pietrzak, Pawel S., Fernández, Jesús Correas, Puebla, Germán, Hermenegildo, Manuel V.Year:
2008
Language:
english
DOI:
10.1145/1328408.1328418
File:
PDF, 345 KB
english, 2008