Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

JFP
2008

favoriteEmaildiscussreport

61views more JFP 2008»

Control reduction theories: the benefit of structural substitution

13 years 4 months ago

Control reduction theories: the benefit of structural substitution

Download yquem.inria.fr

The historical design of the call-by-value theory of control relies on the reification of evaluation contexts as regular functions and on the use of ordinary term application for jumping to a continuation. To the contrary, the Ctp control calculus, developed by the authors, distinguishes between jumps and terms. This alternative calculus, which derives from Parigot's

Zena M. Ariola, Hugo Herbelin

Real-time Traffic

Call-by-value Theory | Evaluation Contexts | JFP 2008 | Ordinary Term Application |

claim paper

Related Content

» StokesDirac structures through reduction of infinitedimensional Dirac structures

» Patternbased behavior synthesis for FPGA resource reduction

» Implications of technology scaling on leakage reduction techniques

» Encoding Large Asynchronous Controllers With ILP Techniques

» Normalisation Control in Deep Inference Via Atomic Flows

» Exploring the contribution of information technology to governance risk management and com...

» Adding delimited and composable control to a production programming environment

» Bisimulation of Dynamical Systems

» Joint Optimization of Transform Coefficients for Hierarchical B Picture Coding in H264AVC

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	JFP
Authors	Zena M. Ariola, Hugo Herbelin

Comments (0)