BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
LFP-1984-GoldbergP
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.