Y. Bertot. A canonical calculus of residuals. In G. Huet and G. Plotkin, editors, Logical Environments, pages 140--163. Cambridge University Press, 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Specifying Input and Output of Visual Languages - Dinesh, Üsküdarli (1996) (18 citations) (Correct)
....general than origin tracking due to the presence of the Where information; as the labels used in Share annotations provide primitive origins in the absence of sharing. These techniques are related to residuals and descendants as can be found in [Klo92, Chapter 8] and subject tracking defined by [Ber93] Monads [JW93] and Unique types [PvE93] are two examples that allow extension of functional languages with input output. Monads are not first order constructions and thus are not directly useful for us. The guidelines provided in Section 6.1 can be compared to Unique types. WK95] have indicated ....
Y. Bertot. A canonical calculus of residuals. In G. Huet and G. Plotkin, editors, Logical Environments, pages 140--163. Cambridge University Press, 1993.
Origin Tracking in Primitive Recursive Schemes - van Deursen (1993) (1 citation) (Correct)
....style of Sections 3.2 and 3.4 is rather different from that in [DKT93] and the problem analysis in Sections 3.5 and 3. 6 was not given in [DKT93] The definition of PRSs in Section 4 was taken from [Meu92, CF82] 2 Related Work The study of origins was pioneered by Bertot [Ber90, Ber92, Ber93] He investigated applications of origin tracking to source level debugging given a specification in natural semantics style [Kah87, Ber90] Furthermore, he considered the relation between origins for the calculus and for TRSs [Ber92] and introduced a formal framework to reason about origin ....
.... applications of origin tracking to source level debugging given a specification in natural semantics style [Kah87, Ber90] Furthermore, he considered the relation between origins for the calculus and for TRSs [Ber92] and introduced a formal framework to reason about origin functions [Ber93] Bertot focused on orthogonal, unconditional TRSs, where an origin consists of at most one subterm occurrence. Part of his work was implemented in the Centaur system [BCD 89] in particular the notion of a subject occurring in the specification language Typol is akin to syntax directed ....
Y. Bertot. A canonical calculus of residuals. In G. Huet and G. Plotkin, editors, Logical Environments. Cambridge University Press, 1993.
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