BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × France
1 × Germany
1 × Italy
1 × Japan
2 × Spain
Collaborated with:
A.King E.Robbins L.Lu A.Simon
Talks about:
function (2) program (2) boolean (2) analysi (2) theori (2) domain (2) use (2) specialis (1) polyhedra (1) multihead (1)

Person: Jacob M. Howe

DBLP DBLP: Howe:Jacob_M=

Contributed to:

PPDP 20132013
SAS 20122012
FLOPS 20102010
PDCL 20042004
LOPSTR 20022002
ICLP 20012001
ESOP 20002000
LOPSTR 19991999
PPDP 20172017

Wrote 9 papers:

PPDP-2013-RobbinsHK
Theory propagation and rational-trees (ER, JMH, AK), pp. 193–204.
SAS-2012-HoweK #analysis #parametricity #using
Polyhedral Analysis Using Parametric Objectives (JMH, AK), pp. 41–57.
FLOPS-2010-HoweK #prolog #satisfiability
A Pearl on SAT Solving in Prolog (JMH, AK), pp. 165–174.
PDCL-2004-HoweKL #logic programming #reasoning #source code
Analysing Logic Programs by Reasoning Backwards (JMH, AK, LL), pp. 152–188.
LOPSTR-2002-SimonKH #abstract domain #difference #linear
Two Variables per Linear Inequality as an Abstract Domain (AS, AK, JMH), pp. 71–89.
ICLP-2001-HoweK #multi
Positive Boolean Functions as Multiheaded Clauses (JMH, AK), pp. 120–134.
ESOP-2000-HoweK #analysis #implementation
Implementing Groundness Analysis with Definite Boolean Functions (JMH, AK), pp. 200–214.
LOPSTR-1999-HoweK #source code #using
Specialising Fininte Domain Programs Using Polyhedra (JMH, AK), pp. 118–135.
PPDP-2017-HoweRK #learning #symmetry
Theory learning with symmetry breaking (JMH, ER, AK), pp. 85–96.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.