Proving Theorems about LISP Functions
Journal of the ACM (JACM)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Communications of the ACM
Correctness-preserving program transformations
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Semantics and axiomatics of a simple recursive language.
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
The promotion and accumulation strategies in transformational programming
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Eliminating Redundant Recursive Calls.
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
The concept of a supercompiler
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Automatic programming: A tutorial on formal methodologies
Journal of Symbolic Computation
Efficient compilation of linear recursive functions into object level loops
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Rule-based transformation of relational queries into iterative programs
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
An incremental algorithm for software analysis
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A knowledge-based problem-specific program generator
ACM SIGPLAN Notices
A rule-based view of query optimization
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
Journal of Symbolic Computation
Views: a way for pattern matching to cohabit with data abstraction
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Incremental data-flow analysis algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACE: an automatic complexity evaluator
ACM Transactions on Programming Languages and Systems (TOPLAS)
Flagship: a parallel architecture for declarative programming
ISCA '88 Proceedings of the 15th Annual International Symposium on Computer architecture
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Unfold/fold transformations and loop optimization of logic programs
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
On the translation of relational queries into iterative programs
ACM Transactions on Database Systems (TODS)
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
The ergo support system: an integrated set of tools for prototyping integrated environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Transformational derivation of programs using the focus system
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
On the transformation of logic programs with instantiation based computation rules
Journal of Symbolic Computation
Application programming as the construction of language interpreters
ACM SIGPLAN Notices
Configuration support for system description, construction and evolution
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
First order compiler: A deterministic logic program synthesis algorithm
Journal of Symbolic Computation
Profiling an Incremental Data Flow Analysis Algorithm
IEEE Transactions on Software Engineering
A method for specializing logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
An abstract machine for Lambda-terms normalization
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Compile-time garbage collection by sharing analysis
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Transformations on higher-order functions
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Formal manipulation of modular software systems
Conference proceedings on Formal methods in software development
Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development
Formalised development of software by machine assisted transformation
Conference proceedings on Formal methods in software development
Design of a text formatter with AUTO STAR
ACM SIGAda Ada Letters
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Parallel-program transformation using a metalanguage
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Parameterized partial evaluation
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Generalized partial computation for a lazy functional language
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Detecting static algorithms by partial evaluation
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Properties of unfolding-based meta-level systems
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Semantics preserving transformation rules for Prolog
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Using types to avoid redundant specialization
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Fun, rigour and pragmatism in functional programming
ACM SIGCSE Bulletin
Language Design for Program Manipulation
IEEE Transactions on Software Engineering
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Safe fusion of functional expressions
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Finiteness conditions for fixed point iteration
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Back to direct style II: first-class continuations
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
A strategy for transforming generate and test logic programs
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Automated assistance for program restructuring
ACM Transactions on Software Engineering and Methodology (TOSEM)
Online partial deduction of logic programs
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Tutorial notes on partial evaluation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
Journal of Symbolic Computation - Special issue on automatic programming
On the relation between functional and data parallel programming languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Projecting functional models of imperative programs
ACM SIGPLAN Notices
Creating abstract superclasses by refactoring
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Parameterized partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiler transformations for high-performance computing
ACM Computing Surveys (CSUR)
Total correctness by local improvement in program transformation
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimization of functional programs by grammar thinning
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract interpretation and low-level code optimization
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Higher-order expression procedures
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Interprocedural register allocation for lazy functional languages
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Shortcut deforestation in calculational form
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Total correctness by local improvement in the transformation of functional programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Strategic directions in research on programming languages
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Future directions in program transformation
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
An introduction to partial evaluation
ACM Computing Surveys (CSUR)
Open implementation analysis and design
Proceedings of the 1997 symposium on Software reusability
Tupling calculation eliminates multiple data traversals
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
A bounds inference method for vector-based memoization
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Synthesis of functions by transformations and constraints (poster)
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
A transformation system for CLP with dynamic scheduling and CCP
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Specialization of lazy functional logic programs
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Resource-bounded partial evaluation
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Constraints to stop higher-order deforestation
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reducing nondeterminism while specializing logic programs
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Deriving efficient parallel programs for complex recurrences
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A functional representation of data structures with a hole
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling generalization and polyvariance in partial deduction of normal logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logical framework based program development
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Program specialization via algorithmic unfold/fold transformations
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Program transformation in calculational form
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Static caching for incremental computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Partial evaluation of functional logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specialization of inductively sequential functional logic programs
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Program Improvement by Source-to-Source Transformation
Journal of the ACM (JACM)
Continuation-Based Program Transformation Strategies
Journal of the ACM (JACM)
Operational and Semantic Equivalence Between Recursive Programs
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Partial evaluation of logic programs
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Guarded horn clauses and experiences with parallel logic programming
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Semantics-preserving procedure extraction
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Guest Editor Introduction: Functional Approach to Intelligent Information Systems
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
How to Comprehend Queries Functionally
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
From recursion to iteration: what are the optimizations?
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Program Transformation Systems
ACM Computing Surveys (CSUR)
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
A System for Assisting Program Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Some Techniques for Recursion Removal from Recursive Functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Finite Differencing of Computable Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Grammar-Based Definition of Metaprogramming Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Recursion As an Effective Step in Program Development
ACM Transactions on Programming Languages and Systems (TOPLAS)
A real-time garbage collector based on the lifetimes of objects
Communications of the ACM
Program developments: formal explanations of implementations
Communications of the ACM
Syntactic source to source transforms and program manipulation
Communications of the ACM
Communications of the ACM
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Language support for Morton-order matrices
PPoPP '01 Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming
Cost-augmented narrowing-driven specialization
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Transformations of CCP programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compilers and staging transformations
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Readings in hardware/software co-design
Derivation of efficient DAG marking algorithms
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Transformational programming: applications to algorithms and systems
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Incremental data flow analysis
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Experience with an applicative string processing language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program improvement by internal specialization
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The evolution of list-copying algorithms and the need for structured program verification
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Characterization and elimination of redundancy in recursive programs
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Compiling real time functional reactive programming
ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
Using circular programs to deforest in accumulating parameters
ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
A note on elimination of simplest recursions
ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
Design patterns for functional strategic programming
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Software restructuring: implementing a code abstraction transformation
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The narrowing-driven approach to functional logic program specialization
New Generation Computing - Partial evaluation and program transformation
Program transformation system based on generalized partial computation
New Generation Computing - Partial evaluation and program transformation
Warm fusion in Stratego: A case study in generation of program transformation systems
Annals of Mathematics and Artificial Intelligence
Transformations to Restructure and Re–engineer COBOL Programs
Automated Software Engineering
Recursive Program Optimization through Inductive Synthesis Proof Transformation
Journal of Automated Reasoning
Partial Evaluation of Computation Process, Revisited
Higher-Order and Symbolic Computation
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Dynamic Programming via Static Incrementalization
Higher-Order and Symbolic Computation
Dynamic Programming via Static Incrementalization
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Towards a Modular Program Derivation via Fusion and Tupling
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Program Generation, Termination, and Binding-Time Analysis
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Translating Aggregate Queries into Iterative Programs
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Automatic Optimization of Multi-paradigm Declarative Programs
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Program Derivation = Rules + Strategies
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
On the Correctness of the Factoring Transformation
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
A Statically Allocated Parallel Functional Language
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Hardware/Software Co-Design Using Functional Languages
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Ahnentafel Indexing into Morton-Ordered Arrays, or Matrix Locality for Free
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
On Deforesting Parameters of Accumulating Maps
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Verification of Sets of Infinite State Processes Using Program Transformation
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
An Automatic Composition Algorithm for Functional Logic Programs
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
Relating Accumulative and Non-accumulative Functional Programs
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Conditions for Efficiency Improvement by Tree Transducer Composition
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Perfect Model Checking via Unfold/Fold Transformations
CL '00 Proceedings of the First International Conference on Computational Logic
Cooperation of Formal Methods in an Engineering Based Software Development Process
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Hardware Synthesis Using SAFL and Application to Processor Design
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Algebraic query optimisation for database programming languages
The VLDB Journal — The International Journal on Very Large Data Bases
Computer aided fusion for algebraic program derivation
Nordic Journal of Computing
Cycle therapy: a prescription for fold and unfold on regular trees
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Abstract specialization and its applications
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Foundations of data-parallel skeletons
Patterns and skeletons for parallel and distributed computing
QR factorization with Morton-ordered quadtree matrices for memory re-use and parallelism
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Object grammars and bijections
Theoretical Computer Science
Special purpose automatic programming for hidden surface elimination
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A powerful strategy for deriving efficient programs by transformation
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
S-1 Common Lisp implementation
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Toward an algebra of nondeterministic programs
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Program refinement by transformation
ICSE '81 Proceedings of the 5th international conference on Software engineering
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
On compiling embedded languages in LISP
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
On correct program development
ICSE '79 Proceedings of the 4th international conference on Software engineering
A flexible environment for program development based on a symbolic interpreter
ICSE '79 Proceedings of the 4th international conference on Software engineering
The synthesis of structure-changing programs
ICSE '78 Proceedings of the 3rd international conference on Software engineering
On the necessary evolution towards improvement specialization in software production teams
SIGCPR '77 Proceedings of the fifteenth annual SIGCPR conference
Operational and semantic equivalence between recursive programs.
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Applicative style programming, program transformation, and list operators
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A simple optimizer for FP-like languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Transformations of FP program schemes
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Program manipulation via an efficient production system
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Self-redefinition as a program manipulation strategy
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
An optimizing compiler for lexically scoped LISP
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
DUAL: An interactive tool for developing documented programs by step-wise refinements.
ICSE '82 Proceedings of the 6th international conference on Software engineering
A hierarchical structuring method for functional software systems
ICSE '82 Proceedings of the 6th international conference on Software engineering
DESCARTES: An Automatic Programming System for Algorithmically Simple Programs
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
WSDFU: program transformation system based on generalized partial computation
The essence of computation
The essence of computation
Tool support for refactoring functional programs
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
A functional correspondence between evaluators and abstract machines
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
A framework for program development based on schematic proof
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Predicting operational behaviour of abstract programs during formal developments
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Global Analysis and Transformations in Preprocessed Languages
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence
Journal of Functional Programming
Rules + strategies for transforming lazy functional logic programs
Theoretical Computer Science
A framework for the integration of partial evaluation and abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
An unfold/fold transformation framework for definite logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstracting refinements for transformation
Nordic Journal of Computing
Composition of functions with accumulating parameters
Journal of Functional Programming
The witness properties and the semantics of the Prolog cut
Theory and Practice of Logic Programming
Cost-Augmented Partial Evaluation of Functional Logic Programs
Higher-Order and Symbolic Computation
Using Circular Programs to Deforest in Accumulating Parameters
Higher-Order and Symbolic Computation
Transformations of logic programs with goals as arguments
Theory and Practice of Logic Programming
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
More thoughts on specification and verification
ACM SIGSOFT Software Engineering Notes
Fusion with stacks and accumulating parameters
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Imperative program optimization by partial evaluation
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A theory of totally correct logic program transformations
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Relating models of backtracking
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
A logic-based framework for attribute based access control
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
Calculating the Sieve of Eratosthenes
Journal of Functional Programming
Optimizing aggregate array computations in loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
Higher-Order and Symbolic Computation
Termination analysis and specialization-point insertion in offline partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program transformation by solving recurrences
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Semantic patches considered helpful
ACM SIGOPS Operating Systems Review
Algebraic fusion of functions with an accumulating parameter and its improvement
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Combinatorial sketching for finite programs
Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
Lightweight fusion by fixed point promotion
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Things to Know when Implementing KBO
Journal of Automated Reasoning
Transformation Rules and Strategies for Functional-Logic Programs: Thesis
AI Communications - CASC
Program Transformation: Theoretical Foundations and Basic Techniques. Part 1: Preface
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Point-free Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Infinite Unfolding and Transformations of Nondeterministic Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Redundant Call Elimination via Tupling
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
A Multiple-Clause Folding Rule Using Instantiation and Generalization
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding
Electronic Notes in Theoretical Computer Science (ENTCS)
Program development by transformations applied to relational database queries
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Totally correct logic program transformations via well-founded annotations
Higher-Order and Symbolic Computation
Science of Computer Programming
Loop detection in term rewriting using the eliminating unfoldings
Theoretical Computer Science
Alchemy: transmuting base alloy specifications into implementations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
An improved reductant calculus using fuzzy partial evaluation techniques
Fuzzy Sets and Systems
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
Electronic Notes in Theoretical Computer Science (ENTCS)
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
Object-oriented transformations for extracting aspects
Information and Software Technology
Positive supercompilation for a higher order call-by-value language
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Optimizing the stack size of recursive functions
Computer Languages, Systems and Structures
Algebraic fusion of functions with an accumulating parameter and its improvement
Journal of Functional Programming
The worker/wrapper transformation
Journal of Functional Programming
Algorithms and Architectures of Artificial Intelligence
Proceedings of the 2007 conference on Algorithms and Architectures of Artificial Intelligence
Thresholded Tabulation in a Fuzzy Logic Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Automatic synthesis of numerical computer programs
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A formal representation for plans in the programmer's apprentice
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Theory of linear equations applied to program transformation
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Manipulating descriptions of programs for database access
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
A logic program schema and its applications
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Explanation based program transformation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
The specialization and transformation of constructive existence proofs
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A natural programming calculus
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
A deductive approach to program synthesis
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
The synthesis of programs by analogy
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Logic program derivation for a class of first order logic relations
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Duce, an oracle-based approach to constructive induction
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Solving "how to clear a block" with constructive matching methodology
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
On program synthesis knowledge
Artificial Intelligence
Unfolding-based Improvements on Fuzzy Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
A fold/unfold transformation framework for rewrite theories extended to CCT
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
On fuzzy unfolding: A multi-adjoint approach
Fuzzy Sets and Systems
A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
Short communication: Higher-order communications for concurrent programming
Parallel Computing
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Detecting non-termination of term rewriting systems using an unfolding operator
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Automated verification of shape and size properties via separation logic
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Automatic correctness proofs for logic program transformations
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A generalization of the folding rule for the Clark-Kunen semantics
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
A design methodology for functional programs
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Testing data types implementations from algebraic specifications
Formal methods and testing
Testability transformation: program transformation to improve testability
Formal methods and testing
Tail recursive programming by applying generalization
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Transformations of logic programs on infinite lists
Theory and Practice of Logic Programming
Inductive synthesis of equational programs
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Using abstraction to automate program improvement by transformation
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Semantic comparison of structured visual dataflow programs
Proceedings of the 3rd International Symposium on Visual Information Communication
The transformational approach to program development
A 25-year perspective on logic programming
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Transformation and debugging of functional logic programs
A 25-year perspective on logic programming
MOL'07/09 Proceedings of the 10th and 11th Biennial conference on The mathematics of language
Testing techniques in software engineering
Testing techniques in software engineering
Strictification of circular programs
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
FlagRemover: A testability transformation for transforming loop-assigned flags
ACM Transactions on Software Engineering and Methodology (TOSEM)
A functional, successor list based version of warshall's algorithm with applications
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
A static preprocess for improving fuzzy thresholded tabulation
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Bringing back monad comprehensions
Proceedings of the 4th ACM symposium on Haskell
Balanced trees inhabiting functional parallel programming
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Deriving an efficient FPGA implementation of a low density parity check forward error corrector
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
An expression processor: a case study in refactoring haskell programs
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
Hume box calculus: robust system development through software transformation
Higher-Order and Symbolic Computation
Distillation with labelled transition systems
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Transformational verification of parameterized protocols using array formulas
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Building a fuzzy transformation system
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Proving properties of constraint logic programs by eliminating existential variables
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Why the virtual nature of software makes it ideal for search based optimization
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Task partitioning for multi-core network processors
CC'05 Proceedings of the 14th international conference on Compiler Construction
Filters on coinductive streams, an application to eratosthenes' sieve
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
RAPT: a program transformation system based on term rewriting
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Program optimizations and transformations in calculation form
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Science of Computer Programming
Reverse engineering and reusing COBOL programs: a program transformation approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Recursion diagrams: ideas for a geometry of formal methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Formal integration: A program transformation technique
Computer Languages
Proving the correctness of unfold/fold program transformations using bisimulation
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Property-preserving program refinement
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Proving properties of co-logic programs by unfold/fold transformations
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Reasoning about multi-process systems with the box calculus
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs
Proceedings of the 2012 Haskell Symposium
A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Redundant Call Elimination via Tupling
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
A Multiple-Clause Folding Rule Using Instantiation and Generalization
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Kan extensions for program optimisation or: art and dan explain an old trick
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Point-free Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Infinite Unfolding and Transformations of Nondeterministic Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Pushouts in software architecture design
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Simple and Minimal Ground Term Equation Systems
Fundamenta Informaticae
A Methodology For Constructing Logic Programs
Fundamenta Informaticae
Determinization of conditional term rewriting systems
Theoretical Computer Science
A shortcut fusion approach to accumulations
Science of Computer Programming
An unfolding-based preprocess for reinforcing thresholds in fuzzy tabulation
IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advances in computational intelligence - Volume Part I
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
Proving Theorems by Program Transformation
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
| Hi-index | 0.07 |
A system of rules for transforming programs is described, with the programs in the form of recursion equations. An initially very simple, lucid, and hopefully correct program is transformed into a more efficient one by altering the recursion structure. Illustrative examples of program transformations are given, and a tentative implementation is described. Alternative structures for programs are shown, and a possible initial phase for an automatic or semiautomatic program-manipulation system is indicated.