An Automata-Theoretic Model of Idealized Algol

Uday Reddy; Brian P Dunphy

doi:10.1007/978-3-642-31585-5_32

An Automata-Theoretic Model of Idealized Algol

Uday Reddy
, Brian P Dunphy

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Original language	English
Title of host publication	Automata, Languages, and Programming
Subtitle of host publication	39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Editors	A Czumaj, K Mehlhorn, A Pitts, R Wattenhofer
Publisher	Springer
Pages	337-350
ISBN (Electronic)	978-3-642-31585-5
ISBN (Print)	978-3-642-31584-8
DOIs	https://doi.org/10.1007/978-3-642-31585-5_32
Publication status	Published - 2012

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7392
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-31585-5_32

1 Citations
3 Paper

Automata-Theoretic Semantics of Idealized Algol with Passive Expressions
Reddy, U., 4 Nov 2013, p. 325-348. 24 p.
Research output: Contribution to conference (unpublished) › Paper › peer-review
An Automata-Theoretic Model of Objects
Reddy, U. & Dunphy, B., 23 Oct 2011. 15 p.
Research output: Contribution to conference (unpublished) › Paper

Open Access
File
Parametric limits
Dunphy, B. & Reddy, U., 1 Jan 2004, p. 242-253. 12 p.
Research output: Contribution to conference (unpublished) › Paper › peer-review

Open Access
File
16 Citations (Scopus)

431 Downloads (Pure)

Cite this

Reddy, U., & Dunphy, B. P. (2012). An Automata-Theoretic Model of Idealized Algol. In A. Czumaj, K. Mehlhorn, A. Pitts, & R. Wattenhofer (Eds.), Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II (pp. 337-350). (Lecture Notes in Computer Science; Vol. 7392). Springer. https://doi.org/10.1007/978-3-642-31585-5_32

@inproceedings{6d8e97d73d2947059c47de42603f8041,

title = "An Automata-Theoretic Model of Idealized Algol",

author = "Uday Reddy and Dunphy, \{Brian P\}",

year = "2012",

doi = "10.1007/978-3-642-31585-5\_32",

language = "English",

isbn = "978-3-642-31584-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "337--350",

editor = "A Czumaj and K Mehlhorn and Pitts, \{A \} and R Wattenhofer",

booktitle = "Automata, Languages, and Programming",

}

Reddy, U & Dunphy, BP 2012, An Automata-Theoretic Model of Idealized Algol. in A Czumaj, K Mehlhorn, A Pitts & R Wattenhofer (eds), Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. Lecture Notes in Computer Science, vol. 7392, Springer, pp. 337-350. https://doi.org/10.1007/978-3-642-31585-5_32

An Automata-Theoretic Model of Idealized Algol. / Reddy, Uday; Dunphy, Brian P.
Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. ed. / A Czumaj; K Mehlhorn; A Pitts; R Wattenhofer. Springer, 2012. p. 337-350 (Lecture Notes in Computer Science; Vol. 7392).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - An Automata-Theoretic Model of Idealized Algol

AU - Reddy, Uday

AU - Dunphy, Brian P

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-31585-5_32

DO - 10.1007/978-3-642-31585-5_32

M3 - Conference contribution

SN - 978-3-642-31584-8

T3 - Lecture Notes in Computer Science

SP - 337

EP - 350

BT - Automata, Languages, and Programming

A2 - Czumaj, A

A2 - Mehlhorn, K

A2 - Pitts, A

A2 - Wattenhofer, R

PB - Springer

ER -

An Automata-Theoretic Model of Idealized Algol

Publication series

Access to Document

Research output

Automata-Theoretic Semantics of Idealized Algol with Passive Expressions

An Automata-Theoretic Model of Objects

Parametric limits

Cite this