Recursive programs as definitions in first order logic
SIAM Journal on Computing
Translation of attribute grammars into procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Proc. of a conference on Functional programming languages and computer architecture
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Efficient Synthesis of Gaussian Filters by Cascaded Uniform Filters
IEEE Transactions on Pattern Analysis and Machine Intelligence
Strategical derivation of on-line programs
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Projections for strictness analysis
Proc. of a conference on Functional programming languages and computer architecture
Attribute (re)evaluation in OPTRAN
Acta Informatica
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
An improved replacement strategy for function caching
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Incremental computation via function caching
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specification and transformation of programs: a formal approach to software development
Specification and transformation of programs: a formal approach to software development
Symbolic finite differencing, part I (invited lecture)
Proceedings of the third European symposium on programming on ESOP '90
Compile-time garbage collection by sharing analysis
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
A theory of incremental computation and its application
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Strictness and binding-time analyses: two for the price of one
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
The Pan language-based editing system
ACM Transactions on Software Engineering and Methodology (TOSEM)
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
Alphonse: incremental computation as a programming abstraction
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Towards an automated tupling strategy
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Separating stages in the continuation-passing style transformation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Systematic derivation of incremental programs
Science of Computer Programming
Tabulation Techniques for Recursive Programs
ACM Computing Surveys (CSUR)
Finite Differencing of Computable Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental Context-Dependent Analysis for Language-Based Editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
An algorithm for reduction of operator strength
Communications of the ACM
Communications of the ACM
Transformational programming: applications to algorithms and systems
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Tupling Functions with Multiple Recursion Parameters
WSA '93 Proceedings of the Third International Workshop on Static Analysis
A powerful strategy for deriving efficient programs by transformation
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Caching Intermediate Results for Program Improvement
Caching Intermediate Results for Program Improvement
Incremental Computation for Transformational Software Development
Incremental Computation for Transformational Software Development
A COMPILER FOR THE MIT TAGGED-TOKEN DATAFLOW ARCHITECTURE
A COMPILER FOR THE MIT TAGGED-TOKEN DATAFLOW ARCHITECTURE
Individuating unknown objects by combining motion and stereo
Individuating unknown objects by combining motion and stereo
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computational Divided Differencing and Divided-Difference Arithmetics
Higher-Order and Symbolic Computation
Towards adaptive caching for parallel and discrete event simulation
WSC '04 Proceedings of the 36th conference on Winter simulation
Transparent and adaptive computation-block caching for agent-based simulation on a PDES core
Proceedings of the 40th Conference on Winter Simulation
Efficient Master/Worker Parallel Discrete Event Simulation
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Partial memoization of concurrency and communication
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Coalescing executions for fast uncertainty analysis
Proceedings of the 33rd International Conference on Software Engineering
Hi-index | 0.00 |