Search results for "source programs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Dinh Anh Nguyen, Koichiro Doi, Akihiro Yamamoto	Discovering the Structures of Open Source Programs from Their Developer Mailing Lists.	Discovery Science	2009	DBLP DOI BibTeX RDF	open source programs, extraction of structures, concept lattice, mailing lists
2	Jingke Li, Marina C. Chen	Compiling Communication-Efficient Programs for Massively Parallel Machines.	IEEE Trans. Parallel Distrib. Syst.	1991	DBLP DOI BibTeX RDF	communication-efficient programs, parallel target code, explicit communication, massively parallel distributed-memory machines, source programs, explicit control structures, syntactic reference patterns, communication routines, target program text, communication metric, data layout strategies, scheduling, parallel programming, parallel machines, program compilers, storage management, shared address space, shared-memory parallel programs
2	James R. Cordy, Nicholas L. Eliot, Michael G. Robertson	TuringTool: A User Interface to Aid in the Software Maintenance Task.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	software maintenance task, source program, editing system, TuringTool, single comprehensive viewing paradigm, source text elision, large source programs, structural views, nonstructural views, dynamic creation, complex programmer-specified views, simple set theoretic operators, Turing programming language, seamless viewing, separately compiled source modules, uniform source, software engineering, user interface, user interfaces, programming environments, high level languages, program development environments
2	Saumya K. Debray, David Scott Warren	Towards Banishing the Cut from Prolog.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	impure language features, impure features, Prolog source programs, firstof, oneof, declarative readings, parallel evaluation strategies, purer programming style, logic programs, logic programming, static analysis, PROLOG, program transformations, nondeterminism, cut, language constructs, compile time
1	Junko Shirogane, Takashi Mori, Hajime Iwata, Yoshiaki Fukazawa	Accessibility Evaluation for GUI Software Using Source Programs and Its Evaluation.	IEICE Transactions	2010	DBLP BibTeX RDF
1	Timea Illes-Seifert, Barbara Paech	Exploring the relationship of a file's history and its fault-proneness: An empirical method and its application to open source programs.	Information & Software Technology	2010	DBLP DOI BibTeX RDF
1	Wei Zhang 0022, Chong Sun, Shan Lu	ConMem: detecting severe concurrency bugs through an effect-oriented approach.	ASPLOS	2010	DBLP DOI BibTeX RDF	software testing, concurrency bugs
1	Vladimir Nesov	Automatically Finding Bugs in Open Source Programs.	ECEASST	2009	DBLP BibTeX RDF
1	Gergely Lukácsy, Péter Szeredi	Plagiarism Detection in Source Programs Using Structural Similarities.	Acta Cybern.	2009	DBLP BibTeX RDF
1	Yan Liang	Toward automatic artifact matching for tool evaluation.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	class matching model, reverse engineering, tool evaluation
1	Cédric Fournet, Gurvan Le Guernic, Tamara Rezk	A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	cryptography, compilers, computational model
1	David Chu, Joseph M. Hellerstein	Automating rendezvous and proxy selection in sensornets.	IPSN	2009	DBLP DOI BibTeX RDF
1	Suriya Subramanian, Michael W. Hicks, Kathryn S. McKinley	Dynamic software updates: a VM-centric approach.	PLDI	2009	DBLP DOI BibTeX RDF	virtual machine technology, garbage collection, dynamic software updating
1	Ruy Ley-Wild, Umut A. Acar, Matthew Fluet	A cost semantics for self-adjusting computation.	POPL	2009	DBLP DOI BibTeX RDF	self-adjusting computation
1	Sagar Chaki, Arie Gurfinkel, Ofer Strichman	Decision diagrams for linear arithmetic.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Rupesh Nasre, Kaushik Rajan, Ramaswamy Govindarajan, Uday P. Khedker	Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters.	APLAS	2009	DBLP DOI BibTeX RDF
1	Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet	Implementing a Direct Method for Certificate Translation.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Junko Shirogane, Takashi Mori, Hajime Iwata, Yoshiaki Fukazawa	Accessibility Evaluation for GUI Software Using Source Programs.	JCKBSE	2008	DBLP DOI BibTeX RDF
1	Tong Chen, Tao Zhang, Zehra Sura, Marc Gonzáles Tallada	Prefetching irregular references for software cache on cell.	CGO	2008	DBLP DOI BibTeX RDF	prefetch, DMA, software cache
1	Yan Wang, Zhiwen Bai, Miao Zhang, Wen Du, Ying Qin, Xiyang Liu	Fitness calculation approach for the switch-case construct in evolutionary testing.	GECCO	2008	DBLP DOI BibTeX RDF	switch-case construct, fitness function, evolutionary testing
1	Tetsuo Kamina, Tetsuo Tamai	Lightweight dependent classes.	GPCE	2008	DBLP DOI BibTeX RDF	class-based languages, dependent classes, mutually recursive extensions, generics, type safety
1	Sungwoo Park, Jinha Kim, Hyeonseung Im	Functional netlists.	ICFP	2008	DBLP DOI BibTeX RDF	linear type system, functional language, hardware description language
1	Cédric Fournet, Tamara Rezk	Cryptographically sound implementations for typed information-flow security.	POPL	2008	DBLP DOI BibTeX RDF	probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow
1	Hossain Shahriar, Mohammad Zulkernine	Mutation-Based Testing of Buffer Overflow Vulnerabilities.	COMPSAC	2008	DBLP DOI BibTeX RDF	Mutation-based testing, Vulnerabilities, Buffer overflow
1	Yu Xia Sun, Huo Yan Chen, T. H. Tse	Lean Implementations of Software Testing Tools Using XML Representations of Source Codes.	CSSE	2008	DBLP DOI BibTeX RDF
1	Hossain Shahriar, Mohammad Zulkernine	Mutation-Based Testing of Format String Bugs.	HASE	2008	DBLP DOI BibTeX RDF
1	Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins	Modular Information Hiding and Type-Safe Linking for C.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Reliability, Information hiding, Modules, packages, Code design, Coding Tools and Techniques
1	Gilles Barthe, Benjamin Grégoire, Mariela Pavlova	Preservation of Proof Obligations from Java to the Java Virtual Machine.	IJCAR	2008	DBLP DOI BibTeX RDF
1	Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini	Termination Analysis of Java Bytecode.	FMOODS	2008	DBLP DOI BibTeX RDF
1	Naouel Moha, Amine Rouane Hacene, Petko Valtchev, Yann-Gaël Guéhéneuc	Refactorings of Design Defects Using Relational Concept Analysis.	ICFCA	2008	DBLP DOI BibTeX RDF	Relational Concept Analysis, Refactoring, Design Defects
1	Keita Imada, Katsuhiko Nakamura	Towards Machine Learning of Grammars and Compilers of Programming Languages.	ECML/PKDD	2008	DBLP DOI BibTeX RDF
1	Simone Livieri, Yoshiki Higo, Makoto Matsushita, Katsuro Inoue	Very-Large Scale Code Clone Analysis and Visualization of Open Source Programs Using Distributed CCFinder: D-CCFinder.	ICSE	2007	DBLP DOI BibTeX RDF
1	Christoph Bockisch, Mira Mezini	A flexible architecture for pointcut-advice language implementations.	VMIL	2007	DBLP DOI BibTeX RDF
1	Ryan Culpepper, Matthias Felleisen	Debugging macros.	GPCE	2007	DBLP DOI BibTeX RDF
1	Huu Hai Nguyen, Martin C. Rinard	Detecting and eliminating memory leaks using cyclic memory allocation.	ISMM	2007	DBLP DOI BibTeX RDF	cyclic memory allocation, failure-oblivious computing, memory leaks
1	John McCarthy	Elephant 2000: a programming language based on speech acts.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	verification, logic, speech acts
1	Julian Dolby, Mandana Vaziri, Frank Tip	Finding bugs efficiently with a SAT solver.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	model checking, specification, slicing, SAT solving
1	Andrzej Wasylkowski, Andreas Zeller, Christian Lindig	Detecting object usage anomalies.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	automated defect detection, automated specification generation, data mining for software engineering, object usage anomalies, programming rules, pattern recognition, static analysis
1	Wensheng Tang, Shaogang Wang, Dan Wu, Wangqiu Kuang	A SWP Specification for Sequential Image Processing Algorithms.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF	SWP, SWFGcode selection, image-processing, pattern matching
1	Neil D. Jones, René Rydhof Hansen	The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer.	APLAS	2007	DBLP DOI BibTeX RDF
1	Jinseong Jeon, Keoncheol Shin, Hwansoo Han	Layout Transformations for Heap Objects Using Static Access Patterns.	CC	2007	DBLP DOI BibTeX RDF
1	Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld	Security of Multithreaded Programs by Compilation.	ESORICS	2007	DBLP DOI BibTeX RDF
1	Roberto E. Lopez-Herrejon, Sven Apel	Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies.	FASE	2007	DBLP DOI BibTeX RDF
1	Todd A. Anderson, Neal Glew, Peng Guo, Brian T. Lewis, Wei Liu, Zhanglin Liu, Leaf Petersen, Mohan Rajagopalan, James M. Stichnoth, Gansha Wu, Dan Zhang	Pillar: A Parallel Implementation Language.	LCPC	2007	DBLP DOI BibTeX RDF
1	Xavier Leroy	Formal Verification of an Optimizing Compiler.	RTA	2007	DBLP DOI BibTeX RDF
1	Meng Wang, Kung Chen, Siau-Cheng Khoo	Type-directed weaving of aspects for higher-order functional languages.	PEPM	2006	DBLP DOI BibTeX RDF	type inference, functional language, aspect oriented, higher-order, weaving
1	Lilian Burdy, Mariela Pavlova	Java bytecode specification and verification.	SAC	2006	DBLP DOI BibTeX RDF
1	Peifeng Hu, Zhenyu Zhang, W. K. Chan, T. H. Tse	An empirical comparison between direct and indirect test result checking approaches.	SOQUA	2006	DBLP DOI BibTeX RDF	empirical evaluation, controlled experiment, test oracle, metamorphic testing
1	Martin Süßkraut, Christof Fetzer	Automatically Finding and Patching Bad Error Handling.	EDCC	2006	DBLP DOI BibTeX RDF
1	Masayuki Arai, Tomomi Yamazaki	Design of a Learning Support System to Aid Novice Programmers in Obtaining the Capability of Tracing.	ICALT	2006	DBLP DOI BibTeX RDF
1	Masashi Ueda	A Model of Open Source Software Style R&D on Business.	ICSEA	2006	DBLP DOI BibTeX RDF
1	Valentina Dagiene	Research on Open Source Software Intended to Promote its Usage in Education.	Education for the 21st Century	2006	DBLP DOI BibTeX RDF
1	Jeong Woo Son, Seong-Bae Park, Se-Young Park	Program Plagiarism Detection Using Parse Tree Kernels.	PRICAI	2006	DBLP DOI BibTeX RDF
1	Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu	Structural Invariants.	SAS	2006	DBLP DOI BibTeX RDF
1	Guillaume Langelier, Houari A. Sahraoui, Pierre Poulin	Visualization-based analysis of quality for large-scale software systems.	ASE	2005	DBLP DOI BibTeX RDF	metrics, software visualization, quality assessment
1	Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks	Understanding source code evolution using abstract syntax tree matching.	MSR	2005	DBLP DOI BibTeX RDF	software evolution, source code analysis, abstract syntax trees
1	Iulian Neamtiu, Jeffrey S. Foster, Michael Hicks	Understanding source code evolution using abstract syntax tree matching.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	software evolution, source code analysis, abstract syntax trees
1	Shin-Jia Hwang, Kuang-Hsi Chen	A Proxy Automatic Signature Scheme Using a Compiler in Distributed Systems for (Unknown) Virus Detection.	AINA	2005	DBLP DOI BibTeX RDF
1	Alexander Dreiling, Helmut Klaus, Michael Rosemann, Boris Wyssusek	Open Source Enterprise Systems: Towards a Viable Alternative.	HICSS	2005	DBLP DOI BibTeX RDF
1	Dan Hao, Lu Zhang 0023, Hao Zhong, Hong Mei, Jiasu Sun	Eliminating Harmful Redundancy for Testing-Based Fault Localization Using Test Suite Reduction: An Experimental Study.	ICSM	2005	DBLP DOI BibTeX RDF
1	Kevin Hammond	Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach.	CEFP	2005	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The BLAST Software Verification System.	SPIN	2005	DBLP DOI BibTeX RDF
1	Yong Yang, Hee Beng Kuan Tan	Automated extracting code fragments that implement Security functionality from source programs.	SNPD	2004	DBLP BibTeX RDF
1	Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal	A semantics for tracing declarative multi-paradigm programs.	PPDP	2004	DBLP DOI BibTeX RDF	semantics, tracing, functional logic programming
1	Junpei Niwa	Prefetch Mechanism in Compiler-Assisted S-DSM System.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
1	Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya	ARCHERR: Runtime Environment Driven Program Safety.	ESORICS	2004	DBLP DOI BibTeX RDF
1	Fumio Negoro	Study on axiomatic rules for building up relationships between requirement and source programs.	Knowl.-Based Syst.	2003	DBLP DOI BibTeX RDF
1	Yoshida Atsushi, Fukuyasu Naoki	A Virtual File System for Source Program Editing.	APSEC	2002	DBLP DOI BibTeX RDF
1	Thomas Vestdam, Kurt Nørmark	Aspects of Internal Program Documentation - An Elucidative Perspective. (PDF / PS)	IWPC	2002	DBLP DOI BibTeX RDF
1	Hee Beng Kuan Tan, Juan Tiang Kow	An approach for extracting code fragments that implement functionality from source programs.	Journal of Software Maintenance	2001	DBLP DOI BibTeX RDF
1	Hiroyuki Sato	Array form representation of idiom recognition system for numerical programs.	APL	2001	DBLP DOI BibTeX RDF	FORTRAN
1	George C. Necula, Shree Prakash Rahul	Oracle-based checking of untrusted software.	POPL	2001	DBLP DOI BibTeX RDF	ORACLE
1	Hong Wang, Guangzhou Zeng, Shouxun Lin	A Strong Migration Method of Mobile Agents Based on Java.	CSCWD	2001	DBLP DOI BibTeX RDF
1	Elvira Albert, Michael Hanus, Germán Vidal	A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.	FLOPS	2001	DBLP DOI BibTeX RDF
1	Daniel Damian, Olivier Danvy	Syntactic accidents in program analysis: on the impact of the CPS transformation.	ICFP	2000	DBLP DOI BibTeX RDF	CPS transformation of binding-time information, CPS transformation of control-flow information, binding-time improvements, continuation-based evaluation, continuation-based partial evaluation
1	Sato Hiroyuki	Array form representation of idiom recognition system for numerical programs.	ACM SIGAPL APL Quote Quad	2000	DBLP DOI BibTeX RDF	FORTRAN
1	J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew	From system F to typed assembly language.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	secure extensible systems, type-directed compilation, typed assembly language, typed intermediate languages, certified code, closure conversion
1	Omer F. Rana	A Design and Management Framework for Mobile Agent Systems. (PDF / PS)	MASCOTS	1999	DBLP DOI BibTeX RDF	Petri nets, Mobile Agents, Design Patterns, Performance Estimation, Aglets
1	Byung-Sun Lee, Seung-Sun Lee, Mi-kyong Han, Wan Choi, Kyung Pyo Jun	Development of a Host DBMS for Testing Switching System Software.	RTCSA	1999	DBLP DOI BibTeX RDF
1	Ronald Morrison, Richard C. H. Connor, Quintin I. Cutts, Alan Dearle, Alex Farkas, Graham N. C. Kirby, Robert McGettrick, Evangelos Zirintsis	Current Directions in Hyper-Programming.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
1	Michiaki Tatsubori, Shigeru Chiba, Kozo Itano, Marc-Olivier Killijian	OpenJava: A Class-Based Macro System for Java.	Reflection and Software Engineering	1999	DBLP DOI BibTeX RDF
1	Caroline Tice, Susan L. Graham	OPTVIEW: A New Approach for Examining Optimized Code.	PASTE	1998	DBLP DOI BibTeX RDF
1	Takeshi Chusho, Katsuya Fujiwara	wwHww : An Application Framework of Distributed Systems for Enduser-Initiative Development.	APSEC	1998	DBLP DOI BibTeX RDF	Internet and intranets, enduser computing, distributed system, application framework, object-oriented technology
1	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
1	Mary Jean Harrold, James A. Jones, Gregg Rothermel	Empirical Studies of Control Dependence Graph Size for C Programs.	Empirical Software Engineering	1998	DBLP DOI BibTeX RDF	software engineering, static analysis, program analysis, control dependence
1	Kari Laitinen, Jorma Taramaa, Markky Heikkila, Neil C. Rowe	Enhancing Maintainability of Source Programs Through Disabbreviation.	Journal of Systems and Software	1997	DBLP BibTeX RDF
1	Olivier Danvy, Ulrik Pagh Schultz	Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure.	PEPM	1997	DBLP DOI BibTeX RDF
1	Olivier Danvy, Karoline Malmkjær, Jens Palsberg	Eta-Expansion Does The Trick.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	binding-time analysis and improvement, eta-expansion, static reduction, partial evaluation, program specialization
1	Noritaka Osawa, Kei Hisano, Toshitsugu Yuba	A Visual Performance Debugging System for Parallel Programs. (PDF / PS)	HICSS	1996	DBLP DOI BibTeX RDF
1	David A. Schmidt	Abstract Interpretation of Small-Step Semantics.	LOMAPS	1996	DBLP DOI BibTeX RDF
1	Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck	A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	Ada, concurrency, static analysis, tool integration, software development environments
1	Gail A. Alverson, David Notkin	Program Structuring for Effective Parallel Portability.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	parallel portability, target multiprocessor, parallel programs, parallel programming, parallel programming, data structure, software development, efficiency, shared memory systems, costs, portability, parallel languages, software portability, structured programming, run-time systems, shared memory architectures, partitioning-scheduling
1	Anders Bondorf	Improving Binding Times Without Explicit CPS-Conversion.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
1	Amr Sabry, Matthias Felleisen	Reasoning About Programs in Continuation-Passing Style.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
1	Jingke Li, Marina C. Chen	Generating explicit communication from shared-memory program references.	SC	1990	DBLP BibTeX RDF
1	Charles Consel, Olivier Danvy	From Interpreting to Compiling Binding Times.	ESOP	1990	DBLP DOI BibTeX RDF	partial evaluation, actions, combinators, self-application
1	Brian L. Meek, K. K. Siu	The effectiveness of error seeding.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
1	L. Sévigny, C. Hedegaard, Jean-Pierre Gambotto, Manfred Bohner, S. Grinaker, D. E. Lloyd, L. E. Garn, J. A. Knecht	A tape format for transferral of image data and source programs.	Computer Vision, Graphics, and Image Processing	1988	DBLP DOI BibTeX RDF
1	V. Seshadri, David B. Wortman, Michael D. Junkin, S. Weber, C. P. Yu, I. Small	Semantic Analysis in a Concurrent Compiler.	PLDI	1988	DBLP DOI BibTeX RDF
1	James R. Cordy, Charles D. Halpern-Hamu, Eric Promislow	TXL: a rapid prototyping system for programming language dialects.	ICCL	1988	DBLP DOI BibTeX RDF