The regular-language semantics of second-order idealized ALGOL

Dan Ghica, G McCusker

Research output: Contribution to journal › Article

46 Citations (Scopus)

Original language	English
Pages (from-to)	469-502
Number of pages	34
Journal	Theoretical Computer Science
Volume	309
Issue number	1-3
DOIs	https://doi.org/10.1016/S0304-3975(03)00315-3
Publication status	Published - 2 Dec 2003

Access to Document

@article{cac14836978f488791a6040adedac708,

title = "The regular-language semantics of second-order idealized ALGOL",

author = "Dan Ghica and G McCusker",

year = "2003",

month = dec,

day = "2",

doi = "10.1016/S0304-3975(03)00315-3",

language = "English",

volume = "309",

pages = "469--502",

journal = "Theoretical Computer Science",

publisher = "Elsevier",

number = "1-3",

}

TY - JOUR

T1 - The regular-language semantics of second-order idealized ALGOL

AU - Ghica, Dan

AU - McCusker, G

PY - 2003/12/2

Y1 - 2003/12/2

UR - http://www.scopus.com/inward/record.url?scp=0242523914&partnerID=8YFLogxK

U2 - 10.1016/S0304-3975(03)00315-3

DO - 10.1016/S0304-3975(03)00315-3

M3 - Article

VL - 309

SP - 469

EP - 502

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-3

ER -