Manuel V. Hermenegildo
AuthID: R-00F-NQY
1
TITLE: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 Full Text
AUTHORS: Manuel V Hermenegildo; Jens Palsberg;
PUBLISHED: 2010, SOURCE: POPL
AUTHORS: Manuel V Hermenegildo; Jens Palsberg;
PUBLISHED: 2010, SOURCE: POPL
INDEXED IN: 
DBLP
DBLP2
TITLE: Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK
AUTHORS: Manuel V Hermenegildo; Torsten Schaub;
PUBLISHED: 2010, SOURCE: ICLP (Technical Communications), VOLUME: 7
AUTHORS: Manuel V Hermenegildo; Torsten Schaub;
PUBLISHED: 2010, SOURCE: ICLP (Technical Communications), VOLUME: 7
INDEXED IN: DBLP
DBLP3
TITLE: Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
AUTHORS: Gilles Barthe; Manuel V Hermenegildo;
PUBLISHED: 2010, SOURCE: VMCAI, VOLUME: 5944
AUTHORS: Gilles Barthe; Manuel V Hermenegildo;
PUBLISHED: 2010, SOURCE: VMCAI, VOLUME: 5944
INDEXED IN: DBLP
DBLP4
TITLE: Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
AUTHORS: Manuel V Hermenegildo; Daniel Cabeza;
PUBLISHED: 2005, SOURCE: PADL, VOLUME: 3350
AUTHORS: Manuel V Hermenegildo; Daniel Cabeza;
PUBLISHED: 2005, SOURCE: PADL, VOLUME: 3350
INDEXED IN: DBLP
DBLP5
TITLE: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings
AUTHORS: Manuel V Hermenegildo; Jaan Penjam;
PUBLISHED: 1994, SOURCE: PLILP, VOLUME: 844
AUTHORS: Manuel V Hermenegildo; Jaan Penjam;
PUBLISHED: 1994, SOURCE: PLILP, VOLUME: 844
INDEXED IN: DBLP
DBLP6
TITLE: Programming language implementation and logic programming. 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings
AUTHORS: PLILP '94 (1994 Madrid, Spain); Spain) Plilp 9 (1994 Madrid; Manuel Hermenegildo;
PUBLISHED: 1994
AUTHORS: PLILP '94 (1994 Madrid, Spain); Spain) Plilp 9 (1994 Madrid; Manuel Hermenegildo;
PUBLISHED: 1994
INDEXED IN: 
Openlibrary
Openlibrary