M
Manuel Hermenegildo
9 works on record
Works

Programming language implementation and logic programming
1994

Logic programming

Analysis and visualization tools for constraint programming
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Functional and Logic Programming
Functional and Logic Programming
Static Analysis
Static Analysis
Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Programming Languages Implementations, Logics and Programs
Programming Languages Implementations, Logics and Programs