Ghica, Dan R and McCusker, Guy (2000) Reasoning about Idealized Algol Using Regular Languages. In: Unset, Twenty-Seveth International Colloquium on Automata Languages and Programming (ICALP 2000). Springer-Verlag Lecture Notes in Computer Science..

Full text not available from this repository.

Item Type:	Conference or Workshop Item (Paper)
Additional Information:	"Winner of ""Best Paper"" award for ICALP 2000."
Schools and Departments:	School of Engineering and Informatics > Informatics
Depositing User:	EPrints Services
Date Deposited:	06 Feb 2012 19:58
Last Modified:	13 Apr 2012 11:40
URI:	http://sro.sussex.ac.uk/id/eprint/23298

📧 Request an update