Spyros Hadjichristodoulou

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Clone Detection

Procedural Semantics

Probabilistic Logic

Logic Programming

Top Venues

J. Multiple Valued Log. Soft Comput.

ICLP (Technical Communications)

Publications

Spyros Hadjichristodoulou, David Scott Warren
Who Shaves the Barber, and with What Probability? J. Multiple Valued Log. Soft Comput. 22 (1-2) (2014)
Spyros Hadjichristodoulou, Donald E. Porter, David Scott Warren
Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB. CoRR (2013)
Spyros Hadjichristodoulou, David Scott Warren
Probabilistic Logic Programming with Well-Founded Negation. ISMVL (2012)
Spyros Hadjichristodoulou
A Gradual Polymorphic Type System with Subtyping for Prolog. ICLP (Technical Communications) (2012)