Search results for "program"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Chris Hankin, Hanne Riis Nielson, Jens Palsberg	Position Statements on Strategic Directions for Research on Programming Languages.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
87	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
70	William E. Howden, Bruce Wieand	QDA-A Method for Systematic Informal Program Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	QDA, systematic informal program analysis, program properties, Quick Defect Analysis, comments analysis, abstract program model, hypothesis-driven method, operational flight program, formal specification, formal verification, specification, program verification, program verification, programming theory, program debugging, program diagnostics, program validity, code reading
55	Habib Ammari	Towards Program Debugging and Dynamic Reverse Engineering Using Multi-procedure Program Dynamic Decomposition.	HICSS (5)	1997	DBLP DOI BibTeX RDF	dynamic reverse engineering, dynamic decomposition, dynamic dependency relations, program execution path, dynamic program thread, dynamic lattice, incremental dynamic lattice, Software engineering, debugging
54	Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum	A (de)constructive approach to program checking.	STOC	2008	DBLP DOI BibTeX RDF	program testing, program correcting, program checking
51	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	Program dependence analysis of concurrent logic programs and its applications.	ICPADS	1996	DBLP DOI BibTeX RDF	program dependence analysis, language-independent program representations, dependence-based program representation, Literal Dependence Net, software engineering, testing, parallel programming, logic programming, software maintenance, debugging, software metrics, programming environments, programming environment, maintenance, program slicing, formal model, program debugging, data flows, control flows, complexity measurement, concurrent logic programs
48	Jeremy Boggs, Bethany Nowviskie, Alexander Gil, Eric Johnson, Brooke Lestock, Sarah Storti, Joanna Swafford, Praxis Program Collaborators	Realigning Digital Humanities Training: The Praxis Program at the Scholars' Lab.	DH	2012	DBLP BibTeX RDF
47	Bogdan Korel	PELAS - Program Error-Locating Assistant System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	PELAS, program error-locating assistant system, error localization assistant, Pascal programs, knowledge representation, knowledge representation, software tools, knowledge based system, knowledge based systems, program verification, reasoning, Pascal, interactive systems, program debugging, program debugging, program structure, dependence network
46	Panagiotis K. Linos	PolyCARE: a tool for re-engineering multi-language program integrations.	ICECCS	1995	DBLP DOI BibTeX RDF	multi-language program integration reengineering tool, PolyCARE tool, multiple programming languages, program component formalisation, program component classification, program component relationships, poly-paradigmatic computer-aided re-engineering, dependency detection, dependency visualisation, transformation mechanisms, partitioning techniques, software maintenance, software tools, systems analysis, program comprehension, maintenance, data visualisation, computer aided software engineering, multiprogramming, systems re-engineering, presentation model
46	Robert Paige	Transformational Programming - Applications to Algorithms and Systems.	POPL	1983	DBLP DOI BibTeX RDF
45	Joseph R. Ruthruff	Experimental program analysis: a new paradigm for program analysis.	ICSE	2006	DBLP DOI BibTeX RDF	experimental program analysis, program analysis, experimentation
45	Songwen Xu, Yam San Chee	Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Automatic program diagnosis, programming tutoring systems, program comparison, program matching, program transformation, program representation
45	Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi	Program Optimizations and Transformations in Calculation Form.	GTTSE	2005	DBLP DOI BibTeX RDF	Program Transformation, Functional Programming, Program Optimization, Meta Programming, Program Calculation
44	Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons	Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension.	IWPC	2001	DBLP DOI BibTeX RDF	Conditioned program slicing, program specialisation, path condition analysis
44	Hideki Koike, Manuba Aida	A Bottom-Up Approach for Visualizing Program Behavior.	VL	1995	DBLP DOI BibTeX RDF	program behavior visualisation, program execution visualisation, concrete pictures, abstract picture, local pictures, local drawing rules, scaling mechanism, conceptual program structure, Scheme interpreter, visual programming, visual languages, program understanding, data visualisation, system monitoring, program interpreters, bottom-up approach
44	Wesley K. Kaplow, William Maniatty, Boleslaw K. Szymanski	Impact of memory hierarchy on program partitioning and scheduling.	HICSS (2)	1995	DBLP DOI BibTeX RDF	parallel program scheduling, nonlinear cache-miss rates, loop nest execution simulation, architecturally parameterized cache simulator, loop range, cache-miss ratio, loop interchange, iteration-space blocking, program runtime estimation, IBM 9076 SP1, SuperSPARC, scheduling, parallel programming, optimisation, memory hierarchy, processor scheduling, software performance evaluation, memory architecture, cache storage, program optimization, cache performance, program control structures, program partitioning, Intel i860
43	Antonia Bertolino, Martina Marré	Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers
43	Francoise Balmas, Harald Wertz, Janice Singer	Understanding Program Understanding.	IWPC	2000	DBLP DOI BibTeX RDF	working session, research group, program understanding
42	Patrick Cousot, Radhia Cousot	Systematic Design of Program Analysis Frameworks.	POPL	1979	DBLP DOI BibTeX RDF
42	US Military HIV Research Program	RV144 Vaccine.		2022	DOI RDF
42	The Univalent Foundations Program	Homotopy Type Theory: Univalent Foundations of Mathematics.	CoRR	2013	DBLP DOI BibTeX RDF
42	The Univalent Foundations Program	Homotopy Type Theory: Univalent Foundations of Mathematics.		2013	RDF
42	Gwendolyn Nally, Chris Peck, Shane Lin, Cecilia Márquez, Claire Maiers, Brandon Walsh, Jeremy Boggs, Praxis Program Team	Interfaces for Crowdsourcing Interpretation.	DH	2013	DBLP BibTeX RDF
42	Yamine Aït Ameur	A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs.	ASE	1997	DBLP DOI BibTeX RDF	nonfunctional property evaluation, numerical type, numerical computational accuracy, reverse engineering, reverse engineering, software maintenance, program transformations, program analysis, software reuse, program comprehension, functional language, data representations, program design, numerical programs
42	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study.	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
42	Gopal Chillariga, Balkrishna Ramkumar	Performance prediction for portable parallel execution on MIMD architectures.	IPPS	1995	DBLP DOI BibTeX RDF	portable parallel execution, parallel program development, simulation based approach, portable-parallel programs, Charm, message driven programming environment, program portability, MIMD parallel systems, single debugging environment, portable parallel software, parallel programming, parallel architectures, feedback, program verification, performance prediction, parallel systems, program debugging, software portability, program correctness, performance debugging, performance bottlenecks, MIMD architectures, program performance
41	Jia Liang Han	Program Partition and Logic Program Analysis.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	logic programming, query optimization, program verifications, deductive databases, semantic analysis, Declarative programming, program partitions
41	Markus Lindgren, Hans Hansson, Henrik Thane	Using measurements to derive the worst-case execution time.	RTCSA	2000	DBLP DOI BibTeX RDF	execution time analysis, program flow analysis, low level timing information, low level timing analysis, program execution times, timing measurements, instrumented version, program fragments, non-exhaustive measurements, program paths, realistic processor model, scheduling, real-time systems, real time systems, embedded systems, worst-case execution time, pipeline processing, schedulability analysis, program diagnostics, architectural modeling, pipeline architectures, flow graphs, timing estimates, target architecture, system of linear equations
41	Mariam Kamkar, Patrik Krajina, Peter Fritzson	Dynamic Slicing of Parallel Message-Passing Programs.	PDP	1996	DBLP DOI BibTeX RDF	parallel message-passing programs, program maintenance activities, new functionality, software development resources, computer-supported methods, error sources, parallel MIMD computer, distributed systems, parallel programming, software testing, software maintenance, debugging, message passing, software metrics, program testing, dependence analysis, program debugging, software complexity, dynamic program slicing, program decomposition
41	David Lorge Parnas, Jan Madey, Michal Iglewski	Precise Documentation of Well-Structured Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	precise documentation, well-structured programs, program fragments, reference document, functional approach, program documentation, tabular form, software engineering, formal specification, specification, software maintenance, software maintenance, program verification, program verification, displays, software inspection, index, structured programming, lexicon, system documentation, program correctness
41	Stan Jarzabek	Design of Flexible Static Program Analyzers with PQL.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Program analysis for understanding, program query language, reverse engineering, software maintenance, program modeling, tool generation
41	Yingsha Liao, Donald Cohen	A Specificational Approach to High Level Program Monitoring and Measuring.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	program measurement, specificational approach, high level program monitoring, execution characteristics, instrumentation code, high-level specification language, augmented program, complexities, formal specification, software metrics, specification languages, automatic programming, system monitoring, special-purpose hardware
41	Chiyan Chen, Hongwei Xi	Implementing typeful program transformations.	PEPM	2003	DBLP DOI BibTeX RDF	DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style
40	Bülent Abali, Craig B. Stunkel	Time synchronization on SP1 and SP2 parallel systems.	IPPS	1995	DBLP DOI BibTeX RDF	SP2 parallel system, SP1 parallel system, experimental time utility, operating system clocks, node clocks, synchronous feature, parallel program performance measurement, parallel program tuning, parallel program tracing, parallel program debugging, parallel processes, interconnection network, multiprocessor interconnection networks, multiprocessor interconnection networks, parallel machines, parallel machines, synchronisation, synchronisation, processor scheduling, processor scheduling, software performance evaluation, software performance evaluation, program debugging, program debugging, clocks, clocks, operating systems (computers), operating systems (computers), time synchronization, gang scheduling, reduced instruction set computing, reduced instruction set computing
40	Barton P. Miller, Morgan Clark, Jeffrey K. Hollingsworth, Steven Kierstead, Sek-See Lim, Timothy Torzewski	IPS-2: The Second Generation of a Parallel Program Measurement System.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	IPS-2, parallel program measurement system, performance measurement system, performance analysis techniques, program bottlenecks, interactive program analysis, automatic guidance techniques, Charlotte distributed operating system, 4.3BSD UNIX systems, DECstation, Sun 4, Sequent Symmetry multiprocessor, performance evaluation, parallel programs, parallel programming, semantics, graphical user interface, software tools, Unix, shared-memory systems, distributed programs, network operating systems, program diagnostics, VAX, design concepts, message systems, CPA
40	Beatrice Lazzerini, Lanfranco Lopriore	Abstraction Mechanisms for Event Control in Program Debugging.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	event control, program entities, program statements, program debugginga, data structures, monitoring, program debugging, conditionals, abstraction mechanisms
40	Muneo Takahashi, Yuji Kamayachi	An Empirical Study of a Model for Program Error Prediction.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	program error prediction, programmer skill, program specification change, program design documentation, software engineering, software development, program testing, testing phase, large-scale software systems
40	G. A. Venkatesh	Experimental Results from Dynamic Slicing of C Program.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	program analysis, program slice
39	Cheng Wang 0019, Zhiyuan Li 0001	Parametric analysis for adaptive computation offloading.	PLDI	2004	DBLP DOI BibTeX RDF	program profiling, distributed system, program transformation, program analysis, handheld devices, program partitioning, adaptive optimization, computation offloading
39	Samual Bates, Susan Horwitz	Incremental Program Testing Using Program Dependence Graphs.	POPL	1993	DBLP DOI BibTeX RDF
39	Thomas W. Reps, Wuu Yang	The Semantics of Program Slicing and Program Integration.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
38	Agastya Nanda, Mangala Gowri Nanda	Gaining insight into programs that analyze programs: by visualizing the analyzed program.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	visualization, analysis
38	Tao Xie 0001, David Notkin	Checking Inside the Black Box: Regression Testing by Comparing Value Spectra.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	software testing, empirical studies, software maintenance, regression testing, Program spectra
38	Thomas Kunz	Evaluating process clusters to support automatic program understanding.	WPC	1996	DBLP DOI BibTeX RDF	process cluster evaluation, automatic program understanding, static source analysis, application execution, reverse engineering, software maintenance, software maintenance, distributed processing, software tools, software tools, software design, distributed application, program debugging, program diagnostics, interprocess communication, distributed debugging, program development, quantitative evaluation, application design, prototypical tools
38	Jan Heering, Paul Klint, J. Rekers	Lazy and Incremental Program Generation.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	incremental program generation, lazy and incremental compilation, lazy and incremental generation of lexical scanners, lazy and incremental generation of parsers, program generator, greedy, lazy
38	Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel	Experimental program analysis: a new program analysis paradigm.	ISSTA	2006	DBLP DOI BibTeX RDF	experimental program analysis, program analysis, experimentation
38	Yang Li 0028, Hongji Yang	Simplicity: A Key Engineering Concept for Program Understanding.	IWPC	2001	DBLP DOI BibTeX RDF	knowledge recovery, program understanding, program partitioning, programming styles
38	Pierre Flener, Kung-Kiu Lau, Mario Ornaghi	Correct-Schema-Guided Synthesis of Steadfast Programs.	ASE	1997	DBLP DOI BibTeX RDF	steadfast programs, semi-automated software development, schema correctness, structured program design principles, hierarchical program synthesis, syntactic representation, higher-order expressions, informal knowledge capture, program schema formalisation, open first-order logical theory, open logic program, logic programming, program synthesis, domain knowledge
38	Gene Fisher	An Overview of a Graphical Multilanguage Applications Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	graphical multilanguage applications environment, Pascal-class languages, multilanguage interpreter, interactive development, graphical program interface, software control panel, graphical design tool, executable block diagrams, user interfaces, user interfaces, software tools, software tools, programming environment, programming environments, program debugging, program debugging, program interpreters, engineering graphics, engineering graphics, program execution, engineering applications
37	Wenjin Lu, Ulrich Furbach	Disjunctive Logic Program = Horn Program + Control Program.	JELIA	1998	DBLP DOI BibTeX RDF
37	Germán Puebla, Manuel V. Hermenegildo	Abstract specialization and its applications.	PEPM	2003	DBLP DOI BibTeX RDF	logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization
37	Bogdan Korel	Computation of Dynamic Program Slices for Unstructured Programs.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	removable block, unstructured program, debugging, Program slicing, data dependence, control dependence, execution trace, dynamic program slicing
37	David P. Helmbold, Charles E. McDowell, Jian-Zhong Wang	Determining Possible Event Orders by Analyzing Sequential Traces.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	sequential traces, intermittentdeadlock, inferred program, data racedetector, constraint checker, parallel program, parallel programming, synchronization, debugging, program testing, program debugging, data races, execution trace, automated tools, event orders
37	Gruia-Catalin Roman, Rose F. Gamble, William E. Ball	Formal Derivation of Rule-Based Programs.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	efficient concurrent rule-based programs, initial rule-based program, program derivation strategy, UNITY programs, correct rule-based program, static knowledge base, formal specification, parallel programming, logic programming, knowledge based systems, computational model, Swarm, OPS5, specification refinement, correctness criteria, program refinement
37	Mariam Kamkar, Patrik Krajina	Dynamic slicing of distributed programs.	ICSM	1995	DBLP DOI BibTeX RDF	program maintenance activities, computer supported methods, distributed dynamic dependence graph, communication dependences, distributed dynamic slicer, ANSI-C programming language, parallel MIMD computer, Parsytec GC/Powerplus, parallel programming, graph theory, software maintenance, message passing, program slicing, distributed programs, dependence analysis, program diagnostics, dynamic slicing, dynamic slice, static slice
37	Kenneth Janz, Ken Graetz	Status of a digital life and learning program.	SIGUCCS	2009	DBLP DOI BibTeX RDF	anytime, anywhere learning, digital life and learning, laptop program, management of laptops, one-to-one computing, student computer ownership, training, faculty development
37	Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward	Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs.	POPL	1980	DBLP DOI BibTeX RDF
36	Jun Sawamoto, Eiji Sugino, Norihisa Segawa, Yuji Wada	Program Learning Using Static Information and Dynamic Program Execution Slices.	AINA Workshops	2010	DBLP DOI BibTeX RDF	execution history, program reuse, program understanding, program learning, program maintenance
36	Ke Wang, Li-Yan Yuan	First-Order Logic Characterization of Program Properties.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	eductive databases, program properties, order reducible, FO-reducible programs, EDBs, database context, theorem-proving tools, stratified acyclic program, general chained program, bounded program, nonrecursive program, perfect models, extensional database, query processing, logic programming, logic programs, database theory, deductive databases, first-order logic, updates, integrity constraints, programming theory, fixed points, formal logic, inference rules, query answering, first-order theory
36	Jaroslav Král	One way of estimating frequencies of jumps in a program.	Commun. ACM	1968	DBLP DOI BibTeX RDF	Markov chain program correspondence, control transfers estimation, jump frequencies, jump frequencies estimation, locally estimated jump frequencies, object program reduction, one-entry subgraph, optimal program segmentation, program segmentation algorithm, supervisor calls decreasing, supervisor overheading decreasing, program graph
36	Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers	Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization.	PASTE	2001	DBLP DOI BibTeX RDF	calpa, dynamic analysis, program understanding, program optimization, points-to analysis, alias analysis, program instrumentation
36	Sandrine Blazy, Philippe Facon	Interprocedural analysis for program comprehension by specialization.	WPC	1996	DBLP DOI BibTeX RDF	partial evaluation (compilers), visibility rules, reverse engineering, software maintenance, software maintenance, software tools, software tool, FORTRAN, Fortran, program comprehension, program compilers, partial evaluation, specialization, program diagnostics, interprocedural analysis, application programs
36	Richard Eric Mortimer, Keith H. Bennett	Maintenance and abstraction of program data using formal transformations.	ICSM	1996	DBLP DOI BibTeX RDF	program data abstraction, program data maintenance, formal transformations, DREAM method, Data Reverse Engineering and Abstraction Mechanism method, program data restructuring, data changes, code manipulation, discrete types, software maintenance, program transformations, generic method
36	Yoshihiko Kawai, Hideki Sumiyoshi, Nobuyuki Yagi	Automated production of TV program trailer using electronic program guide.	CIVR	2007	DBLP DOI BibTeX RDF	TV program trailer, AdaBoost, Bayesian belief network, closed caption, electronic program guide
36	Jacob M. Howe, Andy King, Lunjin Lu	Analysing Logic Programs by Reasoning Backwards.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
36	Bogdan Korel, Juergen Rilling	Dynamic Program Slicing in Understanding of Program Execution.	WPC	1997	DBLP DOI BibTeX RDF
36	Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien	Behavioral similarity matching using concrete source code templates in logic queries.	PEPM	2007	DBLP DOI BibTeX RDF	logic meta programming, program querying, source code templates, program analysis, pattern detection, program validation
36	David W. Binkley, Susan Horwitz, Thomas W. Reps	Program Integration for Languages with Procedure Calls.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	flow-insensitive summary information, semantics-based program integration, program slicing, data-flow analysis, data dependence, control dependence, program dependence graph
35	Saurabh Srivastava 0001, Sumit Gulwani, Jeffrey S. Foster	From program verification to program synthesis.	POPL	2010	DBLP DOI BibTeX RDF	proof-theoretic program synthesis, verification
35	Thomas G. Moher	PROVIDE: A Process Visualization and Debugging Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	process visualization environment, PROVIDE, University of Illinois, deferred-binding program animation, process history consistency maintenance, Macintosh workstations, VAX 11/780, 4.2 BSD Unix, computer graphics, programming environments, program debugging, program debugging, program execution, interactive computer graphics, debugging environment
35	Baowen Xu, Ju Qian, Xiaofang Zhang, Zhongqiang Wu, Lin Chen 0015	A brief survey of program slicing.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	debugging, program analysis, program slicing, dependence analysis, pointer analysis
35	Mike Jochen, Anteneh Addis Anteneh, Lori L. Pollock, Lisa M. Marvel	Enabling control over adaptive program transformation for dynamically evolving mobile software validation.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	dynamic and adaptive program transformation, integrity, program analysis, computer security, mobile code
35	Morten Heine Sørensen	Convergence of Program Transformers in the Metric Space of Trees.	MPC	1998	DBLP DOI BibTeX RDF
35	Larry J. Morell	A Theory of Fault-Based Testing.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	fault-based program testing, prescribed faults, alternate expressions, program expressions, symbolic alternative, propagation equation, alternative set, finite test, computational complexity, program verification, symbolic execution, symbol manipulation, test set
35	Alberto Pettorossi, Maurizio Proietti	Program Derivation = Rules + Strategies.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
34	Manuel Alfonseca 0001	Object Oriented Programming (Tutorial).	APL	1990	DBLP DOI BibTeX RDF	APL, C++, Smalltalk
34	E. M. Boehm, Thomas B. Steel Jr.	The Share 709 System: Machine Implementation of Symbolic Programming.	J. ACM	1959	DBLP DOI BibTeX RDF
34	Vincent J. DiGri, Jane E. King	The Share 709 System: Input-Output Translation.	J. ACM	1959	DBLP DOI BibTeX RDF
34	Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi	Deterministic Higher-Order Patterns for Program Transformation.	LOPSTR	2003	DBLP DOI BibTeX RDF	Higher-order pattern matching, Fusion transformation, Program transformation, Functional programming, Program derivation
34	Gerardo Canfora, Aniello Cimitile	Algorithms for program dependence graph production.	ICSM	1995	DBLP DOI BibTeX RDF	program dependence graph production algorithms, software maintenance workbench, automatic external representation construction, F(p) program representation, program information access, control dependence graph, use sets, variable definition, graph theory, software maintenance, index, internal representation
34	Wuu Yang, Susan Horwitz, Thomas W. Reps	A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	coarsest partition, flow dependence, program integration, program representation graph, data-flow analysis, data dependence, control dependence, program dependence graph, static-single-assignment form
33	W. Eric Wong, Swapna S. Gokhale, Joseph Robert Horgan	Metrics for Quantifying the Disparity, Concentration, and Dedication between Program Components and Features.	IEEE METRICS	1999	DBLP DOI BibTeX RDF	program features, invoking input, excluding input, feature concentration, component dedication, disparity between feature and component, program comprehension, execution slice
33	David Notkin	Longitudinal program analysis.	PASTE	2002	DBLP DOI BibTeX RDF
33	J. C. Huang 0001	State Constraints and Pathwise Decomposition of Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	state constraint, program pathwise, subprograms, execution paths, formal basis, pathwise decomposition, software engineering, computational complexity, verification, testing, program testing, control flow, programming construct, program simplification
32	Andreas Stefik, Kelly Fitz, Roger T. Alexander	Layered Program Auralization: Using Music to Increase Runtime Program Comprehension and Debugging Effectiveness.	ICPC	2006	DBLP DOI BibTeX RDF	sonified debugging, layered program auralization, testing, Fault detection, music
32	Arie van Deursen, Joost Visser 0001	Building Program Understanding Tools Using Visitor Combinators.	IWPC	2002	DBLP DOI BibTeX RDF	visitor design pattern, Program analysis, program comprehension, software visualization
32	Noé Lopez-Benitez	Dependability Modeling and Analysis of Distributed Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program reliability, program availability, distributed computing system environment, repair actions, global repair mode, centralized repair team, system status restoration, failure state, local repair model, program interruption, Petri nets, distributed algorithms, software reliability, distributed programs, stochastic processes, programming theory, dependability analysis, system recovery, stochastic Petri nets, program diagnostics, hardware support, multiprocessing programs, program execution, file distribution, dependability modeling, hardware faults
32	Yoshihiro Tohma, Hisashi Yamano, Morio Ohba, Raymond Jacoby	The Estimation of Parameters of the Hypergeometric Distribution and Its Application to the Software Reliability Growth Model.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	program fault estimation, least-squares sum method, software reliability, parameter estimation, parameter estimation, program testing, program testing, program debugging, program debugging, least squares approximations, software reliability growth model, hypergeometric distribution
32	Chang-Burm Cho, Tao Li 0006	Using Wavelet Domain Workload Execution Characteristics to Improve Accuracy, Scalability and Robustness in Program Phase Analysis.	ISPASS	2007	DBLP DOI BibTeX RDF	program execution variability, workload execution statistics, program phase analysis, computer architecture design, computer architecture optimization, program execution statistics, SPEC CPU 2000 benchmark, wavelet domain phase analysis, runtime workload execution characteristics, scalable phase analysis, sampled workload statistics, phase classification accuracy, wavelet transform, time domain, wavelet denoising
32	Rakesh Jha, J. Michael Kamrad II, Dennis T. Cornhill	Ada Program Partitioning Language: A Notation for Distributing Ada Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Honeywell, Ada program partitioning language, Distributed Ada project, host development environment, language translation tools, complexity, Ada, Ada, distributed processing, software tools, distributed applications, run-time system, program interpreters, program design, APPL, hardware configuration
32	R. Geoff Dromey	Systematic Program Development.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	goal-oriented programming, case analysis, constructive program proofs, software engineering, data structure, refinements, programming, program development, problem decomposition, program structure, postcondition
32	Yutao Zhong 0001, Xipeng Shen, Chen Ding 0001	Program locality analysis using reuse distance.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	stack distance, training-based analysis, reuse distance, Program locality
32	Frederica Darema	The Next Generation Software Program.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	Next Generation Software Program, TPES, CADSS
32	Alberto Pettorossi, Maurizio Proietti	A theory of totally correct logic program transformations.	PEPM	2004	DBLP DOI BibTeX RDF	partial and total correctness, program transformation rules, well-founded orderings, logic programming
32	Jung Gyu Park, Myong-Soon Park	Using indexed data structures for program specialization.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	staged computation optimization, partial evaluation, program specialization, automated software engineering
32	João Lourenço, José C. Cunha, Henryk Krawczyk, Piotr Kuzora, Marcin Neyman, Bogdan Wiszniewski	An integrated testing and debugging environment for parallel and distributed programs.	EUROMICRO	1997	DBLP DOI BibTeX RDF	program testing environment, program development process, DDBG, Distributed Debugger, stand-alone tools, intermediate tool, DEIPA, deterministic execution, interactive program analysis, parallel programming, parallel programs, distributed programs, structural testing, testing tool, software integration, program specification, STEPS, debugging tool, debugging environment
32	Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen, Yao-Dong Bi	A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	real-time software testing, recorded execution history, noninterference monitoring architecture, program execution data, target real-time software system, replay mechanism, Motorola 68000 computer, Unix system environment, real-time software systems, real-time systems, program testing, program debugging, monitoring system, program behavior, timing errors
32	Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum	Static Caching for Incremental Computation.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	intermediate results, program efficiency improvement, optimization, caching, static analysis, program transformation, dependence analysis, incremental computation, memoization, incremental programs
32	Alexander Aiken, John H. Williams, Edward L. Wimmers	Safe: A Semantic Technique for Transforming Programs in the Presence of Errors.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	program transformation, exceptions, program optimization, equational reasoning
31	Ju Qian, Baowen Xu	Program slicing under UML scenario models.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	UML, scenario, program understanding, program slicing