Search

Your search keyword '"Clark, Keith L."' showing total 6 results
Start Over Author "Clark, Keith L." Search Limiters Full Text
6 results on '"Clark, Keith L."'

1. Multi-Threading And Message Communication In Qu-Prolog

Author

Clark, Keith L., Robinson, Peter J., and Hagen, Richard

Subjects
Computer Science - Programming Languages, D.1.6, D.3.2
Abstract

This paper presents the multi-threading and internet message communication capabilities of Qu-Prolog. Message addresses are symbolic and the communications package provides high-level support that completely hides details of IP addresses and port numbers as well as the underlying TCP/IP transport layer. The combination of the multi-threads and the high level inter-thread message communications provide simple, powerful support for implementing internet distributed intelligent applications., Comment: Appeared in Theory and Practice of Logic Programming, vol. 1, no. 3, 2001

Published
2004

2. PARLOG and its applications

Author

Clark, Keith L.

Subjects
Object-Oriented Languages, Parallel Processing, Programming Language, Technology, Software Design, PROLOG, Program Logic
Published
1988

5. Consequence Verification of Flowcharts.

Author

Clark, Keith L. and Van Emden, M. H.

Subjects
*LOGIC programming, *COMPUTER programming, *FLOW charts, *COMPUTER software, *COMPUTER systems, *SOFTWARE engineering
Abstract

A common basis is presented for Floyd's method of inductive assertions and for the subgoal induction method of Morris and Wegbreit. This basis is provided by consequence verification, a method for verifying logic programs. We connect flowcharts with logic programs by giving a recursive definition of the set of all computations of a flowchart. This definition can he given in two ways: the recursion can run forward or backward. Both definitions can be expressed in logic, resulting in a logic program which is then subjected to consequence verification. Verification of the forward logic program is shown to be essentially Floyd's method; verification of the backward program corresponds similarly to subgoal induction. [ABSTRACT FROM AUTHOR]

Published
1981

6. The memory management of PROLOG implementations

Author

Bruynooghe, Maurice, Tärnlund, SA, Clark, Keith L, and Tärnlund, Sten-Åke

Abstract

ispartof: pages:12-20 ispartof: Proceedings of the Logic Programming Workshop pages:12-20 ispartof: Logic Programming Workshop location:Debrecen, Hungary date:14 Jul - 16 Jul 1980 status: published

Published
1980

Catalog

Books, media, physical & digital resources
See catalog results