From Outermost Reduction Semantics to Abstract Machine

Olivier Danvy; Jacob Johannsen

doi:10.1007/978-3-319-14125-1

From Outermost Reduction Semantics to Abstract Machine

Department of Computer Science

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013 : Revised Selected Papers
Editors	Gopal Gupta , Ricardo Ricardo Peña
Number of pages	8
Publisher	Springer VS
Publication date	2014
Pages	91-98
ISBN (Print)	978-3-319-14124-4
ISBN (Electronic)	978-3-319-14125-1
DOIs	https://doi.org/10.1007/978-3-319-14125-1
Publication status	Published - 2014
Event	International Symposium on Logic-Based Program Synthesis and Transformation - Madrid, Spain Duration: 18 Sept 2013 → 19 Sept 2013 Conference number: 23

Conference

Conference	International Symposium on Logic-Based Program Synthesis and Transformation
Number	23
Country/Territory	Spain
City	Madrid
Period	18/09/2013 → 19/09/2013

Series	Lecture Notes in Computer Science
Volume	8901
ISSN	0302-9743

Access to Document

10.1007/978-3-319-14125-1

Library access?

Check availability with the Royal Danish Library

Cite this

@inproceedings{2dec88b75558401c864c150422d3c340,

title = "From Outermost Reduction Semantics to Abstract Machine",

author = "Olivier Danvy and Jacob Johannsen",

year = "2014",

doi = "10.1007/978-3-319-14125-1",

language = "English",

isbn = "978-3-319-14124-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer VS",

pages = "91--98",

editor = "\{ Gupta \}, \{Gopal \} and \{Ricardo Pe{\~n}a\}, \{Ricardo \}",

booktitle = "23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013",

note = "International Symposium on Logic-Based Program Synthesis and Transformation ; Conference date: 18-09-2013 Through 19-09-2013",

}

Danvy, O & Johannsen, J 2014, From Outermost Reduction Semantics to Abstract Machine. in G Gupta & R Ricardo Peña (eds), 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013: Revised Selected Papers. Springer VS, Lecture Notes in Computer Science, vol. 8901, pp. 91-98, International Symposium on Logic-Based Program Synthesis and Transformation, Madrid, Spain, 18/09/2013. https://doi.org/10.1007/978-3-319-14125-1

From Outermost Reduction Semantics to Abstract Machine. / Danvy, Olivier ; Johannsen, Jacob.
23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013: Revised Selected Papers. ed. / Gopal Gupta ; Ricardo Ricardo Peña. Springer VS, 2014. p. 91-98 (Lecture Notes in Computer Science, Vol. 8901).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - From Outermost Reduction Semantics to Abstract Machine

AU - Danvy, Olivier

AU - Johannsen, Jacob

N1 - Conference code: 23

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-14125-1

DO - 10.1007/978-3-319-14125-1

M3 - Article in proceedings

SN - 978-3-319-14124-4

T3 - Lecture Notes in Computer Science

SP - 91

EP - 98

BT - 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013

A2 - Gupta , Gopal

A2 - Ricardo Peña, Ricardo

PB - Springer VS

T2 - International Symposium on Logic-Based Program Synthesis and Transformation

Y2 - 18 September 2013 through 19 September 2013

ER -