See this document in CiteSeerX!

Integration of generic program analysis tools  (Make Corrections)  
into a software development environment Erica Glynn Ian Hayes Anthony...



  Home/Search   Context   Related

 
View or download:
crpit.com/confpaper...CRPITV38Glynn.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  crpit.com/Vol38 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Syntax Tree Abstract Syntax Tree Relation Tuple Relation Figure 4: UQ# syntactic structures Syntactic structures are represented as abstract syntax trees. These are augmented with n-ary relations (as shown in Figure 4) to represent connections between elements in the abstract syntax tree. Relational elements can be abstract syntax trees, nodes within abstract syntax trees, relations, strings or numeric data. In general, UQ# relations are N-ary and bi-directional; hence the underlying... (Update)

Active bibliography (related documents):   More   All
0.3:   A Survey of Reverse Engineering and Program Comprehension - Nelson (1996)   (Correct)
0.3:   Architectural Synthesis: Integrating Multiple.. - Waters, Rugaber, Abowd (1999)   (Correct)
0.3:   Implementation of Genericity for customizable CASE environments - Kordon, Mounier (1998)   (Correct)

Similar documents based on text:   More   All
0.1:   The Object-Z Specification Language: Version 1 - Duke, King, al. (1991)   (Correct)
0.1:   Structure Vibrations: An On-Line Interactive.. - Macho-Stadler.. (2002)   (Correct)
0.1:   Performance and Robustness Testing of Explicit-Rate ABR.. - Zoranovic, Williamson   (Correct)

BibTeX entry:   (Update)

@misc{ development-integration,
  author = "Into Software Development",
  title = "Integration of Generic Program Analysis Tools",
  url = "citeseer.ist.psu.edu/725025.html" }
Citations (may not include all citations):
292   Advanced compiler design and implementation (context) - Muchnick - 1997
259   A survey of program slicing techniques - Tip - 1995
245   Semantics of context-free languages (context) - Knuth - 1968
225   Flow Analysis of Computer Programs (context) - Hecht - 1977
181   Connecting tools using message passing in the Field environm.. (context) - Reiss - 1990
17   Data Structures = Programs (context) - Wirth - 1976
7   Timing constraint analysis - Grundon, Hayes et al. - 1998
6   Integration of semantic tools into document editors - Welsh, Yang - 1994
3   Program comprehension - Rugaber - 1995
3   DoD requirements for Ada programming support enviroments (context) - Buxton - 1980
1   Request for Proposal - Architecure-Driven Modernization (context) - Group, Taskforce - 2003
1   Developing relational navigation to e#ectively understand so.. (context) - Jarrott, MacDonald - 2003
1   Incremental parsing in language-based editors: User needs an.. (context) - Cook, Welsh - 2001
1   Requirements for a generic (context) - Jones, Welsh - 1997
1   Incremental context-sensitive evaluation in context (context) - Cook, Welsh et al. - 2002
1   Knowledge Discovery MetaModel - Initial Submission (context) - Gerber, Glynn et al. - 2004
1   Persistence in the UQ# environment (context) - MacDonald, Welsh - 1999
1   Generic description of a software document environment - Toleman, Carrington et al. - 2001
1   Also found in SVRC Technical Report (context) - in, Report et al. - 1994
1   A Classical Mind: Essays in honour of C.A.R. Hoare (context) - ed - 1991
1   Comtemporary software development environments (context) - Howden - 1982

Documents on the same site (http://crpit.com/Vol38.html):   More
Agent-Based Distributed Software Verification - Hunter, Robinson, Strooper   (Correct)
Dependable Dynamic Source Routing without a Trusted Third.. - Pirzada, McDonald, Datta (2005)   (Correct)
A Formal Approach to Component Adaptation and Composition - Hemer (2005)   (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