io-port.net

io-port 06049399 Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian

On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation. (English)

Theor. Comput. Sci. 435, 21-42 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05967712 Agha, Gul (ed.); Danvy, Olivier (ed.); Meseguer, José (ed.)

Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday. (English)

Lecture Notes in Computer Science 7000. Berlin: Springer (ISBN 978-3-642-24932-7/pbk). xx, 447~p. EUR~66.34 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05900382 Danvy, Olivier; Zerny, Ian

Three syntactic theories for combinatory graph reduction. (English)

Alpuente, María (ed.), Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23‒25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20550-7/pbk). Lecture Notes in Computer Science 6564, 1-20 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70313584 Danvy, Olivier; Johannsen, Jacob; Zerny, Ian

A walk in the semantic park (English)

PEPM, 1-12 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70443309 Danvy, Olivier

Pragmatics for formal semantics (English)

GPCE, 93-94 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 20000005 Danvy, Olivier (ed.); Shan, Chung-Chieh (ed.)

Proceedings IFIP working conference on domain-specific languages (English)

EPTCS: DSL 66 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 20005489 Chakravarty, Manuel M. T. (ed.); Hu, Zhenjiang (ed.); Danvy, Olivier (ed.)

Proceeding of the 16th ACM SIGPLAN international conference on functional programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011 (English)

ICFP (2011).

7

PDF XML AMS-TeX TEXT BIBTeX

io-port 05731992 Danvy, Olivier; Johannsen, Jacob

Inter-deriving semantic artifacts for object-oriented programming. (English)

J. Comput. Syst. Sci. 76, No. 5, 302-323 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05703522 Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian

Defunctionalized interpreters for call-by-need evaluation. (English)

Blume, Matthias (ed.) et al., Functional and logic programming. 10th international symposium, FLOPS 2010, Sendai, Japan, April 19‒21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12250-7/pbk). Lecture Notes in Computer Science 6009, 240-256 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70623182 Danvy, Olivier; Millikin, Kevin; Munk, Johan; Zerny, Ian

Defunctionalized interpreters for call-by-need evaluation (English)

FLOPS, 240-256 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70860370 Danvy, Olivier; Zerny, Ian

Three syntactic theories for combinatory graph reduction (English)

LOPSTR, 1-20 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05641839 Danvy, Olivier

From reduction-based to reduction-free normalization. (English)

Koopman, Pieter (ed.) et al., Advanced functional programming. 6th international school, AFP 2008, Heijen, The Netherlands, May 2008. Revised lectures. Berlin: Springer (ISBN 978-3-642-04651-3/pbk). Lecture Notes in Computer Science 5832, 66-164 (2009).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05619458 Biernacka, Małgorzata; Danvy, Olivier

Towards compatible and interderivable semantic specifications for the Scheme programming language. II: Reduction semantics and abstract machines. (English)

Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 186-206 (2009).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05619457 Danvy, Olivier

Towards compatible and interderivable semantic specifications for the Scheme programming language. I: Denotational semantics, natural semantics, and abstract machines. (English)

Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 162-185 (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05586769 Danvy, Olivier; Millikin, Kevin

Refunctionalization at work. (English)

Sci. Comput. Program. 74, No. 8, 534-549 (2009).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05574254 Danvy, Olivier; Shan, Chung-chieh; Zerny, Ian

J is for JavaScript: A direct-style correspondence between Algol-like languages and JavaScript using first-class continuations. (English)

Taha, Walid Mohamed (ed.), Domain-specific languages. IFIP TC 2 working conference, DSL 2009, Oxford, UK, July 15‒17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03033-8/pbk). Lecture Notes in Computer Science 5658, 1-19 (2009).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70701433 Biernacka, Malgorzata; Danvy, Olivier

Towards compatible and interderivable semantic specifications for the scheme programming language, part II: Reduction semantics and abstract machines (English)

Semantics and Algebraic Specification, 186-206 (2009).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70701894 Danvy, Olivier

Towards compatible and interderivable semantic specifications for the scheme programming language, part I: Denotational semantics, natural semantics, and abstract machines (English)

Semantics and Algebraic Specification, 162-185 (2009).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71011768 Danvy, Olivier; Shan, Chung-Chieh; Zerny, Ian

J is for javascript: A direct-style correspondence between algol-like languages and javascript using first-class continuations (English)

DSL, 1-19 (2009).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05694915 Danvy, Olivier; Millikin, Kevin

On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion. (English)

Inf. Process. Lett. 106, No. 3, 100-109 (2008).

20

PDF XML AMS-TeX TEXT BIBTeX DOI