Giacobazzi, Roberto.
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 analysis31st International Symposium, SAS 2024, Pasadena, CA, USA October 20-22, 2024 : proceedings /
by:
(1998 :); Giacobazzi, Roberto.; Gorla, Alessandra.; SpringerLink (Online service)
(Electronic resources)
Static analysis11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
(1998 :); Giacobazzi, Roberto.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Computer programming
Programming languages (Electronic computers)
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Declarative programming.
Formal Languages and Automata Theory.
Computer science.
Natural Language Processing (NLP).
Compilers and Interpreters.