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 × Cyprus
1 × United Kingdom
Collaborated with:
D.Distefano P.W.O'Hearn N.Rinetzky H.Yang
Talks about:
abstract (1) concurr (1) object (1) memori (1) detect (1) abduct (1) infer (1) leak (1) java (1)

Person: Ivana Filipovic

DBLP DBLP: Filipovic:Ivana

Contributed to:

FASE 20102010
ESOP 20092009

Wrote 2 papers:

FASE-2010-DistefanoF #detection #java #memory management
Memory Leaks Detection in Java by Bi-abductive Inference (DD, IF), pp. 278–292.
ESOP-2009-FilipovicORY #abstraction #concurrent
Abstraction for Concurrent Objects (IF, PWO, NR, HY), pp. 252–266.

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.