Document Search Results

Automating the functional correspondence between higher-order evaluators and abstract machines. (English) Zbl 1521.68033

De Angelis, Emanuele (ed.) et al., Logic-based program synthesis and transformation. 31st international symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13290, 38-59 (2022).

MSC: 68N30 68N20

Cite Review PDF

Full Text: DOI arXiv

Danvy, Olivier

Getting there and back again. (English) Zbl 1540.68058

Fundam. Inform. 185, No. 2, 115-183 (2022).

MSC: 68N30 68V20

Cite Review PDF

Full Text: DOI arXiv

Fujii, Maika; Asai, Kenichi

Derivation of a virtual machine for four variants of delimited-control operators. (English) Zbl 07700621

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 16, 19 p. (2021).

MSC: 68Qxx

Cite Review PDF

Full Text: DOI

Rendel, Tillmann; Trieflinger, Julia; Ostermann, Klaus

Automatic refunctionalization to a language with copattern matching: with applications to the expression problem. (English) Zbl 1360.68368

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 269-279 (2015).

MSC: 68N30

Cite Review PDF

Full Text: DOI

Brookes, Stephen; O’Hearn, Peter W.; Reddy, Uday

The essence of Reynolds. (English) Zbl 1342.01029

Formal Asp. Comput. 26, No. 3, 435-439 (2014).

MSC: 01A70 68-03

Cite Review PDF

Full Text: DOI

Schöpp, Ulrich

On the relation of interaction semantics to continuations and defunctionalization. (English) Zbl 1448.68210

Log. Methods Comput. Sci. 10, No. 4, Paper No. 10, 41 p. (2014).

MSC: 68N18 68Q55

Cite Review PDF

Full Text: DOI arXiv

Zerny, Ian

On graph rewriting, reduction, and evaluation in the presence of cycles. (English) Zbl 1425.68175

High.-Order Symb. Comput. 26, No. 1-4, 63-84 (2013).

MSC: 68Q42 68N30

Cite Review PDF

Full Text: DOI

Danvy, Olivier; Zerny, Ian

Three syntactic theories for combinatory graph reduction. (English) Zbl 1353.68040

ACM Trans. Comput. Log. 14, No. 4, Article No. 29, 27 p. (2013).

MSC: 68N18 03B40 05C90

Cite Review PDF

Full Text: DOI

Sergey, Ilya; Clarke, Dave

A correspondence between type checking via reduction and type checking via evaluation. (English) Zbl 1233.68157

Inf. Process. Lett. 112, No. 1-2, 13-20 (2012).

MSC: 68Q60 68N18 68Q55

Cite Review PDF

Full Text: DOI Link

Danvy, Olivier; Millikin, Kevin

Refunctionalization at work. (English) Zbl 1192.68115

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

MSC: 68N01

Cite Review PDF

Full Text: DOI

Schmidt, David A.

State-transition machines, revisited. (English) Zbl 1129.68411

High.-Order Symb. Comput. 20, No. 3, 333-335 (2007).

MSC: 68N18

Cite Review PDF

Full Text: DOI

Schmidt, David A.

State-transition machines for lambda-calculus expressions. (English) Zbl 1130.68040

High.-Order Symb. Comput. 20, No. 3, 319-332 (2007).

MSC: 68N18 68N20 68Q05

Cite Review PDF

Full Text: DOI

Danvy, Olivier; Millikin, Kevin; Nielsen, Lasse R.

On one-pass CPS transformations. (English) Zbl 1130.68037

J. Funct. Program. 17, No. 6, 793-812 (2007).

MSC: 68N18

Cite Review PDF

Full Text: DOI

Biernacka, Małgorzata; Danvy, Olivier

A syntactic correspondence between context-sensitive calculi and abstract machines. (English) Zbl 1111.68065

Theor. Comput. Sci. 375, No. 1-3, 76-108 (2007).

MSC: 68Q55 68N18 68Q45

Cite Review PDF

Full Text: DOI

Pottier, François; Gauthier, Nadji

Polymorphic typed defunctionalization and concretization. (English) Zbl 1105.68018

High.-Order Symb. Comput. 19, No. 1, 125-162 (2006).

MSC: 68N18

Cite Review PDF

Full Text: DOI

Biernacki, Dariusz; Danvy, Olivier; Shan, Chung-Chieh

On the static and dynamic extents of delimited continuations. (English) Zbl 1101.68442

Sci. Comput. Program. 60, No. 3, 274-297 (2006).

MSC: 68N15 68N18

Cite Review PDF

Full Text: DOI

Pettyjohn, Greg; Clements, John; Marshall, Joe; Krishnamurthi, Shriram; Felleisen, Matthias

Continuations from generalized stack inspection. (English) Zbl 1302.68047

Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 216-227 (2005).

MSC: 68N01

Cite Review PDF

Full Text: DOI Link

Pottier, François; Gauthier, Nadji

Polymorphic typed defunctionalization. (English) Zbl 1325.68049

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 89-98 (2004).

MSC: 68N18 03B70 68N15 68N20 68N30

Cite Review PDF

Full Text: DOI

Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan

A functional correspondence between call-by-need evaluators and lazy abstract machines. (English) Zbl 1178.68249

Inf. Process. Lett. 90, No. 5, 223-232 (2004).

MSC: 68Q05 68N18

Cite Review PDF

Full Text: DOI

Found 19 Documents (Results 1–19)

Automating the functional correspondence between higher-order evaluators and abstract machines. (English) Zbl 1521.68033

Getting there and back again. (English) Zbl 1540.68058

Derivation of a virtual machine for four variants of delimited-control operators. (English) Zbl 07700621

Automatic refunctionalization to a language with copattern matching: with applications to the expression problem. (English) Zbl 1360.68368

The essence of Reynolds. (English) Zbl 1342.01029

On the relation of interaction semantics to continuations and defunctionalization. (English) Zbl 1448.68210

On graph rewriting, reduction, and evaluation in the presence of cycles. (English) Zbl 1425.68175

Three syntactic theories for combinatory graph reduction. (English) Zbl 1353.68040

A correspondence between type checking via reduction and type checking via evaluation. (English) Zbl 1233.68157

Refunctionalization at work. (English) Zbl 1192.68115

State-transition machines, revisited. (English) Zbl 1129.68411

State-transition machines for lambda-calculus expressions. (English) Zbl 1130.68040

On one-pass CPS transformations. (English) Zbl 1130.68037

A syntactic correspondence between context-sensitive calculi and abstract machines. (English) Zbl 1111.68065

Polymorphic typed defunctionalization and concretization. (English) Zbl 1105.68018

On the static and dynamic extents of delimited continuations. (English) Zbl 1101.68442

Continuations from generalized stack inspection. (English) Zbl 1302.68047

Polymorphic typed defunctionalization. (English) Zbl 1325.68049

A functional correspondence between call-by-need evaluators and lazy abstract machines. (English) Zbl 1178.68249

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Biographic Reference

Software