High-level networking with mobile code and first order AND-continuations

Volume 1
Issue 03 - May 2001
Add to Basket £30.00 / $45.00
Request Permissions
Cited by Articles (CrossRef)
Cited by Articles (Google Scholar)
Citation Alert
Go to Next Abstract in TOC
Go to Previous Abstract in TOC
Blog this Article close

Copy and paste this code to insert a reference to this article in your blog or online community profile:

Highlight All
<div style="background: #FFFFFF; margin: 10px 10px 10px 10px; padding: 10px 10px 10px 20px; text-align: left; border-top: 1px dashed #a5bbd1; border-left: 10px solid #a5bbd1; font-family: Verdana, Geneva, sans-serif;"><br> <div style="font-size: 12px; padding: 0px 0px 10px 0px; font-weight:bold; color: #003366;">High-level networking with mobile code and first order AND-continuations</div><br><div style="font-size: 10px;"><b>PAUL TARAU and VERONICA DAHL (2001).</b><br /> <a href="http://journals.cambridge.org/action/displayJournal?jid=TLP">Theory and Practice of Logic Programming</a>, <a href="http://journals.cambridge.org/action/displayJournal?jid=TLP&volumeId=1&bVolume=y#loc1 ">Volume 1</a>, <a href="http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=1&issueId=03&iid=77733"> Issue 03</a>, May 2001 pp 359-380 <br/> <a href="http://journals.cambridge.org/action/displayAbstract?aid=77733">http://journals.cambridge.org/action/displayAbstract?aid=77733</a></div></div>
The code will display like this:

High-level networking with mobile code and first order AND-continuations

PAUL TARAU and VERONICA DAHL (2001).
Theory and Practice of Logic Programming, Volume 1, Issue 03, May 2001 pp 359-380 http://journals.cambridge.org/action/displayAbstract?aid=77733

Blog this Article

Theory and Practice of Logic Programming (2001), 1 : 359-380 Cambridge University Press

Copyright © 2001 Cambridge University Press

doi:10.1017/S1471068401001193 (About doi)

Published online by Cambridge University Press 15 Jun 2001

Social Bookmarking

Theory and Practice of Logic Programming (2001), 1:3:359-380 Cambridge University Press
Copyright © 2001 Cambridge University Press
doi:10.1017/S1471068401001193

Special issue
Regular Paper

High-level networking with mobile code and first order AND-continuations

PAUL TARAU ^a1 and VERONICA DAHL ^a2
^a1 Department of Computer Science, University of North Texas, P.O. Box 311366, Denton, TX 76203, USA (e-mail: tarau@cs.unt.edu)
^a2 Logic and Functional Programming Group, Department of Computing Sciences, Simon Fraser University, Canada (e-mail: veronica@cs.sfu.ca)

Abstract

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.

Key Words: mobile computations; remote execution; networking; Internet programming; first order continuations; Linda coordination; blackboard-based logic programming; mobile agents; dynamic recompilation; code migration.

Username or Email Address	Password

Cambridge Journals Online

Theory and Practice of Logic Programming (2001), 1 : 359-380 Cambridge University Press

Copyright © 2001 Cambridge University Press

doi:10.1017/S1471068401001193 (About doi)

Published online by Cambridge University Press 15 Jun 2001

High-level networking with mobile code and first order AND-continuations

Abstract