J. Welsh. Economic range checks in Pascal. Software--Practice and Experience, 8:85--97, 1978. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Critique of Standard ML - Appel (1992) (21 citations) (Correct)
Types in Programming Languages - Camarão, Figueiredo, Pimentel (Correct)
Typechecking Polymorphism in Emerald - Andrew Black Digital (1991) (18 citations) (Correct)
Lessons Learned from SUIT, the Simple User Interface Toolkit - Pausch, Conway, DeLine (1992) (10 citations) (Correct)
Generation of Formatters for Context-free Languages - van den Brand, Visser (1995) (18 citations) (Correct)
Eliminating Range Checks Using Static Single Assignment Form.. - Gough, Klaeren (1994) (1 citation) (Correct)
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (90 citations) (Correct)
Pointer-Range Analysis - Yong, Horwitz (2004) (1 citation) (Correct)
Optimization of Array Bound Checking - Nga (2000) (Correct)
Efficient Intraprocedural Array Bound Checking - Nguyen, Irigoin, Ancourt.. (Correct)
Dynamic Semantics of the Oberon Programming Language - Kutter (1996) (3 citations) (Correct)
Software Documents: Concepts and Tools - Welsh, Han (1994) (1 citation) Self-citation (Welsh) (Correct)
Eliminating Range Checks Using Static Single Assignment Form - Gough, Klaeren (1994) (1 citation) Self-citation (Checks) (Correct)
Eliminating Range Checks Using Static Single Assignment Form - Gough, Klaeren (1994) (1 citation) Self-citation (Checks) (Correct)
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