Search results for "program transformations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Tolga Ayav, Pascal Fradet, Alain Girault	Implementing fault-tolerance in real-time programs by automatic program transformations.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	Fault-tolerance, program transformations, checkpointing, correctness proofs, heartbeating
3	Tolga Ayav, Pascal Fradet, Alain Girault	Implementing fault-tolerance in real-time systems by automatic program transformations.	EMSOFT	2006	DBLP DOI BibTeX RDF	fault-tolerance, program transformations, checkpointing, heartbeating
3	Keith H. Bennett	Do Program Transformations Help Reverse Engineering? (PDF / PS)	ICSM	1998	DBLP DOI BibTeX RDF	reverse engineering, program transformations, program comprehension
3	Björn Lisper	Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations.	CAAP	1996	DBLP DOI BibTeX RDF	reduction systems, recursive program schemes, program transformations, formal semantics, nondeterminism
3	David Hildum, Jacques Cohen	A Language for Specifying Program Transformations.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Prolog, program transformations, specification language, specification languages, language constructs
2	Alex Villazón, Walter Binder, Philippe Moret	Flexible calling context reification for aspect-oriented programming.	AOSD	2009	DBLP DOI BibTeX RDF	calling context reification, composition of program transformations, debugging, java virtual machine, bytecode instrumentation, aspect weaving
2	Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin	Formal certification of code-based cryptographic proofs.	POPL	2009	DBLP DOI BibTeX RDF	cryptographic proofs, relational hoare logic, program transformations, observational equivalence, coq proof assistant
2	Stephen Drape, Irina Voiculescu	Creating Transformations for Matrix Obfuscation.	SAS	2009	DBLP DOI BibTeX RDF	Program Transformations, Information Hiding, Obfuscation, Matrix Operations
2	Jarle Hulaas, Walter Binder	Program transformations for light-weight CPU accounting and control in the Java virtual machine.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF	Java, Program transformations, Resource management, Bytecode engineering
2	Tal Cohen, Joseph Gil, Itay Maman	Guarded Program Transformations Using JTL.	TOOLS	2008	DBLP DOI BibTeX RDF	Program Transformations, Declarative Programming
2	Munawar Hafiz	Security oriented program transformations (or how to add security on demand).	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	security, program transformation
2	Jaroslav Sevcík, David Aspinall	On Validity of Program Transformations in the Java Memory Model.	ECOOP	2008	DBLP DOI BibTeX RDF
2	Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Automatic Correctness Proofs for Logic Program Transformations.	ICLP	2007	DBLP DOI BibTeX RDF
2	Walter Binder, Jarle Hulaas	Flexible and efficient measurement of dynamic bytecode metrics.	GPCE	2006	DBLP DOI BibTeX RDF	Java, aspect-oriented programming, program transformations, resource management, profiling, JVM, partial evaluation, component-based software engineering, bytecode instrumentation, dynamic metrics
2	Albert Cohen, Marc Sigler, Sylvain Girbal, Olivier Temam, David Parello, Nicolas Vasilache	Facilitating the search for compositions of program transformations.	ICS	2005	DBLP DOI BibTeX RDF
2	Walter Binder	Portable, efficient, and accurate sampling profiling for java-based middleware.	SEM	2005	DBLP DOI BibTeX RDF	sampling profiling, Java, program transformations, JVM, bytecode instrumentation
2	Kewen Wang, Lizhu Zhou	Comparisons and computation of well-founded semantics for disjunctive logic programs.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	residual programs, semantics of logic programs and deductive databases, program transformations, argumentation, nonmonotonic reasoning, negation, Disjunctive logic programming, well-founded semantics
2	Walter Binder	A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting.	APLAS	2005	DBLP DOI BibTeX RDF	Java, program transformations, Profiling, JVM, bytecode instrumentation, dynamic metrics
2	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari	Stack inspection and secure program transformations.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Access control, Static analysis, Compiler optimizations, Language-based security
2	Albert Cohen, Sylvain Girbal, Olivier Temam	A Polyhedral Approach to Ease the Composition of Program Transformations.	Euro-Par	2004	DBLP DOI BibTeX RDF
2	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
2	Robert L. Akers, Ira D. Baxter, Michael Mehlich	Program transformations for re-engineering C++ components [OOPSLA/GPCE].	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
2	Ira D. Baxter, Christopher Pidgeon, Michael Mehlich	DMS®: Program Transformations for Practical Scalable Software Evolution.	ICSE	2004	DBLP DOI BibTeX RDF
2	Patricia Johann, Janis Voigtländer	Free theorems in the presence of seq.	POPL	2004	DBLP DOI BibTeX RDF	controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations
2	Walter Binder, Jarle Hulaas	Self-accounting as Principle for Portable CPU Control in Java.	Net.ObjectDays	2004	DBLP DOI BibTeX RDF	Bytecode rewriting, CPU accounting and control, Java, program transformations
2	Walter Binder, Jarle Hulaas	Extending Standard Java Runtime Systems for Resource Management.	SEM	2004	DBLP DOI BibTeX RDF	Bytecode rewriting, JDK, Java, program transformations, resource management
2	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari	Security-Aware Program Transformations.	ICTCS	2003	DBLP DOI BibTeX RDF
2	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
2	Anindya Banerjee, Nevin Heintze, Jon G. Riecke	Design and Correctness of Program Transformations Based on Control-Flow Analysis.	TACS	2001	DBLP DOI BibTeX RDF
2	Patrick Cousot	Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.	ICLP	2001	DBLP DOI BibTeX RDF
2	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
2	Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis	A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs.	LOPSTR	2001	DBLP DOI BibTeX RDF	Logic Program Transformations, Deductive Databases
2	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka	Verification of Parameterized Systems Using Logic Program Transformations.	TACAS	2000	DBLP DOI BibTeX RDF
2	Yannis Smaragdakis, Don S. Batory	Scoping Constructs for Software Generators.	GCSE	1999	DBLP DOI BibTeX RDF	generation scoping, hygienic macro expansion, program transformations, software generators
2	Somnath Ghosh, Margaret Martonosi, Sharad Malik	Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity.	ASPLOS	1998	DBLP DOI BibTeX RDF
2	Christian Blumenröhr, Dirk Eisenbiegler	Performing High-Level Synthesis via Program Transformations within a Theorem Prover.	EUROMICRO	1998	DBLP DOI BibTeX RDF
2	Annalisa Bossi, Nicoletta Cocco	Success in Logic Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF	pure Prolog programs, failure/success analysis, program transformations
2	Yamine Aït Ameur	A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. (PDF / PS)	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
2	Victor L. Winter, James M. Boyle	Proving refinement transformations for deriving high-assurance software. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	refinement transformation proving, high-assurance software engineering, refinement-based approach, TAMPR transformation system, automated refinement, semantic framework, automated reasoning system, software engineering, program transformations, program verification, stepwise refinement, high-level specification
2	Richard E. Mortimer, Keith H. Bennett	Maintenance and abstraction of program data using formal transformations. (PDF / PS)	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
2	E. J. Younger, Z. Luo, Keith H. Bennett, T. M. Bull	Reverse Engineering Concurrent Programs using Formal Modelling and Analysis. (PDF / PS)	ICSM	1996	DBLP DOI BibTeX RDF	Formal methods, concurrency, reverse engineering, program transformations, type theory
2	Tim Bull	Comprehension of Safety-Critical Systems Using Domain-Specific Languages. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	Program Transformations, Domain-Specific Languages, Safety-Critical Systems
2	E. J. Younger, Z. Luo, Keith H. Bennett, T. M. Bull	Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. (PDF / PS)	WCRE	1996	DBLP DOI BibTeX RDF	transformation based approach, core kernel language, formal program transformations, type proof tools, parallel programming, reverse engineering, software maintenance, concurrent programs, formal modelling, safety critical systems, type theory, formal analysis, type checking, WSL, sequential systems
2	David J. Kolson, Alexandru Nicolau, Nikil D. Dutt	Integrating program transformations in the memory-based synthesis of image and video algorithms.	ICCAD	1994	DBLP DOI BibTeX RDF
2	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
2	Ken Kennedy, Kathryn S. McKinley, Chau-Wen Tseng	Interactive Parallel Programming using the ParaScope Editor.	IEEE Trans. Parallel Distrib. Syst.	1991	DBLP DOI BibTeX RDF	ParaScope Editor, intelligent interactive editor, parallel Fortran programs, ParaScopeproject, integrated collection, scientific programmers, efficient parallel programs, powerful interactive program transformations, general user editing, hybrid text, structureediting facility, modified program, exploratory programming style, parallel programming, FORTRAN, text editing, interactive programming
2	Yatin P. Saraiya	Polynomial-Time Program Transformations in Deductive Databases.	PODS	1990	DBLP DOI BibTeX RDF
2	Zhiyu Shen, Zhiyuan Li, Pen-Chung Yew	An Empirical Study of Fortran Programs for Parallelizing Compilers.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	array references, program characteristics, integer-valued test, program transformations, FORTRAN, program compilers, parallelizing compilers, data dependence analysis, Fortran programs
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
2	Paul Tarau, Michel Boyer	Elementary Logic Programs.	PLILP	1990	DBLP DOI BibTeX RDF	logic program transformations, binary programs, fair evaluation, unfolding, metaprograms, OR-parallelism
2	Peter Lipps, Ulrich Möncke, Reinhard Wilhelm	OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences.	CC	1988	DBLP DOI BibTeX RDF
2	Scott E. Hudson, Roger King	The Cactis Project: Database Support for Software Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	database support, Cactis, load modules, software versions, object-oriented, program transformations, programming environments, database management system, database management systems, program compilations, program compilers, semantic models, project schedules, software environments, software configurations
2	Flemming Nielson	Program Transformations in a Denotational Setting.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
2	Susan L. Gerhart	Correctness-Preserving Program Transformations.	POPL	1975	DBLP DOI BibTeX RDF
1	Qing Yi	POET: a scripting language for applying parameterized source-to-source program transformations.	Softw., Pract. Exper.	2012	DBLP DOI BibTeX RDF
1	Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic	Formalizing the LLVM intermediate representation for verified program transformations.	POPL	2012	DBLP DOI BibTeX RDF
1	Hongjin Liang, Xinyu Feng, Ming Fu	A rely-guarantee-based simulation for verifying concurrent program transformations.	POPL	2012	DBLP DOI BibTeX RDF
1	Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard	Randomized accuracy-aware program transformations for efficient approximate computations.	POPL	2012	DBLP DOI BibTeX RDF
1	Yusuke Shirota, Jun'ichi Segawa, Masaya Tarui, Tatsunori Kanai	Autotuning in an Array Processing Language using High-level Program Transformations.	Procedia CS	2011	DBLP DOI BibTeX RDF
1	Na Meng, Miryung Kim, Kathryn S. McKinley	Systematic editing: generating program transformations from an example.	PLDI	2011	DBLP DOI BibTeX RDF
1	Geoff W. Hamilton, Neil D. Jones	Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation.	Ershov Memorial Conference	2011	DBLP DOI BibTeX RDF
1	Mahendra Chavan, Ravindra Guravannavar, Karthik Ramachandra 0002, S. Sudarshan	Program transformations for asynchronous query submission.	ICDE	2011	DBLP DOI BibTeX RDF
1	Jacob Thamsborg, Lars Birkedal	A kripke logical relation for effect-based program transformations.	ICFP	2011	DBLP DOI BibTeX RDF
1	Sasa Misailovic, Daniel M. Roy, Martin C. Rinard	Probabilistically Accurate Program Transformations.	SAS	2011	DBLP DOI BibTeX RDF
1	Julien Cohen, Rémi Douence	Views, Program Transformations, and the Evolutivity Problem	CoRR	2010	DBLP BibTeX RDF
1	Conrad Rau, Manfred Schmidt-Schauß	Towards Correctness of Program Transformations Through Unification and Critical Pair Computation	UNIF	2010	DBLP DOI BibTeX RDF
1	Saverio Perugini, Naren Ramakrishnan	Program transformations for information personalization.	Computer Languages, Systems & Structures	2010	DBLP DOI BibTeX RDF
1	Ashish Agarwal, Sooraj Bhat, Alexander G. Gray, Ignacio E. Grossmann	Automating Mathematical Program Transformations.	PADL	2010	DBLP DOI BibTeX RDF
1	Arun Chauhan, Chun-Yu Shei	Static reuse distances for locality-based optimizations in MATLAB.	ICS	2010	DBLP DOI BibTeX RDF	compilers, locality, memory hierarchy, MATLAB
1	Kenichi Asai, Arisa Kitani	Functional derivation of a virtual machine for delimited continuations.	PPDP	2010	DBLP DOI BibTeX RDF	cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization
1	Alex Gerdes, Johan Jeuring, Bastiaan Heeren	Using strategies for assessment of programming exercises.	SIGCSE	2010	DBLP DOI BibTeX RDF	functional programming, haskell, strategies, automatic assessment
1	Andreas Ingmar Schmied	Program transformations and their semi-automatic composition: a pragmatic approach to invasive middleware application engineering.		2009	RDF
1	Sara Kalvala, Richard Warburton, David Lacey	Program transformations using temporal logic side conditions.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	temporal logic, program transformation, rewriting, Optimizing compilers
1	Farhana Aleen, Nathan Clark	Commutativity analysis for software parallelization: letting program transformations see the big picture.	ASPLOS	2009	DBLP DOI BibTeX RDF	automatic software parallelization, commutative functions, random interpretation
1	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
1	Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann	Relational semantics for effect-based program transformations: higher-order store.	PPDP	2009	DBLP DOI BibTeX RDF	higher-order store, logical relation, side effect
1	Sato Hiroyuki	Idiom Recognition and Program Scheme Recognition Based Program Transformations for Performance Tuning--Beyond Compiler Optimizations--.	PDCAT	2009	DBLP DOI BibTeX RDF
1	Munawar Hafiz, Paul Adamczyk, Ralph E. Johnson	Systematically Eradicating Data Injection Attacks Using Security-Oriented Program Transformations.	ESSoS	2009	DBLP DOI BibTeX RDF
1	Phil McMinn	Search-based failure discovery using testability transformations to generate pseudo-oracles.	GECCO	2009	DBLP DOI BibTeX RDF	non-testable program, pseudo-oracle, search-based software testing, testability transformation, program transformation, oracle
1	Cheng Wang, Youfeng Wu, Edson Borin, Shiliang Hu, Wei Liu, Dave Sager, Tin-fook Ngai, Jesse Fang	Dynamic parallelization of single-threaded binary programs using speculative slicing.	ICS	2009	DBLP DOI BibTeX RDF	backward slicing, binary optimization, single-thread performance, parallelization, speculations
1	David Chu, Joseph M. Hellerstein	Automating rendezvous and proxy selection in sensornets.	IPSN	2009	DBLP DOI BibTeX RDF
1	Daan Leijen	Flexible types: robust type inference for first-class polymorphism.	POPL	2009	DBLP DOI BibTeX RDF	first-class polymorphism, system f, mlf
1	Steven P. Reiss	Semantics-based code search.	ICSE	2009	DBLP DOI BibTeX RDF
1	Steven P. Reiss	Semantics-based code search demonstration proposal.	ICSM	2009	DBLP DOI BibTeX RDF
1	Xuejun Yang, Jing Du, Xiaobo Yan, Yu Deng	Matrix-based streamization approach for improving locality and parallelism on FT64 stream processor.	The Journal of Supercomputing	2009	DBLP DOI BibTeX RDF	FT64, D&C Matrix, Streamization, Stream organization, Program transformation
1	Xavier Leroy, Sandrine Blazy	Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	The Coq proof assistant, Compilation, C, Program verification, Memory model, Compiler correctness
1	Alberto Pettorossi, Maurizio Proietti	Totally correct logic program transformations via well-founded annotations.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF	Program transformation rules, Partial and total correctness, Well-founded orderings, Logic programming
1	Alberto Pettorossi, Maurizio Proietti	Totally correct logic program transformations via well-founded annotations.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF
1	Mariano Ceccato, Thomas Roy Dean, Paolo Tonella	Using Program Transformations to Add Structure to a Legacy Data Model.	SCAM	2008	DBLP DOI BibTeX RDF
1	Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos	Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.	FMOODS	2008	DBLP DOI BibTeX RDF
1	Andreas I. Schmied, Franz J. Hauck	Practical Conflict Resolution for the Composition of Program Transformations.	Software Composition	2008	DBLP DOI BibTeX RDF	Conflict Resolution, Software Composition, Software Transformation, Transformation Language
1	Costin Iancu, Wei Chen 0011, Katherine A. Yelick	Performance portable optimizations for loops containing communication operations.	ICS	2008	DBLP DOI BibTeX RDF	communication, parallel programming, program transformations, code generation, latency hiding, performance portability
1	Costin Iancu, Steven A. Hofmeyr	Runtime optimization of vector operations on large scale SMP clusters.	PACT	2008	DBLP DOI BibTeX RDF	communication code generation, parallel programming, program transformations, latency hiding, performance portability
1	Janis Voigtländer	Proving correctness via free theorems: the case of the destroy/build-rule.	PEPM	2008	DBLP DOI BibTeX RDF	intermediate data structures, rank-2 types, shortcut deforestation, theorems for free, program transformations, correctness proofs, relational parametricity
1	Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin, Fabrice Rastello	Fast liveness checking for ssa-form programs.	CGO	2008	DBLP DOI BibTeX RDF	compilers, dominance, jit-compilation, ssa form, liveness analysis
1	Adam Chlipala	Parametric higher-order abstract syntax for mechanized semantics.	ICFP	2008	DBLP DOI BibTeX RDF	type-theoretic semantics, dependent types, compiler verification, interactive proof assistants
1	Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones	FPH: first-class polymorphism for Haskell.	ICFP	2008	DBLP DOI BibTeX RDF	higher-rank types, impredicativity, type inference
1	Toshio Suganuma, Toshiaki Yasue, Tamiya Onodera, Toshio Nakatani	Performance pitfalls in large-scale java applications translated from COBOL.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	COBOL to java translations, legacy migration, object allocation
1	Nik Sultana, Simon J. Thompson	Mechanical verification of refactorings.	PEPM	2008	DBLP DOI BibTeX RDF	refactoring, Isabelle/HOL
1	Clifford Liem, Yuan Xiang Gu, Harold Johnson	A compiler-based infrastructure for software-protection.	PLAS	2008	DBLP DOI BibTeX RDF	compiler-based techniques, software protection, tamper resistance, code transformation