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 × Italy
1 × Spain
1 × The Netherlands
2 × USA
Collaborated with:
J.W.d.Bakker J.V.Tucker H.Hung S.S.Wainer J.C.Meyer E.Olderog
Talks about:
semant (4) abstract (2) concurr (2) semicomput (1) infinitari (1) dereferenc (1) intension (1) structur (1) referenc (1) function (1)

Person: Jeffery I. Zucker

DBLP DBLP: Zucker:Jeffery_I=

Contributed to:

LICS 19911991
ICALP 19901990
ICALP 19891989
STOC 19851985
ICALP 19831983
STOC 19821982

Wrote 6 papers:

LICS-1991-HungZ #logic #pointer #semantics
Semantics of Pointers, Referencing and Dereferencing with Intensional Logic (HKH, JIZ), pp. 127–136.
ICALP-1990-TuckerWZ #data type
Provable Computable Functions on Abstract Data Types (JVT, SSW, JIZ), pp. 660–673.
ICALP-1989-TuckerZ #source code
Horn Programs and Semicomputable Relations on Abstract Structures (JVT, JIZ), pp. 745–760.
STOC-1985-BakkerMOZ #concurrent #semantics
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency (JWdB, JJCM, ERO, JIZ), pp. 252–262.
ICALP-1983-BakkerZ #ada #process #semantics
Processes and a Fair Semantics for the Ada Rendez-Vous (JWdB, JIZ), pp. 52–66.
STOC-1982-DeBakkerZ #concurrent #semantics
Denotational Semantics of Concurrency (JWdB, JIZ), pp. 153–158.
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.