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 × France
4 × USA
Collaborated with:
T.Wang R.Paige Z.Qian A.Coglio D.Zimmerman H.Barringer K.Havelund K.Sen
Talks about:
program (2) analysi (2) system (2) formal (2) verif (2) autom (2) sup (2) process (1) feasibl (1) stream (1)

Person: Allen Goldberg

DBLP DBLP: Goldberg:Allen

Contributed to:

VMCAI 20042004
OOPSLA 20002000
CADE 19941994
ISSTA 19941994
CADE 19921992
LFP 19841984

Wrote 6 papers:

VMCAI-2004-BarringerGHS #rule-based #runtime #verification
Rule-Based Runtime Verification (HB, AG, KH, KS), pp. 44–57.
OOPSLA-2000-QianGC #java #specification
A formal specification of JavaTM class loading (ZQ, AG, AC), pp. 325–336.
CADE-1994-WangG #automation #named #program analysis
KITP-93: An Automated Inference System for Program Analysis (TCW, AG), pp. 831–835.
ISSTA-1994-GoldbergWZ #analysis #testing
Applications of Feasible Path Analysis to Program Testing (AG, TCW, DZ), pp. 80–94.
CADE-1992-WangG #automation #named #verification
RVF: An Automated Formal Verification System (TCW, AG), pp. 735–739.
Stream Processing (AG, RP), pp. 53–62.

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.