Manuel Hermenegildo

Identifiers

Open LibraryOL2682655A

Top Subjects

Reference (1)
Computers (1)
Programming - General (1)
Computer Books: Languages (1)
Programming languages (electronic computers) (1)

Books by Manuel Hermenegildo

Total count: 7

Programming Language Implementation and Logic Programming6th International Symposium, Plilp '94 Madrid, Spain, September 14-16, 1994 Proceedings (Lecture Notes in Computer Science)

Springer-Verlag1994-09-01
Programming Languages Implementations, Logics and Programs7th International Symposium, Plilp '95 Utrech, the Netherlands, September 20-22, 1995 Proceedings (Lecture Notes in Computer Science)

Springer-Verlag1995-10-01
Static Analysis9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

Springer London, Limited2003-01-01
Practical Aspects of Declarative Languages7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings

Springer London, Limited2005-01-01
Functional and Logic Programming9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings

Springer London, Limited2008-01-01
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Association for Computing Machinery2010-01-01
Verification, Model Checking, and Abstract Interpretation11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Springer London, Limited2010-01-01