The following publications are possibly variants of this publication:
- Extracting a data flow analyser in constructive logicDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu. TCS, 342(1):56-78, 2005. [doi]
- Extracting a Data Flow Analyser in Constructive LogicDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu. ESOP 2004: 385-400 [doi]
- Certified Static Analysis by Abstract InterpretationFrédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie. fosad 2009: 223-257 [doi]