Travelled to:2 × USA
Collaborated with:∅
Talks about:program (1) analysi (1) invari (1) binari (1) relat (1) class (1) what (1) use (1)
Person: Adam Brooks Webber
DBLP: Webber:Adam_Brooks
Contributed to:
2001
1997Wrote 2 papers:
- PASTE-2001-Webber #invariant #question #what
- What is a class invariant? (ABW), pp. 86–89.
- PLDI-1997-Webber #program analysis #using
- Program Analysis Using Binary Relations (ABW), pp. 249–260.