10 citations · 18 across the 8 of their papers we have counts for
7 papers · 1 filter
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
David S. Warren, Peter Van Roy, Yanhong A. Liu
This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, virtua…
LPOP: Challenges and Advances in Logic and Practice of Programming
David S. Warren, Yanhong A. Liu
This article describes the work presented at the first Logic and Practice of Programming (LPOP) Workshop, which was held in Oxford, UK, on July 18, 2018, in conjunction with the Fe…
AppLP: A Dialogue on Applications of Logic Programming
David S. Warren, Yanhong A. Liu
This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Confere…
Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB
Spyros Hadjichristodoulou, Donald E. Porter, David S. Warren
In this paper we investigate XSB-Prolog as a static analysis engine for data represented by medium-sized graphs. We use XSB-Prolog to automatically identify function dependencies i…
Interning Ground Terms in XSB
David S. Warren
This paper presents an implementation of interning of ground terms in the XSB Tabled Prolog system. This is related to the idea of hash-consing. I describe the concept of interning…
TCHR: a framework for tabled CLP
Tom Schrijvers, Bart Demoen, David S. Warren
Tabled Constraint Logic Programming is a powerful execution mechanism for dealing with Constraint Logic Programming without worrying about fixpoint computation. Various application…