BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
5 × USA
Collaborated with:
I.Hawryszkiewycz R.C.Daley
Talks about:
structur (1) programm (1) communic (1) approach (1) virtual (1) process (1) languag (1) exchang (1) correct (1) concurr (1)

Person: Jack B. Dennis

DBLP DBLP: Dennis:Jack_B=

Contributed to:

PPoPP 20092009
Design and Implementation of Programming Languages 19761976
SIGMOD 19721972
SIGMOD 19701970
SOSP 19671968

Wrote 6 papers:

PPoPP-2009-Dennis #how #manycore #programmable
How to build programmable multi-core chips (JBD), pp. 283–284.
DIPL-1976-Dennis #concurrent #design
A language design for structured concurrency (JBD), pp. 231–242.
SIGFIDET-1972-HawryszkiewyczD #approach #correctness #database #proving
An Approach to Proving the Correctness of Data Base Operations (IH, JBD), pp. 323–348.
SIGFIDET-1970-Dennis #on the
On the Exchange of Information (JBD), pp. 41–67.
SOSP-1967-DaleyD68 #memory management #multi #process
Virtual Memory, Processes, and Sharing in MULTICS (RCD, JBD), pp. 306–312.
A position paper on computing and communications (JBD), pp. 370–377.

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.