Hermenegildo, Manuel.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
Analysis, verification and transformation for declarative programming and intelligent systemsessays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday /
by:
Gallagher, John P.; Giacobazzi, Roberto.; Hermenegildo, Manuel.; Lopez-Garcia, Pedro.; SpringerLink (Online service)
(Electronic resources)
Static analysis30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings /
by:
(1998 :); Hermenegildo, Manuel.; Morales, Jose F.; SpringerLink (Online service)
(Electronic resources)
Static analysis9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings /
by:
(1998 :); Hermenegildo, Manuel.; Puebla, German.; SpringerLink (Online service)
(Electronic resources)
Verification, model checking, and abstract interpretation11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
by:
(1998 :); Barthe, Gilles.; Hermenegildo, Manuel.; SpringerLink (Online service)
(Electronic resources)
Practical Aspects of Declarative Languages7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings /
by:
(1998 :); Cabeza, Daniel.; Hermenegildo, Manuel.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computer programming
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Computer programs
Declarative programming.
Formal Languages and Automata Theory.
Computer Science.
Computer science.
Compilers and Interpreters.