Výsledky vyhľadávania - "Concurrent logic programming"

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

“… the concurrent logic programming languages is developed. The approach is from an order theoretic viewpoint…”
Získať plný text

A history of the Oz multiparadigm language Autor 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…”
Získať plný text

LMNtal as a hierarchical logic programming language Autor 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…”
Získať plný text

Constraint Satisfaction in Distributed Concurrent Logic Programming Autor 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…”
Získať plný text

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

“…Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog…”
Získať plný text

Concurrent logic programming as a hardware description tool Autor 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…”
Získať plný text

Compiling concurrent logic programming languages Autor Kliger, Shmuel

Získať plný text

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

“…This article surveys the field of implementation of concurrent logic programming languages…”
Získať plný text

Modeling flexible manufacturing systems: the concurrent logic programming approach Autor 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…”
Získať plný text

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

“…Today's high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of…”
Získať plný text

Kima: An Automated Error Correction System for Concurrent Logic Programs Autor 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…”
Získať plný text

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

“…This paper deals with the modelling of colored Petri nets (colored PN) in concurrent logic programming…”
Získať plný text

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

Získať plný text

Constraint-Based Concurrency and Beyond Autor Kazunori Ueda

Získať plný text

Constraint-Based Concurrency and Beyond Autor 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…”
Získať plný text

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

“… We have developed a multi-agent robot language (MRL) as an evolution of concurrent logic programming…”
Získať plný text

Logic programming in the context of multiparadigm programming: the Oz experience Autor 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…”
Získať plný text

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

“…) logic programming ones and various amalgamations of them, to (concurrent) object-oriented ones…”
Získať plný text

Evaluation of parallel copying garbage collection on a shared-memory multiprocessor Autor 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…”
Získať plný text

Design of security system based on immune system Autor 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…”
Získať plný text