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 × Austria
1 × Spain
Collaborated with:
K.Tai J.Xu Y.Lei D.C.Kung
Talks about:
lightweight (1) metholog (1) instanti (1) approach (1) unbound (1) program (1) concurr (1) thread (1) static (1) specif (1)

Person: Richard H. Carver

DBLP DBLP: Carver:Richard_H=

Contributed to:

ICST 20152015
ESEC 19951995

Wrote 2 papers:

ICST-2015-XuLCK #approach #bound #detection #lightweight #thread
A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.
ESEC-1995-TaiC #concurrent #source code #testing
A Specification-Based Methology for Testing Concurrent Programs (KCT, RHC), pp. 154–172.

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.