Collaborated with:
H.Li B.E.Chang X.Rival
Talks about:
disjunct (1) abstract (1) semant (1) direct (1) state (1) clump (1)
Person: Francois Berenger
DBLP: Berenger:Francois
Contributed to:
Wrote 1 papers:
- POPL-2017-LiBCR #semantics
- Semantic-directed clumping of disjunctive abstract states (HL, FB, BYEC, XR), pp. 32–45.