Hermenegildo, Manuel.
Hermenegildo, Manuel V.
VIAF ID: 22817699 ( Personal )
Permalink: http://viaf.org/viaf/22817699
Preferred Forms
-
- 100 1 _ ‡a Hermenegildo, Manuel (sparse)
- 100 1 0 ‡a Hermenegildo, Manuel
-
- 100 1 _ ‡a Hermenegildo, Manuel
-
-
- 100 1 _ ‡a Hermenegildo, Manuel V.
-
- 100 1 _ ‡a Hermenegildo, Manuel V.
-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Abstraction de traces en analyse statique et transformations de programmes | |
Analysis and visualization tools for constraint programming : constraint debugging | |
FLOPS 2008 | |
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers | |
Logic programming, c1990: | |
PADL 2005 | |
PLILP'95 | |
Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings | |
Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings | |
Programming languages / Manuel Hermenegildo, S. Doaitse Swierstra (eds.). - Berlin, 1995. | |
Prolog: The Next 50 Years | |
SAS 2002 | |
Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17–20, 2002 : roceedings | |
Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings |