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 × Canada
1 × United Kingdom
6 × USA
Collaborated with:
C.Hewitt S.K.Sarin A.R.Meyer R.Seliger W.E.Weihl P.Bishop B.C.Smith T.Matson R.Steiger
Talks about:
program (2) semant (2) actor (2) data (2) necessari (1) hypertext (1) distribut (1) synchron (1) research (1) internet (1)

Person: Irene Greif

DBLP DBLP: Greif:Irene

Facilitated 2 volumes:

CSCW 1988Ed
CSCW 1986Ed

Contributed to:

HT 20102010
CSCW 20002000
CSCW 19861986
POPL 19861986
POPL 19791979
ICALP 19761976
POPL 19751975
POPL 19731973

Wrote 8 papers:

HT-2010-Greif #hypermedia #social
The social life of hypertext (IG), p. 317.
CSCW-2000-Greif #internet #question #research
Research at internet speed: is it necessary? (IG), p. 363.
Data sharing in group work (IG, SKS), pp. 175–183.
POPL-1986-GreifSW #abstraction #collaboration #distributed #editing
Atomic Data Abstractions in a Distributed Collaborative Editing System (IG, RS, WEW), pp. 160–172.
POPL-1979-GreifM #programming language #semantics #specification
Specifying Programming Language Semantics (IG, ARM), pp. 180–189.
ICALP-1976-Greif #on the #proving #source code
On Proofs of Programs for Synchronization (IG), pp. 494–507.
POPL-1975-GreifH #semantics
Actor Semantics of Planner-73 (IG, CH), pp. 67–77.
POPL-1973-HewittBGSMS #induction
Actor Induction and Meta-Evaluation (CH, PB, IG, BCS, TM, RS), pp. 153–168.

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.