Search results for "program"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Yinliang Zhao	Granule-oriented programming.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	code granulation space, code granule, context distribution, granule-oriented programming, program grinding, object-oriented programming, reflection
17	Nasib Singh Gill, P. S. Grover	Software size prediction before coding.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	program length estimators, size-prediction, software metrics, software science
17	Xipeng Shen, Yutao Zhong 0001, Chen Ding 0001	Locality phase prediction.	ASPLOS	2004	DBLP DOI BibTeX RDF	locality analysis and optimization, phase hierarchy, program phase analysis and prediction, reconfigurable architecture, dynamic optimization
17	Thomas W. Reps, Louis B. Rall	Computational Divided Differencing and Divided-Difference Arithmetics.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	computational differentiation, interpolation, program transformation, multivariate interpolation, round-off error, divided differences
17	Andreas Zeller	Isolating cause-effect chains from computer programs.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	testing, program comprehension, tracing, automated debugging
17	Lars Lundberg, Håkan Lennerstad	Using Recorded Values for Bounding the Minimum Completion Time in Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Parallel program scheduling, optimal performance bounds, multiprocessors with clusters, synchronizing processes, information from previous executions
17	Saeko Matsuura, Shinichi Honiden	Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse.	APSEC	1995	DBLP DOI BibTeX RDF	Reuse, Knowledge Acquisition, Software Process, Case-Based Reasoning, Program Synthesis, Formal Specification Language
17	John P. Costello	Copyright and Work Made for Hire.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	industrial property, policy aspects, information-technology use, IT development, work-made-for-hire doctrine, literary creation, hired program writers, written agreement, software, copyright, law, legislation, legal aspects, computer software
17	Jens Knoop, Oliver Rüthing, Bernhard Steffen	Partial Dead Code Elimination.	PLDI	1994	DBLP DOI BibTeX RDF	assignment motion, bit-vector data flow analyses, data flow analysis, program optimization, code motion, partial redundancy elimination, dead code elimination
17	Sakti Pramanik, David Vineyard	Optimizing Join Queries in Distributed Database.	FSTTCS	1987	DBLP DOI BibTeX RDF	Full reducer semijoin program, profitable semijoin, partial order graph, distributed databases
17	Chiaki Sakama, Katsumi Inoue	Coordination in answer set programming.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	coordination, multiagent systems, Answer set programming
17	Patrice Godefroid, Michael Y. Levin, David A. Molnar	Active property checking.	EMSOFT	2008	DBLP DOI BibTeX RDF	security, software testing, symbolic execution
17	Ying Jin 0002	Formal Verification of Protocol Properties of Sequential Java Programs.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
17	Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, Rajiv Gupta 0001, Q. Zhang	Data Dependence Based Testability Transformation in Automated Test Generation.	ISSRE	2005	DBLP DOI BibTeX RDF
17	Diptikalyan Saha, C. R. Ramakrishnan 0001	Incremental and demand-driven points-to analysis using logic programming.	PPDP	2005	DBLP DOI BibTeX RDF	demand-drive analysis, logic programming, pointer analysis, incremental analysis
17	Eryk Laskowski, Marek Tudruj	Inter-processor Connection Reconfiguration Based on Dynamic Look-Ahead Control of Multiple Crossbar Switches.	FPL	2003	DBLP DOI BibTeX RDF
17	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	Static Slicing of Concurrent Object-Oriented Programs.	COMPSAC	1996	DBLP DOI BibTeX RDF
17	David A. Scanlan	A research tool for software design and documentation.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
17	Allen Van Gelder, Kenneth A. Ross, John S. Schlipf	Unfounded Sets and Well-Founded Semantics for General Logic Programs.	PODS	1988	DBLP DOI BibTeX RDF
17	Daniel Leivant	Polymorphic Type Inference.	POPL	1983	DBLP DOI BibTeX RDF
17	David R. Barach, David H. Taenzer, Robert E. Wells	A technique for finding storage allocation errors in C-language programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
16	Efe Yardimci, Michael Franz	Mostly static program partitioning of binary executables.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Continuous compilation and optimization, dynamic parallelization, binary translation
16	Milenko Drinic, Darko Kirovski, Hoi Vo	PPMexe: Program compression.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	prediction by partial matching, random access compression, software compression, Instruction scheduling, software distribution
16	Thomas W. Reps, Mooly Sagiv, Jörg Bauer 0001	An Appreciation of the Work of Reinhard Wilhelm.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
16	Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv	Abstract Counterexample-Based Refinement for Powerset Domains.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
16	Giovanni Squillero	MicroGP-An Evolutionary Assembly Program Generator.	Genet. Program. Evolvable Mach.	2005	DBLP DOI BibTeX RDF	micro-processors, assembly programs generation, evolutionary algorithms
16	Danil E. Baburin, Mikhail A. Bulyonkov, Pavel G. Emelianov, N. N. Filatkina	Visualization Facilities in Program Reengineering.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF
16	Lawrence C. Paulson	Mechanizing a theory of program composition for UNITY.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	concurrency, UNITY, Isabelle, compositional reasoning
16	Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu	Algebraic Methods for Optimization Problems.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
16	Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz	Program analysis for bug detection using parfait: invited talk.	PEPM	2009	DBLP DOI BibTeX RDF	partial evaluation, symbolic analysis, constant propagation
16	Bas Cornelissen, Andy Zaidman, Arie van Deursen, Bart Van Rompaey	Trace visualization for program comprehension: A controlled experiment.	ICPC	2009	DBLP DOI BibTeX RDF
16	Yann-Gaël Guéhéneuc, Huzefa H. Kagdi, Jonathan I. Maletic	Working session: Using eye-tracking to understand program comprehension.	ICPC	2009	DBLP DOI BibTeX RDF
16	Yin Liu, Ana L. Milanova	Practical static analysis for inference of security-related program properties.	ICPC	2009	DBLP DOI BibTeX RDF
16	Fernando Berzal Galiano, Juan Carlos Cubero Talavera, Aída Jiménez	Hierarchical Program Representation for Program Element Matching.	IDEAL	2007	DBLP DOI BibTeX RDF
16	Richard Wettel, Michele Lanza	Program Comprehension through Software Habitability.	ICPC	2007	DBLP DOI BibTeX RDF
16	Mark Harman	Search Based Software Engineering for Program Comprehension.	ICPC	2007	DBLP DOI BibTeX RDF
16	Michael W. Godfrey	A Hybrid Program Model for Object-Oriented Reverse Engineering.	ICPC	2007	DBLP DOI BibTeX RDF
16	Pamela O'Shea, Christopher Exton	An Investigation of Java Abstraction Usage for Program Modifications.	IWPC	2005	DBLP DOI BibTeX RDF
16	Adam Murray, Timothy C. Lethbridge	Presenting Micro-Theories of Program Comprehension in Pattern Form.	IWPC	2005	DBLP DOI BibTeX RDF
16	Robert L. Akers, Ira D. Baxter, Michael Mehlich	Invited application paper: re-engineering C++ components via automatic program transformation.	PEPM	2004	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
16	Brendan Cleary, Christopher Exton	CHIVE - A Program Source Visualisation Framework.	IWPC	2004	DBLP DOI BibTeX RDF
16	J. B. Wells, Boris Yakobowski	Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.	LOPSTR	2004	DBLP DOI BibTeX RDF
16	Oh Nam Kwon	Fostering Spatial Visualization Ability through Web-Based Virtual-Reality Program and Paper-Based Program.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
16	Arie van Deursen, Jean-Marie Favre, Rainer Koschke, Juergen Rilling	Experiences in Teaching Software Evolution and Program Comprehension.	IWPC	2003	DBLP DOI BibTeX RDF
16	Bernd Fischer 0002, Eelco Visser	Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract).	LOPSTR	2003	DBLP DOI BibTeX RDF
16	Robert Glück	Jones optimality, binding-time improvements, and the strength of program specializers.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	Futamura projections, Jones optimality, binding-time improvements, interpretive approach, self-interpreters, specializer projections, metacomputation
16	Christopher Exton	Constructivism and Program Comprehension Strategies.	IWPC	2002	DBLP DOI BibTeX RDF
16	Claire Knight, Malcolm Munro	Program Comprehension Experiences with GXL; Comprehension for Comprehension.	IWPC	2002	DBLP DOI BibTeX RDF	Tools, Experience Report, Future Research, GXL
16	Václav Rajlich, Norman Wilde	The Role of Concepts in Program Comprehension.	IWPC	2002	DBLP DOI BibTeX RDF
16	Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike	Program Synthesis Based on the Equivalent Transformation Computation Model.	LOPSTR	2002	DBLP DOI BibTeX RDF
16	James L. Caldwell	Extracting General Recursive Program Schemes in Nuprl's Type Theory.	LOPSTR	2001	DBLP DOI BibTeX RDF
16	José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira	Computing Environment-Aware Agent Behaviours with Logic Program Updates.	LOPSTR	2001	DBLP DOI BibTeX RDF
16	Stan Rifkin, Lionel E. Deimel	Program Comprehension Techniques Improve Software Inspections: A Case Study.	IWPC	2000	DBLP DOI BibTeX RDF
16	Henning Dierks, Michael Schenke	A Unifying Framework for Correct Program Construction.	MPC	1998	DBLP DOI BibTeX RDF
16	Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo	Points-to Analysis for Program Understanding.	WPC	1997	DBLP DOI BibTeX RDF
16	Kevin J. Sullivan	Rapid Development of Simple, Custom Program Analysis Tools.	WPC	1996	DBLP DOI BibTeX RDF
16	T. C. Nicholas Graham	A Method for The Formal Testing of Program Visualization Tools.	WPC	1996	DBLP DOI BibTeX RDF	Software Architecture Languages, Formal Methods, Visual Programming Environments
16	Gerardo Canfora, L. Mancini, Maria Tortorella	A Workbench for Program Comprehension during Software Maintenance.	WPC	1996	DBLP DOI BibTeX RDF
16	David Sands 0001	Total Correctness by Local Improvement in Program Transformation. (long version: ACM Trans. Program. Lang. Syst. 18(2): 175-234(1996))	POPL	1995	DBLP DOI BibTeX RDF
16	Bernhard Steffen, Jens Knoop, Oliver Rüthing	The Value Flow Graph: A Program Representation for Optimal Program Transformations.	ESOP	1990	DBLP DOI BibTeX RDF
16	Takeshi Imanaka, Kuniaki Uehara, Jun'ichi Toyoda	Analogical Program Synthesis from Program Components.	LP	1987	DBLP DOI BibTeX RDF
16	Konstantinos Kyriakopoulos, Kleanthis Psarris	Data Dependence Analysis Techniques for Increased Accuracy and Extracted Parallelism.	Int. J. Parallel Program.	2004	DBLP DOI BibTeX RDF	program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization
16	Hideya Iwasaki, Zhenjiang Hu	A New Parallel Skeleton for General Accumulative Computations.	Int. J. Parallel Program.	2004	DBLP DOI BibTeX RDF	Skeletal parallel programming, Bird-Meertens formalism, data parallel skeleton, MPI, program transformation
16	Thomas W. Reps	Undecidability of context-sensitive data-independence analysis.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	?, context-sensitive program-analysis, graph-reachability problem, linear matche-parenthesis language, structure-transmitted data-dependence, dependence analysis, control-flow analysis, set constraints, set-based analysis
16	Somnath Ghosh, Margaret Martonosi, Sharad Malik	Cache miss equations: a compiler framework for analyzing and tuning memory behavior.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	optimization, compilation, program transformation, cache memories
16	Michael Hind, Michael G. Burke, Paul R. Carini, Jong-Deok Choi	Interprocedural pointer alias analysis.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	pointer aliasing, program analysis, interprocedural analysis
16	Matthias Blume, Andrew W. Appel	Hierarchical modularity.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	compilation management, name visibility, modularity, modules, linking, program structure
16	Richard Gerber 0001, Seongsoo Hong	Slicing Real-Time Programs for Enhanced Schedulability.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	system tuning, program slicing, priority assignment, static priority scheduling
16	David Sands	Total Correctness by Local Improvement in the Transformation of Functional Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	operational equivalence, unfold-fold, program transformation, correctness, improvement
16	Michael Codish, Moreno Falaschi, Kim Marriott	Suspension Analyses for Concurrent Logic Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, concurrent logic programming
16	Anne Mulkers, William H. Winsborough, Maurice Bruynooghe	Live-Structure Dataflow Analysis for Prolog.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	compile-time garbage collection, Prolog, Prolog, program analysis, abstract interpretation, liveness
16	Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi	A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	logic programming, program analysis, abstract interpretation
16	Oualid Ktata, Ghislain Lévesque	Designing and implementing a measurement program for Scrum teams: what do agile developers really need and want?	C3S2E	2010	DBLP DOI BibTeX RDF	agile metrics, agile software process, Scrum, business value, measurement program, goal-question-metric
16	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	Towards a Complete Scheme for Tabled Execution Based on Program Transformation.	PADL	2009	DBLP DOI BibTeX RDF	Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
16	Myoungkyu Song, Eli Tilevich	Enhancing source-level programming tools with an awareness of transparent program transformations.	OOPSLA	2009	DBLP DOI BibTeX RDF	debugging, program transformation, domain-specific languages, enhancement, bytecode engineering
16	Christoph Reichenbach, Devin Coughlin, Amer Diwan	Program Metamorphosis.	ECOOP	2009	DBLP DOI BibTeX RDF	Refactoring, Program Evolution
16	Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik	A randomized dynamic program analysis technique for detecting real deadlocks.	PLDI	2009	DBLP DOI BibTeX RDF	active testing, concurrency, deadlock detection, dynamic program analysis
16	Makoto Tanji, Hitoshi Iba	Program optimization by random tree sampling.	GECCO	2009	DBLP DOI BibTeX RDF	fragment preservation, program sampling, genetic programming, recombination operator
16	Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi	Forcing small models of conditions on program interleaving for detection of concurrent bugs.	PADTAD	2009	DBLP DOI BibTeX RDF	concurrency bug patterns, dynamic exploration, forcing algorithm, model of conditions on program interleaving, analysis
16	Janet Feigenspan, Christian Kästner, Sven Apel, Thomas Leich	How to compare program comprehension in FOSD empirically: an experience report.	FOSD	2009	DBLP DOI BibTeX RDF	CIDE, FOSD, program comprehension, empirical software engineering, preprocessors
16	Feng Mao, Eddy Z. Zhang, Xipeng Shen	Influence of program inputs on the selection of garbage collectors.	VEE	2009	DBLP DOI BibTeX RDF	cross-input program analysis, input-specific selection, minimum possible heap size, selection of garbage collectors, profiling
16	Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi	Type-based specialization of xml transformations.	PEPM	2009	DBLP DOI BibTeX RDF	types, xml, tree automata, program specialization
16	Michael Leuschel, Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit	SOC: a slicer for CSP specifications.	PEPM	2009	DBLP DOI BibTeX RDF	software engineering, program slicing
16	Robert Glück	Is there a fourth Futamura projection?	PEPM	2009	DBLP DOI BibTeX RDF	Futamura projections, cogen approach, generator self-generation, domain-specific languages, bootstrapping, program specialization, compiler generators, self-application
16	Tolga Ayav, Pascal Fradet, Alain Girault	Implementing fault-tolerance in real-time programs by automatic program transformations.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	Fault-tolerance, program transformations, checkpointing, correctness proofs, heartbeating
16	Yutao Zhong 0001, Wentao Chang	Sampling-based program locality approximation.	ISMM	2008	DBLP DOI BibTeX RDF	reuse signature, sampling, profiling, reuse distance, program locality
16	Nurlida Basir, Ewen Denney, Bernd Fischer 0002	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Goal Structuring Notation, Hoare logic, fault tree analysis, Automated code generation, safety case, formal program verification
16	Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis	Static Program Analysis for Java Card Applets.	CARDIS	2008	DBLP DOI BibTeX RDF	temporal safety, Java Card, static program analysis
16	Chris Harrison 0001, Brian Amento, Larry Stead	iEPG: an ego-centric electronic program guide and recommendation interface.	UXTV	2008	DBLP DOI BibTeX RDF	collaborative rating, remote control navigation, show recommendation, epg, social television, electronic program guide
16	Hina Shah, Carsten Görg, Mary Jean Harrold	Visualization of exception handling constructs to support program understanding.	SOFTVIS	2008	DBLP DOI BibTeX RDF	Eclipse plugin, exception handling, program understanding, multiple views, interactive visualization
16	Marco Aldinucci, Marco Danelutto, Peter Kilpatrick	Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming.	FMCO	2008	DBLP DOI BibTeX RDF	autonomic computing, program modelling, rewriting, performance tuning, non-functional concerns
16	Hong Zhou, Feng Chen 0004, Hongji Yang	Developing Application Specific Ontology for Program Comprehension by Combining Domain Ontology with Code Ontology.	QSIC	2008	DBLP DOI BibTeX RDF	Ontology, Program Comprehension, Concepts, Relations, Domain knowledge, Class Diagram
16	Ando Saabas, Tarmo Uustalu	Proof optimization for partial redundancy elimination.	PEPM	2008	DBLP DOI BibTeX RDF	program proof transformation, soundness and improvement of dataflow analyses and optimizations, type systems, proof-carrying code, partial redundancy elimination
16	Crispin Rope	ENIAC as a Stored-Program Computer: A New Look at the Old Records.	IEEE Ann. Hist. Comput.	2007	DBLP DOI BibTeX RDF	first stored program, Manchester Baby, Nick Metropolis, von Neumann, Monte Carlo, ENIAC
16	Plamen Vatchkov, Roumen Trifonov	National program for accelerated development of information society in Bulgaria.	CompSysTech	2007	DBLP DOI BibTeX RDF	i2010, operational program, ICT, information society, fund
16	David C. Shepherd, Zachary P. Fry, Emily Hill 0001, Lori L. Pollock, K. Vijay-Shanker	Using natural language program analysis to locate and understand action-oriented concerns.	AOSD	2007	DBLP DOI BibTeX RDF	reverse engineering, program analysis, feature location, remodularization
16	Larry Booth, Jon Preston, Junfeng Qu	Continuous program improvement: a project to automate record-keeping for accreditation.	SIGITE Conference	2007	DBLP DOI BibTeX RDF	IT accreditation, continuous program improvement, database design
16	Michael Jackson 0001	What Can We Expect from Program Verification?	Computer	2006	DBLP DOI BibTeX RDF	software engineering, program verification, system reliability, software-intensive systems
16	Stephen T. Frezza, Mei-Huei Tang, Barry J. Brinkman	Creating an Accreditable Software Engineering Bachelor's Program.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	BSSE Program Development, Software Engineering, Accreditation, ABET
16	David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya	A formal relationship between program slicing and partial evaluation.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Conditioned program slicing, Partial evaluation