BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Estonia
1 × Japan
1 × Spain
2 × Italy
6 × USA
Collaborated with:
H.Millroth P.Dell'Acqua S.Costantini G.A.Lanzarone J.Bevemyr K.Boberg N.Hagner M.Wafin
Talks about:
program (6) reflect (3) prolog (3) logic (3) properti (2) resolut (2) semant (2) garbag (2) sld (2) multiprocessor (1)

Person: Jonas Barklund

DBLP DBLP: Barklund:Jonas

Contributed to:

ICLP 19951995
ILPS 19951995
ICLP 19941994
ILPS 19941994
LOPSTR/META 19941994
PLILP 19941994
PLILP 19931993
ICLP/SPL 19881988
ICLP 19871987
PLDI 19871987
SLP 19871987
SLP 19861986

Wrote 12 papers:

ICLP-1995-BarklundDCL #semantics
Semantical Properties of SLD-Resolution with Reflection (JB, PD, SC, GAL), p. 830.
ILPS-1995-BarklundDCL #encoding #logic programming #semantics
Semantical Properties of Encodings in Logic Programming (JB, PD, SC, GAL), pp. 288–302.
ICLP-1994-BarklundDCL #constraints
Reflection through Constraint Satisfaction (JB, PD, SC, GAL), p. 742.
ILPS-1994-BarklundDCL #named
SLD — Resolution with Reflection (JB, PD, SC, GAL), pp. 554–568.
LOPSTR-1994-BarklundBD #logic programming #multi #programming language
A Basis for a Multi-Level Meta-Logic Programming Language (JB, KB, PD), pp. 262–275.
PLILP-1994-Barklund #source code
Tabulation of Functions in Definite Clause Programs (JB), pp. 465–466.
PLILP-1993-BarklundB #bound #memory management #multi
Executing Bounded Quantifications on Shared Memory Multiprocessors (JB, JB), pp. 302–317.
JICSCP-1988-BarklundHW88 #graph
Condition Graphs (JB, NH, MW), pp. 435–446.
ICLP-1987-BarklundM87 #logic programming
Hash Tables in Logic Programming (JB, HM), pp. 411–427.
PLDI-1987-Barklund #performance #prolog #source code
Efficient interpretation of Prolog programs (JB), pp. 132–137.
SLP-1987-BarklundM87 #data type #prolog
Integrating Complex Data Structures in Prolog (JB, HM), pp. 415–425.
SLP-1986-BarklundM86 #garbage collection #prolog #source code
Garbage Cut for Garbage Collection of Iterative Prolog Programs (JB, HM), pp. 276–283.

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.