File(s) not publicly available
Reasoning about Idealized Algol Using Regular Languages.
presentation
posted on 2023-06-08, 00:46 authored by Dan R Ghica, Guy McCuskerNo description supplied
History
Publication status
- Published
Publisher
Twenty-Seveth International Colloquium on Automata Languages and Programming (ICALP 2000). Springer-Verlag Lecture Notes in Computer Science.Volume
1853Page range
103-115Presentation Type
- paper
Event location
Twenty-Seveth International Colloquium on Automata Languages and Programming (ICALP 2000). Springer-Verlag Lecture Notes in Computer Science.Event type
conferenceDepartment affiliated with
- Informatics Publications
Notes
"Winner of ""Best Paper"" award for ICALP 2000."Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC