Travelled to:
1 × USA
Collaborated with:
T.Amtoft A.Banerjee
Talks about:
program (1) orient (1) object (1) inform (1) logic (1) flow (1)
Person: Sruthi Bandhakavi
DBLP: Bandhakavi:Sruthi
Contributed to:
Wrote 1 papers:
- POPL-2006-AmtoftBB #data flow #logic #object-oriented #source code
- A logic for information flow in object-oriented programs (TA, SB, AB), pp. 91–102.