J
John P. Gallagher
Researcher at IMDEA
Publications - 147
Citations - 2658
John P. Gallagher is an academic researcher from IMDEA. The author has contributed to research in topics: Horn clause & Partial evaluation. The author has an hindex of 26, co-authored 147 publications receiving 2563 citations. Previous affiliations of John P. Gallagher include Roskilde University & Weizmann Institute of Science.
Papers
More filters
Proceedings ArticleDOI
Tutorial on specialisation of logic programs
TL;DR: In this tutorial the specialisation of declarative logic programs is presented, and the outline of a basic algorithm for partial evaluation of a logic program with respect to a goal is given.
Journal ArticleDOI
Breakfast cereal and caffeinated coffee: Effects on working memory, attention, mood and cardiovascular function.
TL;DR: Ingestion of caffeine had no effect on initial mood or working memory, but it did improve encoding of new information and counteracted the fatigue that developed over the test session, confirming previous findings on the effects of breakfast and caffeine.
Proceedings Article
Fast and precise regular approximations of logic programs
John P. Gallagher,DA De Waal +1 more
TL;DR: A practical procedure for computing a regular approximation of a logic program that incorporates optimisations taken from deductive database fixpoint algorithms and efficient bottom-up abstract interpretation techniques is given.
Journal ArticleDOI
Effects of a low dose of caffeine given in different drinks on mood and performance
TL;DR: In this article, the effects of 40 mg of caffeine given in different drinks (coffee, water, tea, cola) on mood and performance were examined, and the results showed that those given caffeine reported greater alertness and anxiety at the end of the test session, as well as improved performance on choice reaction time tasks involving focused attention and categoric search, a semantic memory task and a delayed recognition memory task.
Book ChapterDOI
Analysis of Imperative Programs through Analysis of Constraint Logic Programs
TL;DR: An effective style of writing operational semantics suitable for analysis which is called one-state small-step semantics is proposed, which is able to generate residual programs where the relationship between imperative statements and predicates is straightforward.