Languages
Gallagher, John P.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
SpringerLink (Online service); Gallagher, John P.; Workshop on the Preservation of Stability under Discretization ((2001 :); Fioravanti, Fabio.
(Language materials, printed)
Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings /
by:
Gallagher, John P.; SpringerLink (Online service); Sulzmann, Martin.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
Sulzmann, Martin.; SpringerLink (Online service); Gallagher, John P.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /
by:
SpringerLink (Online service); Gallagher, John P.; Fioravanti, Fabio.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Computer logic.
Artificial intelligence.
Software engineering.
System Performance and Evaluation.
The Computing Profession.
Computers.
Programming languages (Electronic computers)
Computer programming.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software
Special purpose computers.
Computer logic
Artificial Intelligence (incl. Robotics)
Functional programming (Computer science)
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Computer system failures.