| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Classical call-by-need sequent calculi : The unity of semantic artifacts
Abstract : We systematically derive a classical call-by-need sequent calculus, which does not require an unbounded search for the standard redex, by using the unity of semantic artifacts proposed by Danvy et al. The calculus serves as an intermediate step toward the generation of an environment-based abstract machine. The resulting abstract machine is context-free, so that each step is parametric in all but one component. The context-free machine elegantly leads to an environment-based CPS transformation. This transformation is observationally different from a natural classical extension of the transformation of Okasaki et al., due to duplication of un-evaluated bindings.
Cited literature [1 references]
https://hal.inria.fr/hal-00697241
Contributor : Hugo Herbelin <>
Submitted on : Tuesday, May 15, 2012 - 3:56:03 AM
Last modification on : Saturday, March 28, 2020 - 2:17:01 AM
Long-term archiving on: : Friday, November 30, 2012 - 11:41:23 AM
Contributor : Hugo Herbelin <>
Submitted on : Tuesday, May 15, 2012 - 3:56:03 AM
Last modification on : Saturday, March 28, 2020 - 2:17:01 AM
Long-term archiving on: : Friday, November 30, 2012 - 11:41:23 AM
File
classical-need-artifacts.pdf
Files produced by the author(s)