Gallagher, John P.
Overview
Works: | 2 works in 3 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)
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)
(Electronic resources)
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.
(Electronic resources)
Subjects
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.