Travelled to:1 × Australia
1 × Sweden
1 × USA
1 × United Kingdom
Collaborated with:∅ V.A.Saraswat K.M.Kahn M.S.Miller D.G.Bobrow E.D.Tribble
Talks about:constraint (1) distribut (1) algorithm (1) instruct (1) abstract (1) program (1) languag (1) concurr (1) toward (1) secret (1)
Person: Jacob Levy
DBLP: Levy:Jacob
Contributed to:
1990198719861984Wrote 5 papers:
- NACLP-1990-SaraswatKL #constraints #distributed #named #programming #towards
- Janus: A step towards distributed constraint programming (VAS, KMK, JL), pp. 431–446.
- ICLP-1987-MillerBTL87 #logic
- Logical Secrets (MSM, DGB, EDT, JL), pp. 704–728.
- ICLP-1986-Levy86 #automaton #haskell #set
- A GHC Abstract Machine and Instruction Set (JL), pp. 157–171.
- ICLP-1986-Levy86a #execution #memory management
- Shared Memory Execution of Committed-choice Languages (JL), pp. 298–312.
- ILPC-1984-Levy84 #algorithm #concurrent #prolog #unification
- A Unification Algorithm for Concurrent Prolog (JL), pp. 333–341.