A swiss pocket knife for computability

Neil Jones

doi:10.4204/EPTCS.129.1

A swiss pocket knife for computability

Neil Jones

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

2 Citationer (Scopus)

129 Downloads (Pure)

Originalsprog	Engelsk
Titel	Semantics, Abstract Interpretation, and Reasoning about Programs : essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013
Redaktører	Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff
Antal sider	17
Publikationsdato	2013
Sider	1-17
DOI	https://doi.org/10.4204/EPTCS.129.1
Status	Udgivet - 2013

Navn	Electronic Proceedings in Theoretical Computer Science
Vol/bind	129
ISSN	2075-2180

Emneord

Computer Science - Programming Languages, Computer Science - Computational Complexity

Adgang til dokumentet

10.4204/EPTCS.129.1Licens: Ikke-specificeret

A Swiss Pocket Knife for ComputabilityForlagets udgivne version, 137 KB

Citationsformater

Jones, N. (2013). A swiss pocket knife for computability. I A. Banerjee, O. Danvy, K-G. Doh, & J. Hatcliff (red.), Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013 (s. 1-17). Electronic Proceedings in Theoretical Computer Science Bind 129 https://doi.org/10.4204/EPTCS.129.1

A swiss pocket knife for computability. / Jones, Neil.

Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. red. / Anindya Banerjee; Olivier Danvy; Kyung-Goo Doh; John Hatcliff. 2013. s. 1-17 (Electronic Proceedings in Theoretical Computer Science, Bind 129).

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Jones, N 2013, A swiss pocket knife for computability. i A Banerjee, O Danvy, K-G Doh & J Hatcliff (red), Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Electronic Proceedings in Theoretical Computer Science, bind 129, s. 1-17. https://doi.org/10.4204/EPTCS.129.1

Jones N. A swiss pocket knife for computability. I Banerjee A, Danvy O, Doh K-G, Hatcliff J, red., Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. 2013. s. 1-17. (Electronic Proceedings in Theoretical Computer Science, Bind 129). https://doi.org/10.4204/EPTCS.129.1

Jones, Neil. / A swiss pocket knife for computability. Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. red. / Anindya Banerjee ; Olivier Danvy ; Kyung-Goo Doh ; John Hatcliff. 2013. s. 1-17 (Electronic Proceedings in Theoretical Computer Science, Bind 129).

@inbook{59b0fa34056e4b21a421b701edb9b5e8,

title = "A swiss pocket knife for computability",

keywords = "Computer Science - Programming Languages, Computer Science - Computational Complexity",

author = "Neil Jones",

year = "2013",

doi = "10.4204/EPTCS.129.1",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "1--17",

editor = "Anindya Banerjee and Olivier Danvy and Kyung-Goo Doh and John Hatcliff",

booktitle = "Semantics, Abstract Interpretation, and Reasoning about Programs",

}

TY - CHAP

T1 - A swiss pocket knife for computability

AU - Jones, Neil

PY - 2013

Y1 - 2013

KW - Computer Science - Programming Languages, Computer Science - Computational Complexity

U2 - 10.4204/EPTCS.129.1

DO - 10.4204/EPTCS.129.1

M3 - Book chapter

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 1

EP - 17

BT - Semantics, Abstract Interpretation, and Reasoning about Programs

A2 - Banerjee, Anindya

A2 - Danvy, Olivier

A2 - Doh, Kyung-Goo

A2 - Hatcliff, John

ER -