Andrew J. Barnard. From Types to Dataflow: Code Analysis for an Object-Oriented Language. PhD thesis, University of Manchester CS, 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
IIC: Information in Context - Mankoff (1996) (Correct)
....This is generally referred to as execution profiling ( San94] Kis92] Execution trace: At runtime, a trace of functions called and arguments can be printed out. The trace function in Chez Scheme ( Dyb87] provides an example of this Dataflow information: Dataflow information ( MJ81] [Bar93] [AC76] Ryd83] KSF92] OCH91] Wei84] AH90] Bal93] ASU86] Dat82] can be used to analyze possible execution paths which may be followed in a program: ffl Dynamic dataflow analyses At runtime, information can be gathered about every function that is called, and which function it was ....
....such as Scheme, it can be helpful to know what type has been assigned to a variable. A type inference system can also help the programmer to determine what type the interpreter will assign to a variable. A comparison of the relative usefulness of type versus dataflow information can be found in [Bar93]. Text based information: Program text can be scanned for cliches (i.e. the word sort, or standard algorithms, or loops) and this can be used to facilitate editing ( Wat94] or provide suggestions (i.e. recognizing or giving warnings about potential endless loops) Two versions of a program can ....
Andrew J. Barnard. From Types to Dataflow: Code Analysis for an Object-Oriented Language. PhD thesis, University of Manchester CS, 1993.
Benefits of Type Inference for an Object-Oriented.. - Gustafsson, Post.. (1995) (1 citation) (Correct)
....and fBoolg after the second. Graver [Gra89] presents a version of Smalltalk called Typed Smalltalk where the compiler infers types for some variables whereas others must be explicitly given by the programmer. Graver s work essentially supersedes earlier work done by Suzuki [Suz81] Barnard [Bar93] presents a strategy for inferring types, using dataflow analysis. Again, this could be useful, if implemented, but one should adapt it for real time systems, where the entry point for the application is known. 5 Conclusions We began by presenting past and ongoing research in the RTT project, ....
A.J. Barnard. From Types to Dataflow: Code Analysis for an Object-Oriented Language. Technical Report UMCS-9310 -2, Department of Computer Science, Manchester University, 1993.
IIC: Information in Context - Jen Manko Jmanko (Correct)
No context found.
Andrew J. Barnard. From Types to Dataflow: Code Analysis for an Object-Oriented Language. PhD thesis, University of Manchester CS, 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