"Online Cycle Detection and Difference Propagation: Applications to Pointer ..."

David J. Pearce, Paul H. J. Kelly, Chris Hankin (2004)

Details and statistics

DOI: 10.1023/B:SQJO.0000039791.93071.A2

access: closed

type: Journal Article

metadata version: 2023-08-28

a service of  Schloss Dagstuhl - Leibniz Center for Informatics