Reasoning about Idealized Algol using regular languages (2000)

by Dan R. Ghica , Guy Mccusker
Venue:In Proceedings of 27th International Colloquium on Automata, Languages and Programming ICALP 2000
Citations:31 - 11 self