語系
Hermenegildo, Manuel.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verification, model checking, and abstract interpretation = 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
by:
Barthe, Gilles.; Hermenegildo, Manuel.; SpringerLink (Online service); VMCAI 2010 ((2010 :)
(書目-語言資料,印刷品)
Static analysis = 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings /
by:
Hermenegildo, Manuel.; Puebla, German.; SpringerLink (Online service); International Static Analysis Symposium (2002 :)
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings /
by:
Cabeza, Daniel.; Hermenegildo, Manuel.; SpringerLink (Online service); PADL 2005 ((2005 :)
(書目-語言資料,印刷品)
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.; Hermenegildo, Manuel.; SpringerLink (Online service); Giacobazzi, Roberto.; Gallagher, John P.
(書目-電子資源)
Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings /
by:
International Static Analysis Symposium (2023 :); Hermenegildo, Manuel.; Morales, Jose F.; SpringerLink (Online service)
(書目-電子資源)
主題
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, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers)
Computer Science Logic and Foundations of Programming.
Programming languages (Electronic computers)- Semantics
Computer Engineering and Networks.
Declarative programming.
Formal Languages and Automata Theory.
Computer Science.
Computer science.
Computer programs- Verification
Compilers and Interpreters.