A polymorphic type system for PROLOG.
Artificial Intelligence
Fine-grained mobility in the Emerald system
ACM Transactions on Computer Systems (TOCS)
Communications of the ACM
ACM Transactions on Programming Languages and Systems (TOPLAS)
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
A metalogic programming approach to multi-agent knowledge and belief
Artificial intelligence and mathematical theory of computation
Distributed programming with logic tuple spaces
New Generation Computing
Proceedings of the 8th annual ACM symposium on User interface and software technology
Blackboard-based extensions in Prolog
Software—Practice & Experience
Efficient and language-independent mobile programs
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
PageSpace: an architecture to coordinate distributed applications on the Web
Proceedings of the fifth international World Wide Web conference on Computer networks and ISDN systems
Mobile objects in distributed Oz
ACM Transactions on Programming Languages and Systems (TOPLAS)
An overview of the design of Distributed Oz
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Backtrackable State with Linear Affine Implication and Assumption Grammars
ASIAN '96 Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security
PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
Hierarchical Model and Communication by Signs, Signals and Symbols in Multi-Agent Environments
MAAMAW '94 Proceedings of the 6th European Workshop on Modelling Autonomous Agents: Distributed Software Agents and Applications
Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents
WET-ICE '97 Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Multicast Protocols for Jinni Agents
IICS '01 Proceedings of the International Workshop on Innovative Internet Computing Systems
How to Talk to Your Computer so that It Will Listen
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Garbage Collection Algorithms for Java-Based Prolog Engines
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Logic Programming Techniques for Dynamic VRML Web Content Generation
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Knowledge-based conversational agents and virtual storytelling
Proceedings of the 2004 ACM symposium on Applied computing
Prolog query interface: a set-of-mappings approach with optional segmentation
International Journal of Computers and Applications
From representations to computations: the evolution of web architectures
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Proceedings of the sixth workshop on Declarative aspects of multicore programming
Coordination and concurrency in multi-engine prolog
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Theory and Practice of Logic Programming - Prolog Systems
| Hi-index | 0.00 |
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehensive Logic programming based Internet programming framework. Mobile threads are implemented by capturing first order continuations in a compact data structure sent over the network. Code is fetched lazily from its original base turned into a server as the continuation executes at the remote site. Our code migration techniques, in combination with a dynamic recompilation scheme, ensure that heavily used code moves up smoothly on a speed hierarchy while volatile dynamic code is kept in a quickly updatable form. Among the examples, we describe how to build programmable client and server components (Web servers, in particular) and mobile agents.