Manuel Hermenegildo
Manuel Hermenegildo
5 books in the database
Books
Logic programmingManuel Hermenegildo
Logic programming
Manuel Hermenegildo · 1990
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesManuel Hermenegildo
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Manuel Hermenegildo · 2010
Practical Aspects of Declarative LanguagesManuel Hermenegildo
Practical Aspects of Declarative Languages
Manuel Hermenegildo · 2005
Static AnalysisManuel Hermenegildo
Static Analysis
Manuel Hermenegildo · 2003
Programming Languages Implementations, Logics and ProgramsManuel Hermenegildo
Programming Languages Implementations, Logics and Programs
Manuel Hermenegildo · 1995
Co-authored books and collections
Books that list Manuel Hermenegildo among their authors but not as the lead author: co-written works, collections and compilations.
Analysis and visualization tools for constraint programmingPierre Deransart
Analysis and visualization tools for constraint programming
Pierre Deransart · 2000
Programming language implementation and logic programmingPLILP '94 (1994 Madrid, Spain)
Programming language implementation and logic programming
PLILP '94 (1994 Madrid, Spain) · 1994
Verification, Model Checking, and Abstract InterpretationGilles Barthe
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe · 2010
Functional and Logic ProgrammingJacques Garrigue
Functional and Logic Programming
Jacques Garrigue · 2008