Search results for "program"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Paul T. Brady	Writing an online debugging program for the experienced user.	Commun. ACM	1968	DBLP DOI BibTeX RDF	utility program, debugging, programming languages
21	Venkatesh Prasad Ranganath, John Hatcliff	Slicing concurrent Java programs using Indus and Kaveri.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Concurrent Java, Indus, Kaveri, Program slicing, Program dependences
21	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Incremental Synthesis of Fault-Tolerant Real-Time Programs.	SSS	2006	DBLP DOI BibTeX RDF	Bounded-time recovery, Fault-tolerance, Real-time, Formal methods, Program transformation, Program synthesis
21	Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla	Abstraction carrying code and resource-awareness.	PPDP	2005	DBLP DOI BibTeX RDF	granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness
21	Mila Dalla Preda, Roberto Giacobazzi	Control Code Obfuscation by Abstract Interpretation.	SEFM	2005	DBLP DOI BibTeX RDF	Semantics, Program Transformation, Program analysis, Abstract Interpretation, Code Obfuscation
21	Junhua Wu, Baowen Xu, Jixiang Jiang	Slicing Web Application Based on Hyper Graph.	CW	2004	DBLP DOI BibTeX RDF	program dependence hyper graph, program slice, web page
21	Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki	Inductive Synthesis of Functional Programs.	AISC	2002	DBLP DOI BibTeX RDF	Inductive program synthesis, recursive program schemes Topics: Symbolic computations and machine learning, term rewriting, folding
21	Hanne Riis Nielson, Torben Amtoft, Flemming Nielson	Behaviour Analysis and Safety Conditions: A Case Study in CML.	FASE	1998	DBLP DOI BibTeX RDF	formal program development, Embedded systems, program analysis
21	Richard A. DeMillo, Hsin Pan, Eugene H. Spafford	Critical Slicing for Software Fault Localization.	ISSTA	1996	DBLP DOI BibTeX RDF	critical slicing, static program slicing, testing, debugging, failures, faults, fault localization, mutation analysis, dynamic program slicing
21	Marc Abrams, Naganand Doraswamy, Anup Mathur	Chitra: Visual Analysis of Parallel and Distributed Programs in the Time, Event, and Frequency Domains.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	program execution sequence, semi-Markov chain model, PES, programstate vector, Chitra, time-dependent behavior, transform selection, program parameters, input PES, visualization, Markov processes, visual programming, system monitoring, visual analysis, parallelprogramming, performance problems
21	Chin Soon Lee	Ranking functions for size-change termination.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis
21	Zhelong Pan, Rudolf Eigenmann	PEAK - a fast and effective performance tuning system via compiler optimization orchestration.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	optimization orchestration, Performance tuning, dynamic compilation
21	Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh 0002	How to Test Program Generators? A Case Study using flex.	SEFM	2007	DBLP DOI BibTeX RDF
21	Pierre Rousseau	A New Approach for Concurrent Program Slicing.	FORTE	2006	DBLP DOI BibTeX RDF
21	Xiangyu Zhang 0001, Rajiv Gupta 0001	Matching execution histories of program versions.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	piracy detection, debugging, dynamic analysis, execution traces
21	Christopher Kitts, Neil Quinn	An interdisciplinary field robotics program for undergraduate computer science and engineering education.	ACM J. Educ. Resour. Comput.	2004	DBLP DOI BibTeX RDF	interdisciplinary education, mobile robots, teleoperation, project based learning, telerobotics, autonomous control, field robotics
21	Ulrik Pagh Schultz	A Unification of Inheritance and Automatic Program Specialization.	GPCE	2004	DBLP DOI BibTeX RDF
21	Ginger Myles, Christian S. Collberg	Detecting Software Theft via Whole Program Path Birthmarks.	ISC	2004	DBLP DOI BibTeX RDF	copyright protection, software piracy, software birthmark
21	Neil D. Jones, Arne J. Glenstrup	Program Generation, Termination, and Binding-Time Analysis.	GPCE	2002	DBLP DOI BibTeX RDF
21	Tao Li, Chen Ding	Instruction Balance and Its Relation to Program Energy Consumption.	LCPC	2001	DBLP DOI BibTeX RDF
21	Michael D. Ernst	Summary of Dynamically Discovering Likely Program Invariants.	ICSM	2001	DBLP DOI BibTeX RDF
21	Robert W. Bowdidge, William G. Griswold	Supporting the Restructuring of Data Abstractions Through Manipulation of a Program Visualization.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	meaning-preserving restructuring, semi-automated restructuring, star diagram, tool-supported restructuring, software visualization
21	H. E. Romanowsky, L. A. Bartelme, N. W. Jensen, C. M. Knutson	The Rockwell Avionics Group Software Engineering Training Program.	CSEE	1989	DBLP DOI BibTeX RDF
21	Akira Taneda, Hikaru Oku, Daiji Namba	An on-line test program for peripheral devices.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
21	Thomas Fahringer, Bernhard Scholz	A Unified Symbolic Evaluation Framework for Parallelizing Compilers.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	program context, data-flow and control-flow analysis, symbolic dependence testing, compiler optimizations, parallelizing compilers, parallel systems, Symbolic analysis, symbolic evaluation
21	Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi	Knowledge-Based Programs.	Distributed Comput.	1997	DBLP DOI BibTeX RDF	Knowledge-based program, multi-agent system, Protocol, Reasoning about knowledge
21	Divya Arora, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring.	DATE	2005	DBLP DOI BibTeX RDF
21	Tao Xie 0001, David Notkin	Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences.	ICSM	2004	DBLP DOI BibTeX RDF
21	Baowen Xu	CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Pascal
21	Kamala Anandam, Ed Eisel, Lorne Kotler	Effectiveness of a computer-based feedback system for writing.	ACM Southeast Regional Conference	1980	DBLP DOI BibTeX RDF
21	Cheng-Wen Cheng, Jonas Rabin	Synthesis of Decision Rules.	Commun. ACM	1976	DBLP DOI BibTeX RDF
20	Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer 0002	Infering Ownership Types for Encapsulated Object-Oriented Program Components.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
20	Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus	Characterisations of Termination in Logic Programming.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
20	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Transformation Rules for Locally Stratified Constraint Logic Programs.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
20	Bernd Fischer 0002, Eelco Visser	Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
20	Eelco Visser	Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
20	Henk Doornbos, Roland Carl Backhouse	Algebra of Program Termination.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
20	Andrew Forward, Timothy C. Lethbridge, Dusan Brestovansky	Improving program comprehension by enhancing program constructs: An analysis of the Umple language.	ICPC	2009	DBLP DOI BibTeX RDF
20	Thomas Kistler, Michael Franz	Continuous program optimization: A case study.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	continuous program optimization, dynamic reoptimization, Dynamic code generation
20	Pascal Fradet, Daniel Le Métayer	Compilation of Functional Languages by Program Transformation.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	program transformation, continuations, combinators
20	Giuseppe A. Di Lucca, Massimiliano Di Penta	Experimental Settings in Program Comprehension: Challenges and Open Issues.	ICPC	2006	DBLP DOI BibTeX RDF	Empirical studies, program comprehension
20	Jarle Hulaas, Walter Binder	Program transformations for portable CPU accounting and control in Java.	PEPM	2004	DBLP DOI BibTeX RDF	Java, program transformations, resource management, bytecode engineering
20	Carola Lange, Andreas Winter 0001, Harry M. Sneed	Comparing Graph-Based Program Comprehension Tools to Relational Database-Based Tools.	IWPC	2001	DBLP DOI BibTeX RDF	comparison of program comprehension tools, relational database repository, graph-based repository, querying repositories
20	Kuan-Ching Li, K. Zhang	Tuning Parallel Program through Automatic Program Analysis.	ISPAN	1996	DBLP DOI BibTeX RDF	performance tuning advice, algorithm, Parallel program
20	Scott R. Tilley, Dennis B. Smith, Santanu Paul	Towards a Framework for Program Understanding.	WPC	1996	DBLP DOI BibTeX RDF	reverse engineering, program understanding, classification framework
20	René Klösch, Roland T. Mittermeir	Improving Program Understanding by Unfolding Layers of Interacting Patterns.	WPC	1996	DBLP DOI BibTeX RDF	rearchitecturing, software layers, reverse engineering, program understanding, software patterns
20	Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk	Certificate translation for optimizing compilers.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	static analysis, program verification, program optimizations, Proof-carrying code
20	Norman Ramsey, Cristina Cifuentes	A transformational approach to binary translation of delayed branches.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	program transformation, program analysis, Binary translation
20	Patrice Godefroid, Johannes Kinder	Proving memory safety of floating-point computations by combining static and dynamic program analysis.	ISSTA	2010	DBLP DOI BibTeX RDF	static and dynamic program analysis, program verification
20	Christopher Brown 0002, Simon J. Thompson	Clone detection and elimination for Haskell.	PEPM	2010	DBLP DOI BibTeX RDF	hare, program transformation, program analysis, refactoring, haskell, generalisation, duplicated code
20	Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller	A foundation for flow-based program matching: using temporal logic and model checking.	POPL	2009	DBLP DOI BibTeX RDF	program matching, model checking, program transformation, ctl, bug finding
20	Gisele Grinevicius Garbe, Gustavo Freschi, Cristiano Acierno Varella, Daniel Lico dos Anjos Afonso, Rogério Furquim Mauad, Keith Chen de Christo, Monica Parente Ramos, Luiz Antonio Ribeiro de Moura, Daniel Sigulem	Educational program in cardiac sounds.	EATIS	2007	DBLP DOI BibTeX RDF	educational program, multimedia educational program, internet, distance education, handheld computers, medical education
20	Eli Tilevich, Yannis Smaragdakis	Transparent program transformationsin the presence of opaque code.	GPCE	2006	DBLP DOI BibTeX RDF	program enhancement, aspect-oriented programming, program transformation
20	Amy J. Ko	Debugging by asking questions about program output.	ICSE	2006	DBLP DOI BibTeX RDF	whyline, debugging, program comprehension, direct manipulation, program understanding, errors, faults, slicing, assumptions, questions, hypotheses
20	Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic	A monadic approach for avoiding code duplication when staging memoized functions.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, monads, fixed points, program generation, program specialization, staging, multi-stage programming, code duplication
20	Alessandro Orso, Saurabh Sinha, Mary Jean Harrold	Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	incremental slicing, debugging, program comprehension, program slicing, Data dependences, pointers, data-flow testing
20	Kenneth L. Summers, Timothy E. Goldsmith, Steve Kubica, Thomas P. Caudell	An Experimental Evaluation of Continuous Semantic Zooming in Program Visualization.	INFOVIS	2003	DBLP DOI BibTeX RDF	Human subjects testing, Program visualization, Visual program languages
20	Taehyun Kim 0003, Jack Brassil	Dynamic program insertion in high quality video over IP.	NOSSDAV	2003	DBLP DOI BibTeX RDF	digital television (DTV), multimedia signaling, program and system information protocol (PSIP), program cues, video streaming, real-time transport protocol (RTP), content delivery networks (CDNs)
20	W. Eric Wong, Swapna S. Gokhale, Joseph Robert Horgan	Measuring Distance between Program Features.	COMPSAC	2002	DBLP DOI BibTeX RDF	program features, invoking input, distance between features, program comprehension, execution slice
20	David W. Binkley	An Empirical Study of the Effect of Semantic Differences on Programmer Comprehension.	IWPC	2002	DBLP DOI BibTeX RDF	semantic differencing, program comprehension, program slicing, empirical validation
20	Tobias Kuipers, Leon Moonen	Types and Concept Analysis for Legacy Systems.	IWPC	2000	DBLP DOI BibTeX RDF	software maintenance, program analysis, program understanding, type inference, concept analysis
20	Jianjun Zhao 0001	Slicing Concurrent Java Programs.	IWPC	1999	DBLP DOI BibTeX RDF	program comprehesion, Java, Concurrency, program slicing, dependence analysis
20	Charles B. Tichenor	The Internal Revenue Service function point analysis program: a brief.	COMPSAC	1997	DBLP DOI BibTeX RDF	Internal Revenue Service function point analysis program, software metrics program, IRS Information Systems, SEI Capability Maturity Model, development projects, central data model, small software work orders, CMM Level 2, software project management, government data processing, project team, resource requirements, software size estimation
20	Ronan Gaugne	A Static Analysis for Program Understanding and Debugging.	ASE	1997	DBLP DOI BibTeX RDF	static pointer analysis technique, C subset, user-defined assertions, static assertions, hypothetical assertions, circular structures, reverse engineering, program understanding, program debugging, automatic verification, assumptions, recursive data structures
20	Anneliese von Mayrhauser, A. Marie Vans	On the Role of Hypotheses during Opportunistic Understanding While Porting Large Scale Code.	WPC	1996	DBLP DOI BibTeX RDF	Large-Scale Program Understanding, Cognition Models, Program Comprehension, Porting
20	Maria Laura Mantovani, M. Malagoli	Highly parallel SCF calculation: the SYSMO Program.	PDP	1995	DBLP DOI BibTeX RDF	LCAO calculations, SCF calculations, highly parallel SCF calculation, SYSMO program, Linear Combination of Atomic Orbitals Self Consistent Field algorithm, System Modena, single program multiple data level, parallel algorithms, scalability, Parallel Virtual Machine, parallel implementation, chemistry, chemistry computing
20	Eva Ma, Dennis G. Shea	E-Kernel: An Embedding Kernel on the IBM Victor V256 Multiprocessor for Program Mapping and Network Reconfiguration.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	E-kernel, embedding kernel, IBM victor V256 multiprocessor, program mapping, message-passing partitionable multiprocessor, new network topology, 2D mesh network, task graph topologies, communication network topology, real-time systems, parallel programming, graph theory, message passing, multiprocessing systems, parallel system, task graph, program diagnostics, communication model, asymptotically optimal, reconfigured network, network reconfiguration
20	Stephen Fitzpatrick, Terence J. Harmer, James M. Boyle	Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation.	CONPAR	1994	DBLP DOI BibTeX RDF	Program Transformation and Program Derivation, Automatic Parallelization and Mapping, Functional Programming, Sparse Matrices
20	Eduardus A. T. Merks, J. Michael Dyck, Robert D. Cameron	Language Design For Program Manipulation.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software engineering, Ada, object-oriented programming, Pascal, typing, language design, high level languages, unfolding, Modula-2, naming, abstract syntax, scoping, object-oriented programming languages, static semantics, program manipulation, program manipulations, procedural languages
20	Wojtek Kozaczynski, Jim Q. Ning, Andre Engberts	Program Concept Recognition and Transformation.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	automated concept recognition, software maintenance, software maintenance, program transformations, program understanding, programming theory, software reengineering
20	Douglas R. Smith	KIDS: A Semiautomatic Program Development System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	KIDS, semiautomatic program development system, Kestrel Interactive Development System, deductive inference, finite differencing optimizations, data type refinement, k-queens problem, SUN-4/110, software engineering, formal specifications, compilation, optimisation, partial evaluation, inference mechanisms, algorithm design, program simplification
20	Mark A. Linton, Russell W. Quong	A Macroscopic Profile of Program Compilation and Linking.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	macroscopic profile, incremental programming environment, incremental linker, program compilation, program compilers
20	Rimma I. Podlovchenko	Equivalent Transformations of Program Schemes for "Entangling" Programs.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
20	Thomas Ball	Efficient Counting Program Events with Support for On-Line Queries.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	instrumentation, control-flow graph, counting
20	Nachum Dershowitz	Program Abstraction and Instantiation.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
20	Zohar Manna, Richard J. Waldinger	A Deductive Approach to Program Synthesis.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
20	Manfred Broy, Bernd Krieg-Brückner	Derivation of Invariant Assertions During Program Development by Transformation.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
20	Khaled Hussein, Eli Tilevich, Ivica Ico Bukvic, SooBeen Kim	Sonification design guidelines to enhance program comprehension.	ICPC	2009	DBLP DOI BibTeX RDF
20	Shinichi Shirakawa, Tomoharu Nagao	Evolutionary algorithm considering program size: efficient program evolution using grape.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	generation alternation model, graph-based genetic programming, genetic algorithm, evolutionary algorithm, genetic programming, automatic programming
20	Marc Eaddy, Alfred V. Aho, Giuliano Antoniol, Yann-Gaël Guéhéneuc	CERBERUS: Tracing Requirements to Source Code Using Information Retrieval, Dynamic Analysis, and Program Analysis.	ICPC	2008	DBLP DOI BibTeX RDF
20	Suraj C. Kothari	Scalable Program Comprehension for Analyzing Complex Defects.	ICPC	2008	DBLP DOI BibTeX RDF
20	Martin P. Robillard, Putra Manggala	Reusing Program Investigation Knowledge for Code Understanding.	ICPC	2008	DBLP DOI BibTeX RDF
20	Jochen Quante	Do Dynamic Object Process Graphs Support Program Understanding? - A Controlled Experiment.	ICPC	2008	DBLP DOI BibTeX RDF
20	Massimiliano Di Penta, R. E. Kurt Stirewalt, Eileen T. Kraemer	Designing your Next Empirical Study on Program Comprehension.	ICPC	2007	DBLP DOI BibTeX RDF
20	Bernd Brassel, Sebastian Fischer 0001, Frank Huch	A Program Transformation for Tracing Functional Logic Computations.	LOPSTR	2006	DBLP DOI BibTeX RDF
20	Naveen Kumar 0002, Bruce R. Childers, Mary Lou Soffa	Low overhead program monitoring and profiling.	PASTE	2005	DBLP DOI BibTeX RDF	instrumentation optimization, profiling, dynamic instrumentation, dynamic binary translation
20	Takashi Ishio, Shinji Kusumoto, Katsuro Inoue	Debugging Support for Aspect-Oriented Program Based on Program Slicing and Call Graph.	ICSM	2004	DBLP DOI BibTeX RDF
20	Sam Kamin	Invited application paper: program generation considered easy.	PEPM	2004	DBLP DOI BibTeX RDF	Java, run-time code generation
20	Don S. Batory	Program Comprehension in Generative Programming: A History of Grand Challenges.	IWPC	2004	DBLP DOI BibTeX RDF	keynote
20	Mark Hennessy, Brian A. Malloy, James F. Power	gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT.	IWPC	2003	DBLP DOI BibTeX RDF
20	Yanhong A. Liu, Scott D. Stoller	Program optimization using indexed and recursive data structures.	PEPM	2002	DBLP DOI BibTeX RDF
20	Christoph A. Herrmann, Christian Lengauer	A Transformational Approach which Combines Size Inference and Program Optimization.	SAIG	2001	DBLP DOI BibTeX RDF
20	Hausi A. Müller	Program Comprehension and Software Migration Strategies.	IWPC	2000	DBLP DOI BibTeX RDF
20	Mary Jean Harrold, Gregg Rothermel, Rui Wu, Liu Yi	An Empirical Investigation of Program Spectra.	PASTE	1998	DBLP DOI BibTeX RDF
20	Mark Harman, Sebastian Danicic	Amorphous Program Slicing.	WPC	1997	DBLP DOI BibTeX RDF
20	Pui-Shan Chan, Malcolm Munro	PUI: A Tool to Support Program Understanding.	WPC	1997	DBLP DOI BibTeX RDF
20	Richard Clayton 0002, Spencer Rugaber, Lyman Taylor, Linda M. Wills	A Case Study of Domain-based Program Understanding.	WPC	1997	DBLP DOI BibTeX RDF	reengineering, domain analysis, Mosaic
20	Kostas Kontogiannis	Toward program representation and program understanding using process algebras.	CASCON	1992	DBLP BibTeX RDF
20	Emil Sekerinski	Exploring Tabular Verification and Refinement.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Program development, Program specification, Program correctness, Tabular expressions
20	Katsuhisa Maruyama, Kenichi Shima	An Automatic Class Generation Mechanism by Using Method Integration.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	program integration, Object-oriented programming, program transformation, inheritance, program slicing, dependency analysis