Equational logic as a programming language
Equational logic as a programming language
Efficiently updating materialized views
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
GL—a denotational testbed with continuations and partial continuations as first-class objects
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Constraint programming languages: their specification and generation
Constraint programming languages: their specification and generation
Incremental data-flow analysis algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
A functional approach to integrating database and expert systems
Communications of the ACM
INC: a language for incremental computations
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Conditions for incremental iteration: examples and counterexamples
Science of Computer Programming
A library for incremental update of bitmap images
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
Incremental dynamic semantics for language-based programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient incremental LR parsing for syntax-directed editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
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)
Hi-index | 0.01 |