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: Barklund:Jonas
Contributed to:
1995199519941994
1994
1994199319881987
198719871986Wrote 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.