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 × 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 DBLP: Levy:Jacob

Contributed to:

NACLP 19901990
ICLP 19871987
ICLP 19861986
ILPC 19841984

Wrote 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.

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.