[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Streaming transducers for algorithmic verification of single-pass list-processing programs
Alur, Rajeev, Černý, PavolYear:
2011
Language:
english
DOI:
10.1145/1926385.1926454
File:
PDF, 435 KB
english, 2011