Streaming transducers for algorithmic verification of single-pass list-processing programs
Alur, Rajeev, Černý, PavolVolume:
46
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/1925844.1926454
Date:
January, 2011
File:
PDF, 435 KB
english, 2011