H Lutfiyya and C Cowan. Optimistic language constructs. In Proceedings of the ICSE-17 Workshop on Research Issues in the Intersection of Software Engineering and Programming Languages, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formal Semantics for Expressing Optimism: The Meaning of HOPE - Cowan, Lutfiyya (1995) (4 citations) Self-citation (Lutfiyya Cowan) (Correct)
....also be selected at run time. Furthermore, affirmation and denial of optimistic assumptions, as well as making further optimistic assumptions, can all be performed by computations that are themselves optimistic. In previous work, we have defined the HOPE programming model and it s applicability [6, 10, 22]. We have also constructed a prototype HOPE system [7, 8, 11] This paper presents the formal semantics of the HOPE programming model. The rest of this paper is organized as follows. Section 2 describes related work. Section 3 informally describes our programming model for expressing optimism, and ....
Hanan Lutfiyya and Crispin Cowan. Optimistic Language Constructs. In ICSE-17 Workshop on Research Issues in the Intersection of Software Engineering and Programming Languages, Seattle, WA, April 1995.
Performance Benefits of Optimistic Programming: A Measure of .. - Cowan, Lutfiyya, Bauer (1995) (3 citations) Self-citation (Lutfiyya Cowan) (Correct)
....assumptions and not worry about the details of the dependency tracking, checkpointing, and rollback. This paper presents HOPE (Hopefully Optimistic Programming Environment) a programming model for expressing optimism. Previously, we have defined the HOPE programming model and its applicability [7, 10, 23]. We have constructed a prototype HOPE system [8] defined a formal semantics for HOPE [11] and proved that some important properties of the prototype implementation are consistent with the formal semantics [9] This paper presents the performance results of using HOPE s optimistic primitives to ....
Hanan Lutfiyya and Crispin Cowan. Optimistic Language Constructs. In ICSE-17 Workshop on Research Issues in the Intersection of Software Engineering and Programming Languages, Seattle, WA, April 1995.
Optimistic Network Computing and its Performance Control - Turner (Correct)
No context found.
H Lutfiyya and C Cowan. Optimistic language constructs. In Proceedings of the ICSE-17 Workshop on Research Issues in the Intersection of Software Engineering and Programming Languages, 1995.
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