Reasoning about Idealized Algol Using Regular Languages.

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