On the decidability and axiomatization of query finiteness in deductive databases
Journal of the ACM (JACM)
Using acceptors as transducers
Theoretical Computer Science
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
Implementing a Declarative String Query Language with String Restructuring
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Using Acceptors as Transducers
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Declarative routing: extensible routing with declarative queries
Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
Declarative networking: language, execution and optimization
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
The case for a unified extensible data-centric mobility infrastructure
Proceedings of 2nd ACM/IEEE international workshop on Mobility in the evolving internet architecture
Communications of the ACM - Scratch Programming for All
Maintaining distributed logic programs incrementally
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Maintaining distributed logic programs incrementally
Computer Languages, Systems and Structures
Safety, translation and evaluation of alignment calculus
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Declarative secure distributed information systems
Computer Languages, Systems and Structures
| Hi-index | 0.00 |