Search results for "program"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Henrik Theiling	Extracting safe and precise control flow from binaries.	RTCSA	2000	DBLP DOI BibTeX RDF	safe precise control flow extraction, binary executables, instruction sequence clustering, branch targets, block boundaries, safety-critical real-time systems, graph approximation, entry points, instruction blocks, instruction routines, real-time systems, uncertainties, sequences, safety-critical software, program diagnostics, control flow graph, program control structures, static program analysis, flow graphs, bottom-up approach
20	Jean-Marc DeBaud	Lessons from a Domain-Based Reengineering Effort.	WCRE	1996	DBLP DOI BibTeX RDF	Program reegineering, domain interleaving, reverse engineering program evolution, software architecture, program understanding, object-oriented frameworks, domain analysis
20	Elisabeth Freeman, David Gelernter, Suresh Jagannathan	In Search of a Simple Visual Vocabulary.	VL	1995	DBLP DOI BibTeX RDF	reverse engineering, programming environments, visual programming, visual languages, visual languages, program understanding, expressiveness, computer aided software engineering, visual representation, vocabulary, program executions, program structure, visual programming environment, visual vocabulary
20	J. Stan Cox, David P. Howell, Thomas M. Conte	Commercializing profile-driven optimization.	HICSS (1)	1995	DBLP DOI BibTeX RDF	profile-driven optimization, commercialisation, code-improving optimization, profile information, software vendors, system code, I/O drivers, AT&T Global Information Solutions, hardware-based profiling, profile system code, software business community, scheduling, compile, debugging, optimisation, profiling, program compilers, kernel, software performance evaluation, program debugging, program execution, optimising compilers, scheduling techniques
20	Hemant D. Pande, William Landi, Barbara G. Ryder	Interprocedural Def-Use Associations for C Systems with Single Level Pointers.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	interprocedural def-use associations, C software systems, single level pointers, value-setting statements, value-fetches, program-point-specific pointer-induced aliases, interprocedural reaching definitions problem, software engineering, computational complexity, data structures, static analysis, NP-hardness, program compilers, polynomial-time algorithm, program diagnostics, C language, indirection
20	William Blume, Rudolf Eigenmann	Performance Analysis of Parallelizing Compilers on the Perfect Benchmarks Programs.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	Perfect Benchmarks codes, individualrestructuring techniques, real programs, compiler technology, parallel programming, program testing, program compilers, automatic programming, automatic parallelization, loops, performance gains, program performance
20	Paul Havlak, Ken Kennedy	An Implementation of Interprocedural Bounded Regular Section Analysis.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	interprocedural bounded regular section analysis, subarrays, production compiler, high-level language constructs, programmingsupport systems, LINPACK library, linear algebra subroutines, RiceCompiler Evaluation Program Suite, RiCEPS, application codes, scientific disciplines, modular programming style, parallel programming, program testing, program compilers, dependence analysis, optimizing compilers, procedure calls
20	Zhiyuan Li 0001, Pen-Chung Yew, Chuan-Qi Zhu	An Efficient Data Dependence Analysis for Parallelizing Compilers.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	array subscripts, loop bounds, lambda test, multidimensional array references, Parafrase, Fortran program parallelization restructurer, parallel programming, FORTRAN, program compilers, parallelizing compilers, numerical methods, convex set, hyperplanes, data dependence analysis, linear inequalities, program restructuring
20	Michal Young, Richard N. Taylor	Combining Static Concurrency Analysis with Symbolic Execution.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	static concurrency analysis, synchronization patterns, path selection mechanism, concurrency analysis, parallel programming, program analysis, program testing, program testing, concurrent programs, symbolic execution, software development environment
20	Amir M. Ben-Amram	Size-change termination with difference constraints.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	size-change graph, size-change termination, Abstraction, program analysis, termination analysis
20	Markus Müller-Olm, Helmut Seidl	Analysis of modular arithmetic.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	affine relation, Program analysis, abstract interpretation, interprocedural analysis, modular arithmetic
20	Mangala Gowri Nanda, S. Ramesh 0001	Interprocedural slicing of multithreaded programs with applications to Java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	interference dependence, strongly connected regions, Multithreading, program slicing, data dependence, context-sensitivity
20	Michael Leuschel	A framework for the integration of partial evaluation and abstract interpretation of logic programs.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	logic programming, program transformation, abstract interpretation, partial evaluation, flow analysis, Partial deduction
20	Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering	Toward a Complete Transformational Toolkit for Compilers.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compiler intermediate representation, program transformation, completion, partial evaluation, term-rewriting, imperative language
20	Jun Goto, Hideki Sumiyoshi, Masaru Miyazaki, Hideki Tanaka, Masahiro Shibata, Akiko N. Aizawa	Relevant TV program retrieval using broadcast summaries.	IUI	2010	DBLP DOI BibTeX RDF	TV program retrieval, n-gram, relationship, named entity
20	Selim Ciraci, Pim van den Broek, Mehmet Aksit	Graph-based verification of static program constraints.	SAC	2010	DBLP DOI BibTeX RDF	constraint verification, program constraints, prolog, graph transformations
20	Erman Yükseltürk, Adnan Yazici, Ahmet Sacan, Özgür Kaya	Online education experiences: information technologies certificate program at METU.	ITiCSE	2010	DBLP DOI BibTeX RDF	computer engineering education, online information technologies certificate program, online education
20	Alex Loh, Miryung Kim	LSdiff: a program differencing tool to identify systematic structural differences.	ICSE (2)	2010	DBLP DOI BibTeX RDF	code change, program differencing, software evolution
20	Jian Chen 0030, Lizy Kurian John	Efficient program scheduling for heterogeneous multi-core processors.	DAC	2009	DBLP DOI BibTeX RDF	program scheduling, heterogeneous multi-core, energy-delay product
20	Alberto Pardo, João Paulo Fernandes, João Saraiva	Shortcut fusion rules for the derivation of circular and higher-order monadic programs.	PEPM	2009	DBLP DOI BibTeX RDF	monadic programming, shortcut fusion, deforestation, program calculation, circular programming
20	Alexander Mitsos, Panayiotis Lemonidis, Paul I. Barton	Global solution of bilevel programs with a nonconvex inner program.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	MPEC, global optimization, branch-and-bound, Bilevel program, nonconvex
20	Alexander Campbell, Anthony Cox	Scenario-Based Program Slicing.	ECBS	2008	DBLP DOI BibTeX RDF	Scenarios, Program Slicing, Agile development
20	María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva	Using Datalog and Boolean Equation Systems for Program Analysis.	FMICS	2008	DBLP DOI BibTeX RDF	boolean equation system, demand-driven evaluation, program analysis, Datalog
20	Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan	Program analysis as constraint solving.	PLDI	2008	DBLP DOI BibTeX RDF	most-general counterexamples, non-termination analysis, strongest postcondition, program verification, constraint solving, weakest precondition, bounds analysis
20	George K. Baah, Andy Podgurski, Mary Jean Harrold	The probabilistic program dependence graph and its application to fault diagnosis.	ISSTA	2008	DBLP DOI BibTeX RDF	machine learning, fault diagnosis, program analysis, probabilistic graphical models
20	Tal Cohen, Joseph Gil, Itay Maman	Guarded Program Transformations Using JTL.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	Program Transformations, Declarative Programming
20	Takashi Yokota, Kanemitsu Ootsu, Takanobu Baba	Introducing entropies for representing program behavior and branch predictor performance.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	architecture, information entropy, program behavior, prediction performance, branch predictors
20	Yi-Chang Zhuang, Jyh-Biau Chang, Tyng-Yeu Liang, Ce-Kuen Shieh, Laurence Tianruo Yang	Finding a suitable system scale to optimize program performance on software DSM systems.	Clust. Comput.	2006	DBLP DOI BibTeX RDF	System scale, Performance prediction, Distributed shared memory, Program performance
20	Laurence Holt	A year affair with security: the development of a security program and manager.	InfoSecCD	2006	DBLP DOI BibTeX RDF	McCumber cube, corporate risk profile, security program model, monitoring, controls, best practices, NIST
20	Taejoon Park, Kang G. Shin	Soft Tamper-Proofing via Program Integrity Verification in Wireless Sensor Networks.	IEEE Trans. Mob. Comput.	2005	DBLP DOI BibTeX RDF	program-integrity verification, a randomized hash function, sensor networks, Tamper-proofing
20	Michael C. Martin, V. Benjamin Livshits, Monica S. Lam	Finding application errors and security flaws using PQL: a program query language.	OOPSLA	2005	DBLP DOI BibTeX RDF	resource leaks, web applications, pattern matching, SQL injection, bug finding, program traces
20	Akiyo Nadamoto, Katsumi Tanaka	Complementing your TV-viewing by web content automatically-transformed into TV-program-type content.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	TV program content, media fusion, web content, media conversion
20	Ricky E. Sward, Leemon C. Baird III	Optimizing the SPARK program slicer.	SIGAda	2005	DBLP DOI BibTeX RDF	formal methods, program slicing, ASIS
20	Amanda Moos, Chad Talbert	Stuck in nerdville: implementing a laptop checkout program via information commons.	SIGUCCS	2004	DBLP DOI BibTeX RDF	1x authentication, check-in, check-out, information commons, lab consultants, laptop checkout program, traditional computing lab, wireless networking, portability, library, environment, laptops
20	Andrew Mohan, Nicolas Gold	Programming Style Changes in Evolving Source Code.	IWPC	2004	DBLP DOI BibTeX RDF	software quality, software evolution, program comprehension, programming style
20	Sabine Glesner	Program Checking with Certificates: Separating Correctness-Critical Code.	FME	2003	DBLP DOI BibTeX RDF	safety-scalability, real-scale applications, verification, validation, certificates, correctness, program checking
20	Scott R. Tilley, Shihong Huang	A qualitative assessment of the efficacy of UML diagrams as a form of graphical documentation in aiding program understanding.	SIGDOC	2003	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), assessment, program understanding, graphical documentation
20	Neelam Gupta, Zachary V. Heidepriem	A New Structural Coverage Criterion for Dynamic Detection of Program Invariants.	ASE	2003	DBLP DOI BibTeX RDF	dynamic analysis, Test data generation, execution traces, path testing, program invariants
20	Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum	Program slicing for VHDL.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Model checking, Formal verification, VHDL, Program slicing, Hardware description languages
20	Rhodes Brown, Karel Driesen, David Eng, Laurie J. Hendren, John Jorgensen, Clark Verbrugge, Qin Wang	STEP: a framework for the efficient encoding of general trace data.	PASTE	2002	DBLP DOI BibTeX RDF	program event trace, sequential data encoding, data definition language
20	Yijun Yu, Kristof Beyls, Erik H. D'Hollander	Visualizing the Impact of the Cache on Program Execution.	IV	2001	DBLP DOI BibTeX RDF	cache, data locality, program visualization, loop tiling, reuse distance
20	Kurt Stirewalt, Laura K. Dillon	Generation of visitor components that implement program transformations.	SSR	2001	DBLP DOI BibTeX RDF	amalia, curried visitor framework, lightweight analysis components, program transformations, visitor pattern
20	Yukari Shirota, Takako Hashimoto, Akiyo Nadamoto, Taeko Hattori, Atsushi Iizawa, Katsumi Tanaka, Kazutoshi Sumiya	A TV Program Generation System using Digest of Video Scenes and a Scripting Markup Language.	HICSS	2001	DBLP DOI BibTeX RDF	digital broadcasting, digest making, TV program direction, emotional expression
20	Russell Mosemann, Susan Wiedenbeck	Navigation and Comprehension of Programs by Novice Programmers.	IWPC	2001	DBLP DOI BibTeX RDF	navigation, empirical studies, Program comprehension, novice programmers
20	James Hayes, William G. Griswold, Stuart Moskovics	Component design of retargetable program analysis tools that reuse intermediate representations.	ICSE	2000	DBLP DOI BibTeX RDF	software tools, reuse, program analysis, software design, retargetability
20	John Kalamatianos, Alireza Khalafi, David R. Kaeli, Waleed Meleis	Analysis of Temporal-Based Program Behavior for Improved Instruction Cache Performance.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	program reordering, graph pruning, graph coloring, Instruction caches, temporal locality, conflict misses
20	Narasimhaiah Gorla, Kang Zhang	Deriving Program Physical Structures Using Bond Energy Algorithm.	APSEC	1999	DBLP DOI BibTeX RDF	locality metric, physical structure, program components, logical structure
20	Steven G. Woods, Qiang Yang 0001	The Program Understanding Problem: Analysis and a Heuristic Approach.	ICSE	1996	DBLP BibTeX RDF	complex source code, formal complexity results, heuristic solutions, problem solving model, program understanding problem, computational complexity, reverse engineering, conceptual models, NP hard, CSPs, search problems, constraint satisfaction problems, constraint propagation, search algorithms, constraint handling, heuristic approach
20	Vernon Rego, Aditya P. Mathur	Exploiting Parallelism Across Program Execution: A Unification Technique and Its Analysis.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	vector multiprocessors, nonregressive graphs, optimality, parallel programming, parallelism, programming theory, unification, vector processors, sequential programs, source-to-source transformation, program graphs
20	Yong Shi 0001, Yingjie Tian 0001, Xiaojun Chen 0001, Peng Zhang 0001	Regularized multiple criteria linear programs for classification.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	multiple criteria mathematical program, regularized multiple criteria mathematical program, data mining, classification
20	Robert M. Fuhrer, William F. Opdyke	The 3rd ACM workshop on refactoring tools (WRT'09).	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	program analysis, transformation, refactoring, program manipulation
20	Danny Dig, Robert M. Fuhrer, Ralph E. Johnson	The 2nd workshop on refactoring tools (WRT'08).	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	program analysis, transformation, refactoring, program manipulation
20	Alexei Lisitsa 0001, Andrei P. Nemytykh	A Note on Specialization of Interpreters.	CSR	2007	DBLP DOI BibTeX RDF	program verification, cache coherence protocols, Program specialization, supercompilation
20	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Termination proofs for systems code.	PLDI	2006	DBLP DOI BibTeX RDF	model checking, formal verification, program verification, program termination
20	Neelam Gupta, Haifeng He, Xiangyu Zhang 0001, Rajiv Gupta 0001	Locating faulty code using failure-inducing chops.	ASE	2005	DBLP DOI BibTeX RDF	backward dynamic, failure-inducing input, forward dynamic program slicing, program slicing, automated debugging
20	Martin P. Robillard, Wesley Coelho, Gail C. Murphy	How Effective Developers Investigate Source Code: An Exploratory Study.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	program investigation, Software evolution, program understanding, empirical software engineering
20	Ralf Lämmel, Joost Visser 0001	A Strafunski Application Letter.	PADL	2003	DBLP DOI BibTeX RDF	Strafunski, Generic traversal, External components, Program transformation, Program analysis, Functional programming, Language processing, Interchange formats
20	Sorin Craciunescu	Proving the Equivalence of CLP Programs.	ICLP	2002	DBLP DOI BibTeX RDF	CLP(forall), logic programming, constraint, induction, proof system, reactive program, coinduction, CLP, Program equivalence
20	David W. Miller, Jinhua Guo, Eileen T. Kraemer, Yin Xiong	On-the-fly calculation and verification of consistent steering transactions.	SC	2001	DBLP DOI BibTeX RDF	consistent cut, consistent steering, consistent transaction, program event, program transaction, steering event, steering transaction, happened before
20	Wamberto Weber Vasconcelos	A Flexible Framework for Dynamic and Static Slicing of Logic Programs.	PADL	1999	DBLP DOI BibTeX RDF	Logic program slicing, program analysis & understanding
20	Kathryn S. McKinley	A Compiler Optimization Algorithm for Shared-Memory Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	parallelization techniques, performance evaluation, data locality, program optimization, Program parallelization, restructuring compilers
20	K. Mani Chandy, Rajit Manohar, Berna L. Massingill, Daniel I. Meiron	Integrating task and data parallelism with the group communication archetype.	IPPS	1995	DBLP DOI BibTeX RDF	group communication archetype, parallel program archetype, reliable efficient parallel applications development, common computation structure, common communication structure, task/data parallelism integration, stepwise refinement methods, code libraries, sequential program transformation, target machine, parallel programming, correctness, libraries, granularity, data parallelism, software libraries, application generators, task parallelism
20	Alois Ferscha, James Johnson	N-MAP: a virtual processor discrete event simulation tool for performance prediction in the CAPSE environment.	HICSS (2)	1995	DBLP DOI BibTeX RDF	virtual processor discrete event simulation tool, CAPSE environment, N-MAP, CAPSE, Computer Aided Parallel Software Engineering, performance oriented parallel program development, simulation based performance analysis, coding phase, N-MAP tool, automatic parse, performance critical program parts, simulated execution, linear system solver, formal specification, testing, parallel programming, specification, virtual machines, monitoring, software tools, programming environments, discrete event simulation, performance prediction, correction, software performance evaluation, CM-5
20	David W. Binkley	Reducing the cost of regression testing by semantics guided test case selection.	ICSM	1995	DBLP DOI BibTeX RDF	semantics guided test case selection, semantic differences, common execution patterns, interprocedural slice, calling context slice, software maintenance, software maintenance, program testing, program testing, regression testing, cost, software cost estimation, language semantics
20	Sergio Antoy, John D. Gannon	Using Term Rewriting to Verify Software.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction
20	Jeffrey M. Voas	PIE: A Dynamic Failure-Based Technique.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	PIE, dynamic failure-based technique, program characteristics, computational behavior, data state, software testing, program testing, propagation, statistically estimating, execution, infection
20	Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid	Debugging Concurrent Ada Programs by Deterministic Execution.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	synchronisation sequences, concurrent Ada programs, deterministic execution debugging, Ada language constructs, SYN-sequences, sufficient information, previous executions, parallel programming, Ada, tools, transformation, program debugging, program execution
20	Louise E. Moser	Data Dependency Graphs for Ada Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	composition rules, primitive program statements, data structures, Ada, tracking, programming, information flow, exception handling, correctness, recursion, tasking, iteration, data dependency graphs, Ada programs, program development environment
20	William E. Howden	Comments Analysis and Programming Errors.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	comments analysis, decomposition errors, data-processing program, avionics real-time program, event sequence analysis, software engineering, fault detection, software development process, software validation, programming errors
20	Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm	Solving Shape-Analysis Problems in Languages with Destructive Updating.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	destructive updating, shape graphs, static analysis, abstract interpretation, shape analysis, pointer analysis, dataflow analysis, alias analysis
19	Ana-Paula Correia, Connie Hargrave, Patricia Leigh, Clyciane Michelini, Dale S. Niederhauser, Denise Schmidt, Ann Thompson	The Making of an Online Masters Program in the North American Context.	WCCE	2009	DBLP DOI BibTeX RDF	learning management system, blended learning, Teacher education
19	Robert Kessler, Mark Christensen van Langeveld, Roger Altizer	Entertainment arts and engineering(or how to fast track a new interdisciplinary program).	SIGCSE	2009	DBLP DOI BibTeX RDF	education, animation, 3d modeling, video games, machinima, digital entertainment
19	Zhenyu Zhang 0004, Wing Kwong Chan, T. H. Tse, Bo Jiang 0001, Xinming Wang	Capturing propagation of infected program states.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	basic block, control-flow edge, edge profile, fault localization
19	Guangquan Zhang 0002, Rong Mei	An Approach of Concurrent Object-Oriented Program Slicing Based on LTL Property.	CSSE (2)	2008	DBLP DOI BibTeX RDF
19	Bobby D. Birrer, Richard A. Raines, Rusty O. Baldwin, Barry E. Mullins, Robert W. Bennington	Program Fragmentation as a Metamorphic Software Protection.	IAS	2007	DBLP DOI BibTeX RDF
19	Zifu Yang, Tian Zhao	Improve pointcut definitions with program views.	SPLAT	2007	DBLP DOI BibTeX RDF
19	Richard Gault, Iain A. Stewart	An Infinite Hierarchy in a Class of Polynomial-Time Program Schemes.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
19	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	A fixpoint calculus for local and global program flows.	POPL	2006	DBLP DOI BibTeX RDF	infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
19	Hyun Joon Kim, Soonhee Kim	Electronic government capacity and federal program performance: an analysis of OMB's part scores and executive branch management scorecard.	DG.O	2006	DBLP DOI BibTeX RDF	e-government capacity, management capacity, organizational performance
19	Chiaki Sakama, Katsumi Inoue	Constructing Consensus Logic Programs.	LOPSTR	2006	DBLP DOI BibTeX RDF
19	Raihan Al-Ekram, Kostas Kontogiannis	An XML-Based Framework for Language Neutral Program Representation and Generic Analysis.	CSMR	2005	DBLP DOI BibTeX RDF
19	Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel	Context-sensitive program analysis as database queries.	PODS	2005	DBLP DOI BibTeX RDF
19	Zhiwen Yu 0001, Jianhua Gu, Xingshe Zhou 0001, Zhiyi Yang	Fuzzy Clustering for TV Program Classification.	ITCC (2)	2004	DBLP DOI BibTeX RDF
19	Satish Chandra Gupta, Tien Nhut Nguyen, Ethan V. Munson	The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia.	APSEC	2003	DBLP DOI BibTeX RDF
19	Neil D. Jones, Arne J. Glenstrup	Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis.	PPDP	2002	DBLP DOI BibTeX RDF
19	Timothy Sherwood, Erez Perelman, Greg Hamerly, Brad Calder	Automatically characterizing large scale program behavior.	ASPLOS	2002	DBLP DOI BibTeX RDF
19	Craig Chambers	Staged compilation.	PEPM	2002	DBLP DOI BibTeX RDF
19	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	A Program Dependence Model for Concurrent Logic Programs and its Applications.	ICSM	2001	DBLP DOI BibTeX RDF
19	Atanas Rountev, Barbara G. Ryder, William Landi	Data-Flow Analysis of Program Fragments.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
19	David I. August, John W. Sias, Jean-Michel Puiatti, Scott A. Mahlke, Daniel A. Connors, Kevin M. Crozier, Wen-mei W. Hwu	The Program Decision Logic Approach to Predicated Execution.	ISCA	1999	DBLP DOI BibTeX RDF
19	Richard G. Hamlet	What Can We Learn by Testing a Program?	ISSTA	1998	DBLP DOI BibTeX RDF
19	Yiannakis Sazeides, James E. Smith 0001	Modeling Program Predictability.	ISCA	1998	DBLP DOI BibTeX RDF
19	Mark A. Richards, Anthony Gadient, Geoffrey A. Frank, Randolph Harr	The RASSP Program: Origin, Concepts, and Status: An Introduction to the Issue.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
19	Ken Sadohara, Makoto Haraguchi	Analogical Logic Program Synthesis from Examples.	ECML	1995	DBLP DOI BibTeX RDF
19	Susan Horwitz, Jan F. Prins, Thomas W. Reps	On the Adequacy of Program Dependence Graphs for Representing Programs.	POPL	1988	DBLP DOI BibTeX RDF
19	Gerard K. Rambally	The influence of color on program readability and comprehensibility.	SIGCSE	1986	DBLP DOI BibTeX RDF
19	Peter Wegner	On the Unification of Data and Program Abstraction in Ada.	POPL	1983	DBLP DOI BibTeX RDF
19	Graeme Williams	Program checking.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
19	Nachum Dershowitz, Zohar Manna	The Evolution of Programs: A System for Automatic Program Modification.	POPL	1977	DBLP DOI BibTeX RDF
19	Phillip D. Summers	A Methodology for Lisp Program Construction from Examples.	POPL	1976	DBLP DOI BibTeX RDF	LISP