Giacobazzi, Roberto.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
Giacobazzi, Roberto.; SpringerLink (Online service); International Static Analysis Symposium (2004 :)
(書目-語言資料,印刷品)
Static analysis = 31st International Symposium, SAS 2024, Pasadena, CA, USA October 20-22, 2024 : proceedings /
by:
Giacobazzi, Roberto.; SpringerLink (Online service); Gorla, Alessandra.; International Static Analysis Symposium (2024 :)
(書目-電子資源)
Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
International Static Analysis Symposium (2004 :); Giacobazzi, Roberto.; NetLibrary, Inc.
(書目-電子資源)
Analysis, verification and transformation for declarative programming and intelligent systems = essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday /
by:
Lopez-Garcia, Pedro.; Gallagher, John P.; Giacobazzi, Roberto.; Hermenegildo, Manuel.; SpringerLink (Online service)
(書目-電子資源)
主題
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.