Manuel Hermenegildo

No bio available. Add one in Open Library.

Books by Manuel Hermenegildo (50 max)

+ shelf+ list

Programming language implementation and logic programming: 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings

1994

PLILP '94 (1994 Madrid, Spain), Spain) Plilp 9 (1994 Madrid, Manuel Hermenegildo

+ shelf+ list

Logic Programming: Proceedings of the North American Conference 1990 (Logic Programming)

1990

Manuel Hermenegildo

+ shelf+ list

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging (Lecture Notes in Computer Science)

2000

Pierre Deransart, Manuel Hermenegildo

+ shelf+ list

Programming Languages Implementations, Logics and Programs: 7th International Symposium, Plilp '95 Utrech, the Netherlands, September 20-22, 1995 Proceedings (Lecture Notes in Computer Science)

1995

Manuel Hermenegildo

+ shelf+ list

Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

2003

Manuel Hermenegildo, German Puebla

+ shelf+ list

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings

2005

Manuel Hermenegildo, Daniel Cabeza

+ shelf+ list

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings

2008

Jacques Garrigue, Manuel Hermenegildo

+ shelf+ list

Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

2010

Manuel Hermenegildo

+ shelf+ list

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

2010

Gilles Barthe, Manuel Hermenegildo