Alpuente, Maria.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers /
by:
Alpuente, Maria.; SpringerLink (Online service)
(Electronic resources)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
Alpuente, Maria.; SpringerLink (Online service); International Static Analysis Symposium (2008 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Programming Techniques.
Logic programming
Artificial Intelligence (incl. Robotics)
Computer programming
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Algorithms.
Computer Science.