Search results for "program"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Shinichi Shirakawa, Tomoharu Nagao	Graph structured program evolution with automatically defined nodes.	GECCO	2009	DBLP DOI BibTeX RDF	automatically defined function, graph structured program evolution, graph-based genetic programming, genetic algorithm, evolutionary algorithm, genetic programming, automatic programming, recursive program
26	Rui Abreu 0001, Alberto González 0002, Peter Zoeteweij, Arjan J. C. van Gemund	Automatic software fault localization using generic program invariants.	SAC	2008	DBLP DOI BibTeX RDF	black box diagnosis, error detection, fault localization, program invariants, program spectra
26	Pablo Romero, Benedict du Boulay	Structural Knowledge and Language Notational Properties in Program Comprehension.	VL/HCC	2004	DBLP DOI BibTeX RDF	knowledge representation, program comprehension, program debugging
26	Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir	Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF	Addition of faulttolerance, Fault-tolerance, Program transformation, Theorem proving, Program synthesis, PVS, Mechanical verification
26	Roberto Giacobazzi, Isabella Mastroeni	Non-Standard Semantics for Program Slicing.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation
26	Zoran Budimlic, Ken Kennedy	Almost-whole-program compilation.	Java Grande	2002	DBLP DOI BibTeX RDF	almost-whole-program compilation, object-oriented optimization, whole-program compilation, Java, incremental compilation
26	Janusz W. Laski, William Stanley, Pawel Podgorski	Beyond ASIS: program data bases and tool-oriented queries.	SIGAda	2001	DBLP DOI BibTeX RDF	program data bases, verification, testing, Ada, static analysis, Software, queries, dynamic analysis, program dependencies, ASIS
26	Lindsay Groves	A formal approach to program modification.	APSEC	2000	DBLP DOI BibTeX RDF	semantically based transformations, program conjunction operator, software maintenance, software maintenance, software reuse, software reusability, refinement calculus, refinement calculus, program modification
26	Cynthia L. Corritore, Susan Wiedenbeck	Direction and Scope of Comprehension-Related Activities by Procedural and Object-Oriented Programmers: An Empirical Study.	IWPC	2000	DBLP DOI BibTeX RDF	object-oriented, program comprehension, mental models, program maintenance
26	Margaret-Anne D. Storey, Kenny Wong, Hausi A. Müller	How Do Program Understanding Tools Affect How Programmers Understand Programs?	WCRE	1997	DBLP DOI BibTeX RDF	program understanding tools, reverse engineering, user study, software maintenance, program comprehension, software visualization, Fisheye views
26	Zohar Manna, Richard J. Waldinger	Fundamentals of Deductive Program Synthesis.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	deductive program synthesis, deductive-tableau system, theorem-proving framework, nonclausal resolution rule, induction rule, formal specification, artificial intelligence, specification, theorem proving, program testing, reasoning, inference mechanisms, proof
26	Stephen J. Hartley	Compile-Time Program Restructuring in Multiprogrammed Virtual Memory Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	multiprogrammed virtual memory, virtual address space, compile-time restructuring, instruction-only address traces, optimum space-time, performance evaluation, data structures, compiler, program compilers, storage management, storage management, multiprogramming, storage allocation, memory allocations, virtual storage, program restructuring
26	Richard C. Waters	Program Translation via Abstraction and Reimplementation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	abstract understanding, reimplementation, Programmer's Apprentice, Hibol, business data processing language, PDP-11 object code, Pascal programs, data structures, data structures, compilers, knowledge based system, expert systems, Pascal, translator, program compilers, Cobol, COBOL, program interpreters
26	John Nations, Stanley Y. W. Su	Some DML Instruction Sequences for Application Program Analysis and Conversion.	SIGMOD Conference	1978	DBLP DOI BibTeX RDF	application program conversion, database conversion, program analysis and synthesis, database management, data manipulation language, schema change
26	Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren	The Program Dependence Graph and Its Use in Optimization.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF
26	Miryung Kim, David Notkin	Program element matching for multi-version program analyses.	MSR	2006	DBLP DOI BibTeX RDF	multi-version analysis, software evolution, matching
26	Andrea De Lucia, Anna Rita Fasolino, Malcolm Munro	Understanding Function Behaviors through Program Slicing.	WPC	1996	DBLP DOI BibTeX RDF
26	Steven P. Reiss	Graphical Program Development with PECAN Program Development Systems.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF	PECAN
26	Alberto Pettorossi, Maurizio Proietti, Sophie Renault	Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
26	Gail C. Murphy, David Notkin, Erica S.-C. Lan	An Empirical Study of Static Call Graph Extractors.	ICSE	1996	DBLP BibTeX RDF	C call graphs, CIA, cflow, extraction tools, gee, mapmaker, mk-functmap, rigiparse, static call graph extractors, understanding task, optimization, software engineers, compilers, graph theory, software tools, program understanding, program compilers, mosaic, software systems, program diagnostics, quantitative analysis, qualitative analysis, Field, software engineering tools, false negatives
26	Naoshi Uchihira, Shinichi Honiden	Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.	HICSS (2)	1995	DBLP DOI BibTeX RDF	fifth generation systems, compositional adjustment, correct concurrent program development, temporal logic constraints, MENDELS ZONE, program adjustment, finite-state process, arbiter process, partial serialization, imperfect processes, harmful nondeterministic behaviors, large-scale compound target processes, process equivalence theory, Multi-PSI, MENDEL concurrent programming language, kernel language, KL1, parallel computer, temporal logic, programming environments, programming environment, program debugging, high-level Petri net, constraint handling, multiprocessing programs, formal approach
26	Rajiv Gupta 0001, Mary Lou Soffa	Priority based data flow testing.	ICSM	1995	DBLP DOI BibTeX RDF	priority based data flow testing, def-use pairs, program change, software testing, software maintenance, software maintenance, software development, statistical analysis, program testing, regression testing, data flow analysis, error, test case generation, program diagnostics
25	Jorma Sajaniemi, Marja Kuittinen, Taina Tikansalo	A study of the development of students' visualizations of program state during an elementary object-oriented programming course.	ACM J. Educ. Resour. Comput.	2008	DBLP DOI BibTeX RDF	program state, visualization, object-oriented programming, CS1/2, mental representation
25	Alberto Pettorossi, Maurizio Proietti	Totally correct logic program transformations via well-founded annotations.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Program transformation rules, Partial and total correctness, Well-founded orderings, Logic programming
25	Jose Lorenzo Silva-Lugo	Measuring the effectiveness of circa operations training program.	SIGUCCS	2007	DBLP DOI BibTeX RDF	participatory methods, training program, evaluations
25	Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río	A monadic program slicer.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	modular monadic semantics, program slicer, monad, monad transformer
25	Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang	Modular Monadic Program Slicing.	COMPSAC	2004	DBLP DOI BibTeX RDF	program slicing, formal semantics, monads, monad transformers
25	Tao Zhang 0037, Santosh Pande, André L. M. dos Santos, Franz Josef Bruecklmayr	Leakage-proof program partitioning.	CASES	2002	DBLP DOI BibTeX RDF	multi-application smart card, mobile code, tamper-resistance, program partitioning
25	M. Ross Quillian	The teachable language comprehender: a simulation program and theory of language.	Commun. ACM	1969	DBLP DOI BibTeX RDF	human memory simulation, linguistic performance theory, natural language comprehension, psychological simulation, teachable computer program, natural language processing, computer linguistics
25	Phil McMinn	Search-based failure discovery using testability transformations to generate pseudo-oracles.	GECCO	2009	DBLP DOI BibTeX RDF	non-testable program, pseudo-oracle, search-based software testing, testability transformation, program transformation, oracle
25	Salvador Cavadini	Secure slices of insecure programs.	AsiaCCS	2008	DBLP DOI BibTeX RDF	information flow, program slicing, non-interference, program dependences
25	Philipp Rümmer, Muhammad Ali Shah	Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic.	TAP	2007	DBLP DOI BibTeX RDF	Disproving, Testing, Program verification, Program logics
25	Emily Hill 0001, Lori L. Pollock, K. Vijay-Shanker	Exploring the neighborhood with dora to expedite software maintenance.	ASE	2007	DBLP DOI BibTeX RDF	natural language program analysis, program exploration, software maintenance, software tools
25	Nevin Heintze, Joxan Jaffar, Razvan Voicu	A Framework for Combining Analysis and Verification.	POPL	2000	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, program verification
25	Manuel Blum 0001, Sampath Kannan	Designing Programs that Check Their Work.	J. ACM	1995	DBLP DOI BibTeX RDF	testing, program verification, probabilistic algorithms, interactive proofs, program checking
25	David W. Binkley	Precise Executable Interprocedural Slices.	LOPLAS	1993	DBLP DOI BibTeX RDF	program slicing, data dependence, control dependence, program dependence graph
25	Ted J. Biggerstaff	Factored Specifications In The Synthesis Of LISP Functions.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Automatic program synthesis, Factored specifications, LISP programs, LISP, Program specification
25	Susan Horwitz, Jan F. Prins, Thomas W. Reps	Integrating Noninterfering Versions of Programs.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
25	Shafi Goldwasser	Program Obfuscation and One-Time Programs.	CT-RSA	2008	DBLP DOI BibTeX RDF
25	Divya Arora, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	Hardware-Assisted Run-Time Monitoring for Secure Program Execution on Embedded Processors.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
25	Thomas Vestdam, Kurt Nørmark	Toward Documentation of Program Evolution.	ICSM	2005	DBLP DOI BibTeX RDF
25	Susan L. Gerhart	Correctness-Preserving Program Transformations.	POPL	1975	DBLP DOI BibTeX RDF
25	Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner	Towards a Wide Spectrum Language to Support Program Specification and Program Development.	Program Construction	1978	DBLP DOI BibTeX RDF
25	Karthik Sundaramoorthy, Zachary Purser, Eric Rotenberg	Slipstream Processors: Improving both Performance and Fault Tolerance.	ASPLOS	2000	DBLP DOI BibTeX RDF
25	Charles R. Blair	On Computer Transcription of Manual Morse.	J. ACM	1959	DBLP DOI BibTeX RDF
25	Anna-Lena Johansson	Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies.	LOPSTR	1993	DBLP BibTeX RDF
25	Bart Demoen	On the Transformation of a Prolog Program to a More Efficient Binary Program.	LOPSTR	1992	DBLP DOI BibTeX RDF
25	Jonathan M. Lever	Program Equivalence, Program Development and Integrity Checking.	LOPSTR	1991	DBLP DOI BibTeX RDF
24	Zéphyrin Soh	Context and Vision: Studying Two Factors Impacting Program Comprehension.	ICPC	2011	DBLP DOI BibTeX RDF	vision science, program context, Program comprehension, cognitive process
24	Mario Marcelo Berón, Maria João Varanda Pereira, Nuno Oliveira 0001, Daniela Carneiro da Cruz	SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains.	ICPC	2010	DBLP DOI BibTeX RDF	Program Domain, Problem Domain, Comprehension Strategies, Program Comprehension
24	Wayne Citrin, Carlos Santiago, Benjamin G. Zorn	Scalable Interfaces to Support Program Comprehension.	WPC	1996	DBLP DOI BibTeX RDF	user interfaces, Programming environments, program comprehension, program visualization
24	Jonathan C. Martin, Andy King	On the Inference of Natural Level Mappings.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
24	Deng-Jyi Chen, Min-Sheng Lin	On Distributed Computing Systems Reliability Analysis Under Program Execution Constraints.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	systems reliability analysis, program execution constraints, Fast Reliability Evaluation Algorithm, factoring theorem, program distributions, reliability-preserving reduction, graph theory, fault tolerant computing, distributed processing, network topologies, spanning tree, distributed program, programming theory, distributed computing systems, file distributions
24	Jong-Deok Choi, Ron Cytron, Jeanne Ferrante	On the Efficient Engineering of Ambitious Program Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	efficient engineering, compile-time methods, pointer references, array accesses, optimization phase, information benefit, analysis information volume, data-flow chains, reaching definitions, demand-driven computation, software engineering, compilers, optimisation, program analysis, programming environments, program compilers, data-flow analysis, program diagnostics, compact representation, static single assignment, procedure calls
24	Soonhoi Ha, Edward A. Lee	Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	data-flow program graphs, data-dependent iteration, fully dynamic, static-assignment, fully static, scheduling, parallel programming, programming, program compilers, assignment, parallel processors, self-timed, compile time scheduling, idle time, program processors, probability mass function
24	Martin P. Ward, Hussein Zedan	Slicing as a program transformation.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	FermaT, formal methods, reverse engineering, program transformation, reengineering, Slicing
24	Amir M. Ben-Amram, Chin Soon Lee	Program termination analysis in polynomial time.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	size-change graph, size-change termination, Abstraction, program analysis, termination analysis
24	Ian T. Foster, Stephen Taylor	A Compiler Approach to Scalable Concurrent-Program Design.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	program composition, monotonicity, programming abstractions, source-to-source transformations
24	Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu 0001	Extracting compiler provenance from program binaries.	PASTE	2010	DBLP DOI BibTeX RDF	program provenance, static binary analysis, forensics
24	Stephen A. Edwards	Using program specialization to speed SystemC fixed-point simulation.	PEPM	2006	DBLP DOI BibTeX RDF	fixed-point simulation, prespec, tempo, Simulation, SystemC, program specialization
24	Marek Tudruj, Janusz Borkowski, Damian Kopanski	Parallel Program Graphical Design with Program Execution Control Based on Global Application States.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF	Graphical parallel program design, Distributed computing, Consistent global states
24	Scott R. Tilley, Shihong Huang	On Selecting Software Visualization Tools for Program Understanding in an Industrial Context.	IWPC	2002	DBLP DOI BibTeX RDF	tool selection, program understanding, software visualization, industry
24	Jean-Christophe Deprez, Arun Lakhotia	A Formalism to Automate Mapping from Program Features to Code.	IWPC	2000	DBLP DOI BibTeX RDF	software maintenance, program comprehension, Feature, test cases
24	Margaret Ann Francel, Spencer Rugaber	The Relationship of Slicing and Debugging to Program Understanding.	IWPC	1999	DBLP DOI BibTeX RDF	reverse engineering, debugging, Program slicing
24	Kenny Wong	On Inserting Program Understanding Technology into the Software Change Process.	WPC	1996	DBLP DOI BibTeX RDF	metaprocess, technology insertion, reverse engineering, software process, program understanding
24	Alex Quilici, Steven Woods	Toward a Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms.	WPC	1996	DBLP DOI BibTeX RDF	Constraint Satisfaction, Program understanding, Algorithm evaluation
24	Boris I. Cogan, Elena A. Shalfeeva	A Generalized Structural Model of Structured Programs for Software Metrics Definition.	Softw. Qual. J.	2002	DBLP DOI BibTeX RDF	language-oriented approach, measuring language model, measuring program model, structural program model, program unit model, information flow graph, software metric, Software measurement, software model, structured program, control flow graph
24	Guido Wirtz	Modularization, re-use and testing for parallel message-passing programs.	HICSS (2)	1995	DBLP DOI BibTeX RDF	parallel message-passing programs, program reuse, parallel program design, imperative message-passing programming language, distributed memory paradigm, graphical constructs, sequential parts, slightly restricted ANSI-C, formal specification, parallel programming, message passing, modularization, requirements, program testing, program testing, software reusability, distributed memory systems, parallel languages, sequential programming
24	Giuliano Antoniol, Roberto Fiutem, Ettore Merlo, Paolo Tonella	Application and user interface migration from BASIC to Visual C++.	ICSM	1995	DBLP DOI BibTeX RDF	BASIC PC legacy code reengineering, automatic migration, BASIC character oriented user interface, event driven C code compilation, event driven C++ code compilation, abstract graphical objects, call-backs, code translation, graphical user interfaces, software maintenance, software maintenance, visual languages, visual languages, translator, program compilers, program compilers, object-oriented languages, object-oriented languages, systems re-engineering, systems re-engineering, C language, C language, program interpreters, program interpreters, graphical systems, user interface migration, BASIC, BASIC, BASIC, GUI builder, application migration, Visual C++
24	Nirmal R. Saxena, Edward J. McCluskey	Linear Complexity Assertions for Sorting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data
24	Vijay Menon 0002, Keshav Pingali, Nikolay Mateev	Fractal symbolic analysis.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Compilers, program transformation, program optimization, symbolic analysis
24	Christian Schwennen, Bernhard Zimolong	Defeating Back Pain at the Workplace: Results of the "Healthy Back" Program.	HCI (15)	2009	DBLP DOI BibTeX RDF	worksite health promotion program, multilevel program, back pain, health management
24	Wei Zhao 0006, Lu Zhang 0023, Jiasu Sun, Hong Mei 0001	An objective-oriented approach to program comprehension using multiple information sources.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	feature-oriented program comprehension, information retrieval, program comprehension, feature location
24	Emily Hill 0001	Developing natural language-based program analyses and tools to expedite software maintenance.	ICSE Companion	2008	DBLP DOI BibTeX RDF	natural language program analysis, program exploration, software maintenance, software tools
24	Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe	An Intelligent Safety Verification Based on a Paraconsistent Logic Program.	KES (2)	2005	DBLP DOI BibTeX RDF	EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), paraconsistent logic program, intelligent control, safety verification
24	Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel	Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	semantics-based program manipulation, predictable partial evaluation, declaration of specialization opportunities, program specialization
24	Chris Hankin	Program Analysis Tools.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Types and effects, Program analysis generator, Program analysis, Abstract interpretation, Data flow analysis
24	Jonah Z. Lavi, Bonnie E. Melhart, Ian Pyle	Engineering of computer-based systems-a proposed curriculum for a degree program at Master level.	ECBS	1997	DBLP DOI BibTeX RDF	Master level degree program, ECBS Master program, industrial training programs, systems engineering, courses, computer-based systems engineering
24	Anthony M. Sloane	Generating Dynamic Program Analysis Tools.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	dynamic program analysis tool generation, instrumentation based systems, analysis algorithm specification, implicit storage allocation, automatic sequencing, Wyong system, analysis module specification, Eli compiler generation system, ATOM program instrumentation system, instrumentation code, ATOM instrumented binary, specification based method, instrumentation based implementation, automatic programming, attribute grammars, data sources, dynamic structure
24	Harry M. Sneed	Program Interface Reengineering for Wrapping.	WCRE	1997	DBLP DOI BibTeX RDF	program interface reengineering, program wrapping, old software component encapsulation, new object-oriented architecture, well defined interfaces, global data, ATM booking system, reusable objects, maintainable programs, systems re-engineering
24	Eui Hyun Paik, Young-Sik Chung, Byung-Sun Lee, Chae Woo Yoo	A concurrent program debugging environment using real-time replay.	ICPADS	1997	DBLP DOI BibTeX RDF	concurrent program debugging environment, real-time replay, error-occurred execution, event history file, program debugging, process scheduling, message latencies
24	Tai-Yi Huang, Jane W.-S. Liu, David Hull	A Method for Bounding the Effect of DMA I/O Interference on Program Execution Time.	RTSS	1996	DBLP DOI BibTeX RDF	DMA I/O operation, program execution time, DMA controller, cycle-stealing mode, bus cycles, cycle stealing operation, executing program, machine instruction, instruction-cache architectures, input output operation, simulations, real-time systems, worst-case execution time, data transfer
24	Darren C. Atkinson, William G. Griswold	The Design of Whole-Program Analysis Tools.	ICSE	1996	DBLP BibTeX RDF	software architecture, compiler, program understanding, program slicing, context-sensitive, interprocedural analysis, demand-driven
24	Christoph W. Kessler	Pattern-driven automatic program transformation and parallelization.	PDP	1995	DBLP DOI BibTeX RDF	PARAMAT system, sequential numeric codes, dense vectors, distributed memory message-passing multiprocessors, pattern recognition tool, pattern recognition, parallel algorithm, parallel programming, parallelization, software tools, distributed memory systems, automatic programming, program semantics, automatic program transformation
24	Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita, Tadaaki Tani	Semi-Automatic Program Construction From Specifications Using Library Modules.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	case-like expressions, semiautomatic specification refinement, library modules, refinement system, module-aided program construction system, pseudo-natural language expressions, formal specification, software tools, MAPS, programming language, automatic programming, subroutines, program generation
24	Mark Moriconi, Timothy C. Winkler	Approximate Reasoning About the Semantic Effects of Program Changes.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	semantic effects, program changes, logical technique, direct analysis, parametrized modules, structural interpretation, formal specification, program verification, inference mechanisms, approximate reasoning, procedures, inference system, global variables
24	Takashi Masuda	Effect of Program Localities on Memory Management Strategies.	SOSP	1977	DBLP DOI BibTeX RDF	Performance evaluation, Memory management, Multiprogramming, Program behavior, Program locality, Computer system simulation
24	Matthew M. Geller	Test Data as an Aid in Proving Program Correctness.	POPL	1976	DBLP DOI BibTeX RDF	Inductive assertions, Modular programming, Program verification, Program testing, Recursive programs
24	Noah S. Prywes, Amir Pnueli, S. Shastry	Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
24	Thomas Gschwind, Johann Oberleitner, Martin Pinzger 0001	Using Run-Time Data for Program Comprehension.	IWPC	2003	DBLP DOI BibTeX RDF
24	John P. Gallagher	A Program Transformation for Backwards Analysis of Logic Programs.	LOPSTR	2003	DBLP DOI BibTeX RDF
24	Tomonori Takada, Fumiaki Ohata, Katsuro Inoue	Dependence-Cache Slicing: A Program Slicing Method Using Lightweight Dynamic Information.	IWPC	2002	DBLP DOI BibTeX RDF
24	Jussi Koskinen	Empirical Evaluation of Hypertextual Information Access from Program Text.	IWPC	1999	DBLP DOI BibTeX RDF
24	Mark Harman, Chris Fox, Robert M. Hierons, David W. Binkley, Sebastian Danicic	Program Simplification as a Means of Approximating Undecidable Propositions.	IWPC	1999	DBLP DOI BibTeX RDF	Testing, Transformation, Slicing
24	Amy J. Ko, Brad A. Myers, Michael J. Coblenz, Htet Htet Aung	An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Program investigation, program comprehension, program understanding, empirical software engineering, information foraging, information scent
24	Zhenqiang Chen, Baowen Xu, Jianjun Zhao 0001	An overview of methods for dependence analysis of concurrent programs.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	concurrent program dependence graph, program dependence analysis, concurrency, program slicing
24	Trent Hill, James Noble 0001, John Potter	Scalable Visualisations with Ownership Trees.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	program visualisation, scalable visualisations, ownership trees, top-level components, implicit aggregation structure, scale-independent topology, low-level data structure, software visualisation tool, learning, object-oriented programming, object-oriented programs, software maintenance, debugging, computer science education, teaching, program debugging, tree data structures, abstraction levels, object graph, program maintenance
24	Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa	A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.	ICSE	1996	DBLP BibTeX RDF	definition-use pairs, demand-driven analyzer, exhaustive analyzer, incremental analyzer, incremental data-flow updates, large program testing, program procedure interfaces, test case requirements, performance, static analysis, program testing, data flow analysis, unit testing, overhead, integration testing, data flow testing
24	Shing-Chi Cheung, Jeff Kramer	Checking Subsystem Safety Properties in Compositional Reachability Analysis.	ICSE	1996	DBLP BibTeX RDF	automated method, compositional reachability analysis, evolutionary change, gas station system, globally observable actions, hierarchical subsystem composition, safety property violation, subsystem safety property checking, undefined state, software engineering, software architecture, software developers, distributed processing, program analysis, finite state machines, finite-state machines, safety, distributed program, reachability analysis, program diagnostics, interacting processes
24	Tae-Hyung Kim, James M. Purtilo	A Source-Level Transformation Framework for RPC-Based Distributed Programs.	HPDC	1996	DBLP DOI BibTeX RDF	source-level transformation framework, procedure call abstraction, programming task simplification, program analysis techniques, performance, parallel programming, distributed programs, remote procedure calls, remote procedure call, control flow, program diagnostics, code optimization, program control structures