Search Results - "concurrent logic programming"

A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic by Glazerman, Marion

“… the concurrent logic programming languages is developed. The approach is from an order theoretic viewpoint…”
Get full text

A history of the Oz multiparadigm language by Van Roy, Peter, Haridi, Seif, Schulte, Christian, Smolka, Gert

“… We give the history of Oz as it developed from its origins in logic programming, starting with Prolog, followed by concurrent logic programming and constraint logic programming, and leading…”
Get full text

LMNtal as a hierarchical logic programming language by Ueda, Kazunori

“…), the two notable extensions to concurrent logic programming. LMNtal is intended to be a substrate language of various computational models, especially those addressing concurrency, mobility and multiset rewriting…”
Get full text

Constraint Satisfaction in Distributed Concurrent Logic Programming by LEUNG, HO-FUNG, CLARK, KEITH L.

“… To support constraint solving in a committed-choice concurrent logic programming language, the constraint solver also needs to determine the status of the ‘ask…”
Get full text

A lingua franca for concurrent logic programming by Taylor, H.

“…Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog…”
Get full text

Concurrent logic programming as a hardware description tool by Dotan, Y., Arazi, B.

“…The possibility of developing hardware description languages (HDLs) based on the principles of logic programming is discussed. The specific logic programming…”
Get full text

Compiling concurrent logic programming languages by Kliger, Shmuel

Get full text

The deevolution of concurrent logic programming languages by Tick, E.

“…This article surveys the field of implementation of concurrent logic programming languages…”
Get full text

Modeling flexible manufacturing systems: the concurrent logic programming approach by Dotan, Y., Ben-Arieh, D.

“…) is presented, focusing on shop-floor control processes. This approach is based on concurrent logic programming, which uses the theoretical foundation of communicating sequential processes and guarded commands with nondeterminacy…”
Get full text

Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming by Saito, K.

“…Today's high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of…”
Get full text

Kima: An Automated Error Correction System for Concurrent Logic Programs by Ajiro, Yasuhiro, Ueda, Kazunori

“…We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in…”
Get full text

Simulation of colored Petri nets in concurrent logic programming by Naim, A., Tisseau, J.

“…This paper deals with the modelling of colored Petri nets (colored PN) in concurrent logic programming…”
Get full text

Concurrent Logic Programming for modeling flexible manufacturing systems by Arieh, D.B., Dotan, Y.

Get full text

Constraint-Based Concurrency and Beyond by Ueda, Kazunori

“…Constraint-based concurrency is a simple and elegant formalism of concurrency with monotonic mobile channels, whose history started in early 1980's as a…”
Get full text

Constraint-Based Concurrency and Beyond by Kazunori Ueda

Get full text

Smart office robot collaboration based on multi-agent programming by Mizoguchi, F., Nishiyama, H., Ohwada, H., Hiraishi, H.

“… We have developed a multi-agent robot language (MRL) as an evolution of concurrent logic programming…”
Get full text

Logic programming in the context of multiparadigm programming: the Oz experience by VAN ROY, PETER, BRAND, PER, DUCHIER, DENYS, HARIDI, SEIF, SCHULTE, CHRISTIAN, HENZ, MARTIN

“…Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different…”
Get full text

Experience using an intermediate compiler target language for parallel machines by Papadopoulos, George A.

“…) logic programming ones and various amalgamations of them, to (concurrent) object-oriented ones…”
Get full text

Evaluation of parallel copying garbage collection on a shared-memory multiprocessor by Imai, A., Tick, E.

“… An implementation of the algorithm within a concurrent logic programming system, VPIM, has been evaluated and the results, for a wide selection of benchmarks, are analyzed here. The authors show 1…”
Get full text

Design of security system based on immune system by Nishiyama, H., Mizoguchi, F.

“… This system defines an immune cell as one agent based on our multiagent language, which is an extension of concurrent logic programming languages…”
Get full text