![](/img/cover-not-exists.png)
Extracting a data flow analyser in constructive logic
David Cachera, Thomas Jensen, David Pichardie, Vlad RusuVolume:
342
Year:
2005
Language:
english
Pages:
23
DOI:
10.1016/j.tcs.2005.06.004
File:
PDF, 287 KB
english, 2005