Santanu Paul, Atul Prakash  Home/Search
Context Related
| umich.edu/techrepo...SETR20994.ps.gz umich.edu/techrepo...CSETR20994.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: umich.edu/DCO/techreports...cse94 (more) From: umich.edu/techreports/cse...cse94 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Querying source code interactively for information is a critical task in reverse engineering of software. However, current source code query systems succeed in handling only small subsets of the wide range of queries possible on code, trading generality and expressive power for ease of implementation and practicality. We attribute this to the absence of clean formalisms for modeling and querying source code. In this paper, we present an algebraic framework (Source Code Algebra or SCA) for... (Update)
Context of citations to this paper: More
...briefly outlines the different SCA operators, their syntax and semantics. A more detailed description of SCA operators can be found in [19]. Table 1 shows SCA operators defined on atomic data types. Table 2 shows operators defined on objects and object collections. Operators...
...how this can be accomplished. Automated software renovation: Test case characterisation can be used for querying source code (cf. PP94,MER99] to approve transformation rules in automated software renovation [CC90,BSV00] Also, coverage analysis can be used to backup...
Cited by: More
A Logic Meta-Programming Framework for Supporting the Refactoring.. - Bravo (2003) (Correct)
Identifying Refactoring Opportunities Using Logic Meta.. - Tourwé, Mens (2003) (Correct)
How Understanding and Restructuring differ from Compiling - a.. - Klint (2003) (Correct)
Similar documents (at the sentence level):
70.6%: Supporting Queries on Source Code: A Formal Framework - Paul, Prakash (1994) (Correct)
20.2%: Querying Source Code using an Algebraic Query Language - Paul, Prakash (1994) (Correct)
Active bibliography (related documents): More All
1.3: A Framework for Source Code Search using Program Patterns - Paul, Prakash (1994) (Correct)
1.2: Algebras For Object-Oriented Query Languages - Vandenberg (1993) (Correct)
0.5: Investigating Reverse Engineering Technologies.. - Buss, De Mori.. (1994) (Correct)
Similar documents based on text: More All
0.2: iKP Secure Transactions Protocol - Prakash (1999) (Correct)
0.1: Jang Ho Lee - Work Address Home (Correct)
0.1: Incremental Recovery Of Volumetric Models - Roymoulik (Correct)
Related documents from co-citation: More All
4: A Framework for Source Code Search Using Program Patterns - Paul, Prakash - 1994
3: Reverse engineering and system renovation: an annotated bibliography - van den Brand, Klint et al.
3: A meta-environment for generating programming environments (context) - Klint - 1993
BibTeX entry: (Update)
S. Paul and A. Prakash. Supporting queries on source code: A formal framework. International Journal of Software Engineering and Knowledge Engineering, 4(3):325--348, 1994. http://citeseer.ist.psu.edu/article/paul94supporting.html More
@article{ paul94supporting,
author = "S. Paul and A. Prakash",
title = "Supporting Queries on Source Code: {A} Formal Framework",
journal = "International Journal of Software Engineering and Knowledge Engineering",
volume = "4",
number = "3",
month = "September",
publisher = "World Scientific Publishing Company",
pages = "325--348",
year = "1994",
url = "citeseer.ist.psu.edu/article/paul94supporting.html" }
Citations (may not include all citations):318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
298 The Object-Oriented Database System Manifesto - Atkinson - 1989
197 A relational model for large shared data banks (context) - Codd - 1970
102 The Gemstone Object Database Management System (context) - Butterworth, Otis et al. - 1991
88 The Programmer's Apprentice (context) - Rich, Waters - 1990
85 Queries and Query processing in Object-oriented Database Sys.. - Straube, Ozsu - 1990
80 Towards a Theory of Comprehension of Computer Programs (context) - Brooks - 1983
78 The UNIX Programming Environment (context) - Kernighan, Pike - 1984
62 A Framework for Source Code Search Using Program Patterns - Paul, Prakash - 1994
62 IEEE Transactions on Software Engineering (context) - Chen, Nishimoto et al. - 1990
56 Third-generation database system manifesto (context) - Stonebraker - 1990
45 A Relational Object Model (context) - Schek, Scholl - 1990
37 Pattern Matching by Rs-Operations: Towards a Unified Approac.. - Ginsburg, Wang - 1992
36 Supporting Lists in a Data Model (context) - Richardson - 1992
32 The Concept Assignment Problem in Program Understanding (context) - Biggerstaff, Mitbander et al. - 1993
30 PDM: an Object-oriented Data Model (context) - Manola, Dayal - 1986
29 Implementing Relational Views of Programs (context) - Linton - 1984
14 Equality and Query Optimization (context) - Osborn - 1988
14 A Program Understanding Support Environment (context) - Cleveland - 1989
13 Object-Oriented Design Archaeology with CIA (context) - Grass - 1992
12 ACM Transactions on Office Information Systems (context) - Guting, Zicari et al. - 1989
10 IEEE Transactions on Software Engineering (context) - Kozaczynsky, Ning et al. - 1992
10 Spatial and Visual Representations of Software Structures: A.. (context) - Muller, Corrie et al. - 1992
10 Extensions and Foundations of Object-oriented Programming (context) - Goguen, Meseguer - 1986
10 IEEE Transactions on Software Engineering (context) - Ramamoorthy, Usuda et al. - 1990
9 Automating Software Analysis and Testing Using a Program Tra.. (context) - Kotik, Markosian - 1989
7 Source Code Retrieval Using Program Patterns (context) - Paul, Prakash - 1992
6 An Algebra for the relational model with relation-valued att.. (context) - Schek, Scholl - 1986
5 Journal of Combinatorial Theory (context) - Birkhoff, Lipson - 1970
5 Recursive Algebra for relations with relation-valued attribu.. (context) - Jaeschke - 1985
5 Software Change Analysis via Attributed Dependency Graphs (context) - Al-Zoubi, Prakash - 1991
3 American Programmer (context) - Yourdon - 1989
3 Bulletin of IEEE technical committee on Data Engineering (context) - Shaw, Zdonik et al. - 1989
3 Computer Science Press International (context) - Ullman, Database - 1990
3 Program Flow Analysis: theory and applications (context) - Kennedy - 1981
2 Nonrecursive Algebra for relations with relation-valued attr.. (context) - Jaeschke - 1985
2 An Algebra of power set type relations (context) - Jaeschke - 1982
2 Microscope: A Program Analysis System (context) - Ambras, O'Day - 1987
2 A Reverse Engineering Model for C Programs (context) - Heisler, Kasho et al. - 1993
1 chapter An Initial Algebra Approach to the specification (context) - Goguen, Thatcher et al. - 1978
1 chapter An Algebraic Model of Subtype and Inheritance (context) - Bruce, Wegner et al. - 1990
1 State-of-Art Talk on Reverse Engineering (context) - Chikofsky - 1993
1 Theory and Design of Source Code Search Systems (context) - Paul - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.eecs.umich.edu/DCO/techreports/cse94.html): More
Architectural Support for Managing Communication.. - Feng, Rexford.. (1994) (Correct)
Wrong-Path Instruction Prefetching - Pierce, Mudge (1994) (Correct)
Schema Evolution for Real-Time Object-Oriented Databases - Zhou, Rundensteiner, Shin (1994) (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