Gilles Barthe, Fairouz Kamareddine, and Alejandro R'ios. Explicit substitutions for control operators. TR 96-26, University of Glasgow, 1997.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....the only exceptions being the formalisms of Combinatory Reduction Systems (CRSs) with explicit substitutions given in [BR96] and [Pag97] which are, respectively, generalizations of the calculi x and oe to higher order rewriting. We should also mention the Deltaexp calculus studied in [BKR97], which is a particular case of CRS with explicit substitutions a la x. All these works raise the question of the generality of explicit substitutions, that is, if a particular theory of explicit substitutions is sufficient to capture all the real implementations of programming languages based on ....

Gilles Barthe, Fairouz Kamareddine, and Alejandro R'ios. Explicit substitutions for control operators. TR 96-26, University of Glasgow, 1997.

....calculi, the only exceptions being the formalisms of combinatory reduction systems (CRSs) with explicit substitutions given in [BR96] and [Pag98] which are, respectively, generalizations of the calculi x and to higher order rewriting. 2 We should also mention the exp calculus studied in [BKR97], which is a particular case of CRS with explicit substitutions a la x. All these works raise the question of the generality of explicit substitutions, that is, whether a particular theory of explicit substitutions is sucient to capture all the real implementations of programming languages based ....

Gilles Barthe, Fairouz Kamareddine, and Alejandro Ros. Explicit substitutions for control operators. Technical Report TR 96-26, University of Glasgow, 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC