Gallagher, John P.
概要
作品: | 2 作品在 3 項出版品 1 種語言 |
---|
書目資訊
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)
(書目-電子資源)
Logic-based program synthesis and transformation27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
(1998 :); Fioravanti, Fabio.; Gallagher, John P.; SpringerLink (Online service)
(書目-電子資源)
Functional and logic programming14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(1998 :); Gallagher, John P.; SpringerLink (Online service); Sulzmann, Martin.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Programming Techniques.
Computer software
Artificial Intelligence (incl. Robotics)
Software engineering.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer logic
Computer Science Logic and Foundations of Programming.
Functional programming (Computer science)
The Computing Profession.
Declarative programming.
Computer Science.
System Performance and Evaluation.
Computer science.
Computer programming.