Search results for "program"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	Paolo Tonella	Using a Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	software maintenance, program comprehension, Program slicing, impact analysis, concept analysis
31	Anne Lind, Steven Sather, Linwood Futrelle, Patrick Valiquette	Lessons learned: implementing a desktop replacement program.	SIGUCCS	2001	DBLP DOI BibTeX RDF	desktop replacement program, replacement cycle, student purchase program
31	Wanghong Yuan, X. Chen, Tao Xie 0001, Hong Mei 0001, Fuqing Yang	C++ Program Information Database for Analysis Tools.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	program information database, object orientation, C++, program analysis, incremental parsing
31	Bogdan Korel	Automated Software Test Data Generation.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis
31	Patrice Godefroid	Compositional dynamic test generation.	POPL	2007	DBLP DOI BibTeX RDF	compositional program analysis, scalability, software testing, program verification, automatic test generation
31	Zhenghao Wang, Richard R. Muntz	Managing Dynamic Changes in Multi-stage Program Generation Systems.	GPCE	2002	DBLP DOI BibTeX RDF
30	Kung-Kiu Lau, Mario Ornaghi	Specifying Compositional Units for Correct Program Development in Computational Logic.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
30	Samvida Nanda, Soumya Ramasubramaniam, Sumana Ramasubramaniam, Agastya Nanda, Mangala Gowri Nanda	The puppet and the probe.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	visualization, analysis
30	C. E. Prael	PASCAL for operating software? A critical examination.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
30	Uwe Aßmann	Graph rewrite systems for program optimization.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	specification, program transformation, program analysis, visual programming, program optimization, compiler generators, stratification, very high-level languages, graph rewrite systems
30	Nuno Oliveira 0001, Maria João Varanda Pereira, Daniela Carneiro da Cruz, Mario Marcelo Berón	Influence of Synchronized Domain Visualizations on Program Comprehension.	ICPC	2010	DBLP DOI BibTeX RDF	DSL comprehension, Program comprehension experiments, Program comprehension tools, Synchronized program visualizations
30	Ramachenga R. Valasareddi, Doris L. Carver	A Representation Model for Procedural Program Maintenance.	SAC	1999	DBLP DOI BibTeX RDF	static analysis, program slicing, program representation, program dependence graph, program maintenance
30	Bjorn De Sutter, Bruno De Bus, Koen De Bosschere	Link-time binary rewriting techniques for program compaction.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	code abstraction, linker, whole-program optimization, compaction, interprocedural analysis, Program representation, binary rewriting
30	Andrew Moss, Dan Page	Program interpolation.	PEPM	2009	DBLP DOI BibTeX RDF	dynamic feedback, program interpolation, program optimization
30	Erika Nyáry, Harry M. Sneed	Software maintenance offloading at the Union Bank of Switzerland.	ICSM	1995	DBLP DOI BibTeX RDF	software maintenance offloading, Union Bank of Switzerland, PC-based maintenance workbench, automated aids, program editing, JSP/COBOL host programs, reverse engineering, reverse engineering, graphical user interfaces, software maintenance, program analysis, program testing, program testing, productivity, regression testing, computer aided software engineering, COBOL, systems re-engineering, program diagnostics, structured programming, graphical interface, human resource management, software reengineering, microcomputer applications, bank data processing, mainframe
30	Maria João Frade, Ando Saabas, Tarmo Uustalu	Bidirectional data-flow analyses, type-systematically.	PEPM	2009	DBLP DOI BibTeX RDF	mechanical transformation of program proofs, program analyses and optimizations, type systems, program logics
30	Ronald Leppan, Charmain Cilliers, Marinda Taljaard	Supporting CS1 with a program beacon recognition tool.	SAICSIT	2007	DBLP DOI BibTeX RDF	program beacons, program plans, CS1, program comprehension, introductory programming
30	James R. Larus	Whole Program Paths.	PLDI	1999	DBLP DOI BibTeX RDF	dynamic program measurement, program control flow, data compression, program tracing, path profiling
30	Jorma Sajaniemi, Kari Ikonen	VinEd - A system for program manipulation through user-definable simultaneous views.	Softw. Concepts Tools	1998	DBLP DOI BibTeX RDF	Program views, Program editing, Programming environment, Program comprehension
30	Farokh B. Bastani, Bojan Cukic	Impact of program transformation on software reliability assessment.	HASE	1996	DBLP DOI BibTeX RDF	statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment
30	Jack W. Davidson, Anne M. Holler	Subprogram Inlining: A Study of its Effects on Program Execution Time.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	subprogram inlining, execution time performance, inlined versions, inlined program execution time behavior, inlined code, demand-paged virtual memory machines, inlining algorithm, program size constraints, paging behavior, caching, programming, program testing, storage allocation, computer systems, virtual storage, interprocedural data flow analysis
30	Keith Brian Gallagher, James R. Lyle	Using Program Slicing in Software Maintenance.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	software maintenance problem, line number, single variable decomposition slices, set inclusion, slice-based decomposition, unmodified components, semantically consistent changes, software maintenance, program testing, program slicing, program slice, linear time
30	Andy Podgurski, Lori A. Clarke	A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	data flow dependence, syntactic dependence, semantic dependence, formal specification, software testing, debugging, program testing, maintenance, formal model, program debugging, program dependences
30	Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel	Automatic program specialization for Java.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Automatic program specialization, Java, optimization, partial evaluation, object-oriented languages
30	David C. Shepherd, Lori L. Pollock, K. Vijay-Shanker	Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task.	PASTE	2007	DBLP DOI BibTeX RDF	program analysis, natural language, aspect mining
30	Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin	Dynamically Discovering Likely Program Invariants to Support Program Evolution.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	pattern recognition, formal specification, software evolution, dynamic analysis, execution traces, logical inference, Program invariants
30	David W. Binkley, L. Ross Raszewski, Christopher Smith, Mark Harman	An Empirical Study of Amorphous Slicing as a Program Comprehension Support Tool.	IWPC	2000	DBLP DOI BibTeX RDF	amorphous slicing, program comprehension, slicing, arrays, empirical validation
30	Chad D. Sterling, Ronald A. Olsson	Automated bug isolation via program chipping.	AADEBUG	2005	DBLP DOI BibTeX RDF	bug isolation, program chipping, debugging, program slicing, data slicing
30	Ankit Goel, Abhik Roychoudhury, Tulika Mitra	Compactly representing parallel program executions.	PPoPP	2003	DBLP DOI BibTeX RDF	program path compression, dynamic program analysis, path profiling
30	Santanu Paul, Atul Prakash 0001	A Query Algebra for Program Databases.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Software reverse engineering, program query language, program understanding, source code analysis, query algebra
30	Salwa K. Abd-El-Hafiz	Evaluation of a Knowledge-Based Approach to Program Understanding.	WCRE	1996	DBLP DOI BibTeX RDF	first order predicate logic annotations, program loops, Pascal programs, system usability, knowledge based systems, plans, program understanding, knowledge-based approach
30	Uwe Aßmann	How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems.	CC	1996	DBLP DOI BibTeX RDF	optimization, specification, program transformation, Program analysis, graph rewrite systems
30	Fosca Giannotti, Manuel V. Hermenegildo	A Technique for Recursive Invariance Detection and Selective Program Specification.	PLILP	1991	DBLP DOI BibTeX RDF	Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming
29	Thomas Vestdam, Kurt Nørmark	Aspects of Internal Program Documentation - An Elucidative Perspective.	IWPC	2002	DBLP DOI BibTeX RDF
29	Hon Fung Li, Juergen Rilling, Dhrubajyoti Goswami	Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	message passing, program comprehension, concurrent program, program slicing
29	Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi, Tadashi Ohta	An independent software-modification method.	ICSM	1995	DBLP DOI BibTeX RDF	independent software modification method, independent software-modification method, specification changes, functional enhancements, program slicing techniques, non modified parts, modified parts, software maintenance, regression testing, automatic programming, program diagnostics, program modification
29	Elisa L. A. Baniassad, Clayton G. Myers	An exploration of program as language.	OOPSLA	2009	DBLP DOI BibTeX RDF	program language
29	Dieter Vogts, André P. Calitz, Jéan H. Greyling	Comparison of the effects of professional and pedagogical program development environments on novice programmers.	SAICSIT	2008	DBLP DOI BibTeX RDF	programming behaviour, compilation, novice programmer, program development environment
29	Lingxiao Jiang, Zhendong Su 0001	Profile-guided program simplification for effective testing and analysis.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	testing and analysis, profiling, statistical debugging, program simplification
29	Chang-Burm Cho, Tao Li 0006	Complexity-based program phase analysis and classification.	PACT	2006	DBLP DOI BibTeX RDF	wavelet, performance modeling, computer architecture, program phase
29	Yuki Chiba, Takahito Aoto 0001, Yoshihito Toyama	Program transformation by templates based on term rewriting.	PPDP	2005	DBLP DOI BibTeX RDF	inductive theorem proving, tree homomorphism, program transformation, term rewriting
29	Yannis Smaragdakis	Invited talk: program generators and the tools to make them.	PPDP	2004	DBLP DOI BibTeX RDF	safety guarantees, meta-programming, program generators
29	Martina Schollmeyer, Bruce M. McMillin	Checking Program Proofs Made Eas.	COMPSAC	1995	DBLP DOI BibTeX RDF	temporal subsumption, proof checking, assertion-based reasoning, formal methods, program verification
29	Daniel S. Yeung, Allan K. Y. Wong	Automatic Software Generation in the OORHS Distributed Computing Framework.	ISPAN	1996	DBLP DOI BibTeX RDF	program object, program objects dictionary, object class library, precompiler, local compilation, instantiation
29	Karl Azab, Annegret Habel	High-Level Programs and Program Conditions.	ICGT	2008	DBLP DOI BibTeX RDF
29	Takashi Ishio, Shinji Kusumoto, Katsuro Inoue	Program Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique.	IWPSE	2003	DBLP DOI BibTeX RDF
29	Thomas W. Reps, Susan Horwitz	Semantics-Based Program Integration.	ESOP	1988	DBLP DOI BibTeX RDF
29	Antonio Brogi	On the Semantics of Logic Program Composition.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
28	Sabine Glesner, Wolf Zimmermann	Natural semantics as a static program analysis framework.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	fixed-point program analyses, constraint solving, semantic analysis, compiler generators, static program analysis, Natural semantics
28	Panagiotis K. Linos, Zhi-Hong Chen, Seth Berrier, Brian O'Rourke	A Tool For Understanding Multi-Language Program Dependencies.	IWPC	2003	DBLP DOI BibTeX RDF	foreign language interface, Program comprehension, program dependencies
28	Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap	Optimizing Compilation of CLP(R).	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	source-to-source program transformation, compilation, program analysis, constraint logic programming, program optimization
28	Wes Masri	Exploiting the empirical characteristics of program dependences for improved forward computation of dynamic slices.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Forward computation, Program analysis, Program debugging, Memoization, Dynamic slicing, Program dependence
28	Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser	Stratego/XT 0.16: components for transformation systems.	PEPM	2006	DBLP DOI BibTeX RDF	pretty-printers, rewriting strategies, transformation components, compilers, program transformation, program analysis, term rewriting, program optimization, parsers, transformation systems
28	John Yiannis Cotronis	Efficient Program Composition on Parix by the Ensemble Methodology.	EUROMICRO	1996	DBLP DOI BibTeX RDF	program composition, Parix, Ensemble methodology, message passing program composition methodology, Process Communication Graphs, application scripts, universal Parix program loader, communication dependencies, complexities, message passing, parallel virtual machine
28	Norman Wilde, Christopher Casey	Early field experience with the Software Reconnaissance technique for program comprehension.	ICSM	1996	DBLP DOI BibTeX RDF	Software Reconnaissance technique, dynamic analysis technique, code location, industrial maintainers, software feature location, RECON tool, industrial programs, traceability relation, program features, reverse engineering, design patterns, program comprehension, programmers, large systems, program code
28	Yoshiaki Kasahara, Yoshinari Nomura, Masayuki Kamachi, Jingde Cheng, Kazuo Ushijima	An Integrated Support Environment for Distributed Software Development based on Unified Program Representations.	APSEC	1995	DBLP DOI BibTeX RDF	Integrated support environment, Program transformation, Program representations, Distributed software development, Program dependences
28	Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde	On deriving data parallel code from a functional program.	IPPS	1995	DBLP DOI BibTeX RDF	data parallel code, translation methodology, high level algorithmic specification, imperative data parallel language, applicative caching, compilation method, incremental transformations, compilation steps, loop nest generation, scheduling, formal specification, parallel programming, static analysis, partitioning, code generation, functional programming, functional program, program compilers, alignment, parallel languages, functional languages, program interpreters, abstract syntax tree, ALPHA
28	Winfried Graf, Stefan Neurohr	Constraint-Based Layout in Visual Program Design.	VL	1995	DBLP DOI BibTeX RDF	visual program design, constraint-based layout, visual program layout, graphical editing tasks, InLay constraint-based graphical editor, animated chart diagram layout, presentation part abstraction, active display object focussing, graphical history editing, hierarchical information structure visualisation, multimedia, data structures, knowledge based systems, interaction techniques, programming environments, visual programming, computer animation, intelligent system, data visualisation, multimedia computing, program visualization, constraint handling, visual programming environments, dynamic displays, communication media
28	G. A. Venkatesh, Charles N. Fischer	SPARE: A Development Environment For Program Analysis Algorithms.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	program analysis specifications, high-level specification language, SPARE, structured program analysis refinement environment, denotational specification, formal specification, testing, software tools, software tools, programming environments, specification languages, program testing, development environment, correctness proofs
28	Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan	Property-aware program sampling.	PASTE	2010	DBLP DOI BibTeX RDF	property-aware monitoring, slice fragments, static analysis, sampling, profiling, program slicing, instrumentation
28	Eli Tilevich, Godmar Back	"Program, enhance thyself!": demand-driven pattern-oriented program enhancement.	AOSD	2008	DBLP DOI BibTeX RDF	program enhancement, aspect-oriented programming, patterns, meta-programming, rules engines
28	Bradley L. Vinz, Letha H. Etzkorn	A Synergistic Approach to Program Comprehension.	ICPC	2006	DBLP DOI BibTeX RDF	program understanding, comments
28	Yannis Smaragdakis, Shan Shan Huang, David Zook	Program generators and the tools to make them.	PEPM	2004	DBLP DOI BibTeX RDF	safety guarantees, meta-programming, program generators
28	H. Chad Lane, Kurt VanLehn	Coached program planning: dialogue-based support for novice program design.	SIGCSE	2003	DBLP DOI BibTeX RDF	coached program planning, intelligent tutoring systems, structured programming, dialogue systems, novice programming
28	Ying Liu, Ambuj K. Singh, Rajive L. Bagrodia	A Decompositional Approach to the Design of Parallel Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	complete computer programs, decompositional approach, parallel program design, parallel implementation correctness, module specifications, frequently occurring control structures, subprograms, property refinement procedure, sequential composition, UNITY logic, UC programming language, diffusion aggregation, fluid flow simulations, formal specification, parallel programming, program verification, digital simulation, diffusion, iteration, physics computing, program control structures, program specifications, flow simulation
28	Muhammad Saleem 0002, Rasheed Hussain, Yasir Ismail, Shaikh Mohsin	Cost effective software engineering using program slicing techniques.	ICIS	2009	DBLP DOI BibTeX RDF	software cost and time, software development phases, program slicing, program code
28	Ju Qian, Baowen Xu	Scenario oriented program slicing.	SAC	2008	DBLP DOI BibTeX RDF	scenario, decomposition, program understanding, program slicing
28	Fangjun Wu	Formal specification of program slicing.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	program slicing, program dependence graph, Z language, system dependence graph
28	Roman Bednarik, Markku Tukiainen	An eye-tracking methodology for characterizing program comprehension processes.	ETRA	2006	DBLP DOI BibTeX RDF	eye-movement tracking methodology, program comprehension, program visualization, psychology of programming
28	Andreas Hamfelt, Jørgen Fischer Nilsson	Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes.	LOPSTR	1998	DBLP DOI BibTeX RDF	logic program schemata, logical combinators, synthesis by composition and specialization of schemas, inductive synthesis, metalogic program environment
28	Milan Ojstersek, Viljem Zumer, Ljubo Pipan	Efficient execution of parallel programs using partial strict triggering of program graph nodes.	ICPADS	1997	DBLP DOI BibTeX RDF	partial strict triggering, program graph nodes, coarse grained program graph nodes, VL, DSH scheduling algorithms, parallel programming, parallel programs, CPM
28	Salwa K. Abd-El-Hafiz	Effects of Decomposition Techniques on Knowledge-Based Program Understanding.	ICSM	1997	DBLP DOI BibTeX RDF	reverse engineering, Knowledge base, program understanding, slicing, loops, program decomposition
28	William G. Griswold, David Notkin	Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	layered systems, Software architecture, modularization, evolution, software design, program representation, program restructuring
28	Mary Jean Harrold, Brian A. Malloy	A Unified Interprocedural Program Representation for a Maintenance Environment.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	unified interprocedural graph, unified interprocedural program representation, software maintenance, software maintenance, program understanding, data dependence, programming theory, data flow, edges, control flow, nodes, control dependence, access time, storage space
28	David B. Loveman	Program Improvement by Source to Source Transformation.	POPL	1976	DBLP DOI BibTeX RDF	Program improvement, Optimization, Compilation, Source-to-source transformation, Program manipulation
28	Haiping Wu, Eunjung Park, Mihailo Kaplarevic, Yingping Zhang, Murat Bolat, Xiaoming Li, Guang R. Gao	Automatic Program Segment Similarity Detection in Targeted Program Performance Improvement.	IPDPS	2007	DBLP DOI BibTeX RDF
27	Fred M. Hall	Army software metrics training.	COMPSAC	1997	DBLP DOI BibTeX RDF	army software metrics training, Army Metrics Training Program, course material, workshop format, student group, standard metric definition, program applications, management objectives, metrics tailoring process, software measurement issues, measurement information, management structure, software measurement data, computer science education, software development managers, measurement program
27	David M. Ogle, Karsten Schwan, Richard T. Snodgrass	Application-Dependent Dynamic Monitoring of Distributed and Parallel Systems.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	application dependent dynamic monitoring, off-line program analysis, on-line debugging, uniform data model, program-specific monitoring code, distributed analysis, programtesting, distributed systems, parallel programming, specification, distributed processing, distributed programs, parallel systems, program debugging, attributes, parallelmachines
27	Roy S. Freedman	Testability of Software Components.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	domain testability, domain-testable program, input-output inconsistencies, small test sets, test outputs, domain-testable specification, nondomain-testable specification, formal specification, controllability, software components, program testing, observability, program specifications
27	Brad Calder, Dirk Grunwald, Michael P. Jones, Donald C. Lindsay, James H. Martin, Michael Mozer, Benjamin G. Zorn	Evidence-Based Static Branch Prediction Using Machine Learning.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	neural networks, performance evaluation, machine learning, decision trees, branch prediction, program optimization
27	Yunlian Jiang, Eddy Z. Zhang, Kai Tian, Feng Mao, Malcom Gethers, Xipeng Shen, Yaoqing Gao	Exploiting statistical correlations for proactive prediction of program behaviors.	CGO	2010	DBLP DOI BibTeX RDF	correlation, program behavior
27	YingZhou Zhang	A novel formal approach to program slicing.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	slice monad transformer, modularity, program slicing, formal semantics, monads
27	A. S. Bhullar, Louis G. Birta	PUMP: A Program Understanding Tool for MODSIM Programs.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	MODSIM, object-oriented programming, Program understanding, modeling and simulation
27	Erez Perelman, Jeremy Lau, Harish Patil, Aamer Jaleel, Greg Hamerly, Brad Calder	Cross Binary Simulation Points.	ISPASS	2007	DBLP DOI BibTeX RDF	cross binary simulation point, SimPoint, architectural design space exploration, compiler optimization evaluation, program execution, program evaluation
27	Sandeep S. Kulkarni, Ali Ebnenasir	Enhancing The Fault-Tolerance of Nonmasking Programs.	ICDCS	2003	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
27	G. Ramalingam, Thomas W. Reps	A Theory of Program Modifications.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
27	Thomas W. Reps	Algebraic Properties of Program Integration.	ESOP	1990	DBLP DOI BibTeX RDF
27	Lyle Ramshaw	Eliminating go to's while preserving program structure.	J. ACM	1988	DBLP DOI BibTeX RDF
27	Donald L. Shell	The Share 709 System: A Cooperative Effort.	J. ACM	1959	DBLP DOI BibTeX RDF
26	Juergen Rilling, Tuomas Klemola	Identifying Comprehension Bottlenecks Using Program Slicing and Cognitive Complexity Metric.	IWPC	2003	DBLP DOI BibTeX RDF	program comprehension, program slicing, complexity measures
26	Abhik Roychoudhury, C. R. Ramakrishnan 0001	Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
26	Shan Shan Huang, David Zook, Yannis Smaragdakis	Domain-specific languages and program generation with meta-AspectJ.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	program transformation, program verification, domain-specific languages, program synthesis, language extensions, Metaprogramming
26	Shoichi Nakamura, Keisuke Suzuki, Setsuo Yokoyama, Youzou Miyadera	A Learning Environment for Understanding of Program Division Patterns.	KES (3)	2007	DBLP DOI BibTeX RDF	program division, program modularization, active variable, program visualization
26	Taghi M. Khoshgoftaar, Robert M. Szabo, Jeffrey M. Voas	Detecting program modules with low testability.	ICSM	1995	DBLP DOI BibTeX RDF	aircraft computers, program module detection, low testability, static software product measures, dynamic quality measure, real time avionics software system, component program modules, classification performance, discriminant modeling methodology, real-time systems, software quality, software metrics, program testing, testability, testability analysis, principal components
26	Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza	Software Prototyping by Relational Techniques: Experiences with Program Construction Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	program construction systems, relational languages, Ada Relational Translator, compiler-interpreter, semantic analyzer, Multi-Micro Line, data structures, data structures, Ada, relational databases, relational databases, prototyping, programming environments, programming environments, interpreter, program compilers, kernel, relational algebra, program interpreters, ART, parser, debugger, MML, configuration control
26	Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee 0001, John Hatcliff, Matthew B. Dwyer	A new foundation for control dependence and slicing for modern program structures.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence
26	Shlomit S. Pinter, Ron Y. Pinter	Program Optimization and Parallelization Using Idioms.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	array data flow analysis, computational idioms, intermediate program representation, parallelism, reduction, dependence analysis, graph rewriting, parallel prefix, scan operations
26	Francoise Balmas	Toward a Framework for Conceptual and Formal Outlines of Programs.	WCRE	1997	DBLP DOI BibTeX RDF	formal program outlines, conceptual program outlines, program re-documentation, computation localization, code role identification, PRISME system, automatic outline construction, Lisp looping functions, reverse specification, model, reverse engineering, debugging, program understanding, loops
26	Jean-Marie Favre	Preprocessors from an Abstract Point of View.	WCRE	1996	DBLP DOI BibTeX RDF	program preprocessors, software maintenance problems, software variants, complex preprocessor files, problem comprehension, Champollion/APP, preprocessor maintenance, software tools, abstractions, program slicing, C language, program specialization, interprocedural data flow analysis, program processors, CPP
26	István Forgács	An Exact Array Reference Analysis for Data Flow Testing.	ICSE	1996	DBLP BibTeX RDF	approximate information, definition-use pairs, exact array reference analysis, formulae negation avoidance, precise method, program path execution, program testing, data flow analysis, arrays, program optimization, data flow testing, program parallelization