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 × Italy
7 × USA
Collaborated with:
B.A.Gennart D.S.Rosenblum R.A.Karp S.J.Garland J.Vera L.Perrochon D.Katiyar J.C.Mitchell L.M.Augustin Y.Huh A.G.Stanculescu D.P.Helmbold S.Meldal D.L.Bryan M.A.Haberler
Talks about:
system (3) event (3) languag (2) verif (2) task (2) use (2) architectur (1) supervisor (1) implement (1) distribut (1)

Person: David C. Luckham

DBLP DBLP: Luckham:David_C=

Contributed to:

WICSA 19991999
POPL 19941994
DAC 19921992
ISSTA 19891989
DAC 19881988
Software Development and Ada 19861986
ICSE 19761976
STOC 19721972

Wrote 8 papers:

WICSA-1999-VeraPL #architecture #execution
Event-Based Execution Architectures for Dynamic Software Systems (JV, LP, DCL), pp. 303–318.
POPL-1994-KatiyarLM #prototype #type system
A Type System for Prototyping Languages (DK, DCL, JCM), pp. 138–150.
DAC-1992-GennartL #simulation #using #validation
Validating Discrete Event Simulations Using Event Pattern Mappings (BAG, DCL), pp. 414–419.
TAV-1989-RosenblumL #correctness #specification #testing
Testing the Correctness of Tasking Supervisors with TSL Specifications (DSR, DCL), pp. 187–196.
DAC-1988-AugustinGHLS #design #using #verification
Verification of VHDL Designs Using VAL (LMA, BAG, YH, DCL, AGS), pp. 48–53.
CRAI-1986-LuckhamHMBH #ada #distributed #specification
Task Sequencing Languages for Specifying Distributed Ada Systems (DCL, DPH, SM, DLB, MAH), pp. 249–305.
ICSE-1976-KarpL #implementation #monitoring #verification
Verification of Fairness in an Implementation of Monitors (RAK, DCL), pp. 40–46.
STOC-1972-GarlandL #equivalence #on the
On the Equivalence of Schemes (SJG, DCL), pp. 65–72.

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.