Výsledky vyhľadávania - concurrent logic programming

A Linear Logic Programming Language for Concurrent Programming over Graph Structures Autor CRUZ, FLAVIO, ROCHA, RICARDO, GOLDSTEIN, SETH COPEN, PFENNING, FRANK

“…We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion…”
Získať plný text

Steel: proof-oriented programming in a dependently typed concurrent separation logic Autor Fromherz, Aymeric, Rastogi, Aseem, Swamy, Nikhil, Gibson, Sydney, Martínez, Guido, Merigoux, Denis, Ramananandro, Tahina

“… ⋆ , a dependently typed programming language and proof assistant. Based on SteelCore, a concurrent separation logic (CSL) formalized in F…”
Získať plný text

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

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

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

Distributed concurrent linear logic programming Autor Kobayashi, Naoki, Shimizu, Toshihiro, Yonezawa, Akinori

“…We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation…”
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

Iris from the ground up: A modular foundation for higher-order concurrent separation logic Autor JUNG, RALF, KREBBERS, ROBBERT, JOURDAN, JACQUES-HENRI, BIZJAK, ALEŠ, BIRKEDAL, LARS, DREYER, DEREK

“…Iris is a framework for higher-order concurrent separation logic, which has been implemented in the Coq proof assistant and deployed very effectively in a wide variety of verification projects…”
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

Programming in concurrent logic languages Autor Huntbach, M.M., Ringwood, G.A.

“…The authors survey concurrent logic languages, which expand Prolog by dropping its built-in sequential search order…”
Získať plný text

Observational equivalences for linear logic concurrent constraint languages Autor Haemmerle, Remy

“…Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC…”
Získať plný text

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages Autor Lee, Jimmy H.M., Leung, Ho-fung

“… This paper presents an implementation scheme IQ of incremental queries in Constraint Pandora, which defines a class of non-deterministic concurrent constraint logic programming languages…”
Získať plný text

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs Autor Swamy, Nikhil, Rastogi, Aseem, Fromherz, Aymeric, Merigoux, Denis, Ahman, Danel, Martínez, Guido

“… a foundation on which to build semantics for more complex programming constructs and program logics, extending the reasoning…”
Získať plný text

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

“… The specific logic programming language used to demonstrate this possibility is Flat Concurrent Prolog (FCP…”
Získať plný text

Subexponential concurrent constraint programming Autor Olarte, Carlos, Pimentel, Elaine, Nigam, Vivek

“…In previous works we have shown that linear logic with subexponentials (SELL), a refinement of linear logic, can be used to specify emergent features of concurrent constraint programming (CCP…”
Získať plný text

Integrating Fuzzy Logic and Dynamic Programming in Multithreaded Concurrent File Transfer Schemes Autor Sermeno, Jason P., Orquia, John Jowil D.

“…The advancement in the architecture of multicore processors leads to the rapid development of multithreaded concurrent file transfer utilities…”
Získať plný text

Concurrent incorrectness separation logic Autor Raad, Azalea, Berdine, Josh, Dreyer, Derek, O'Hearn, Peter W.

“… However, ISL only considers sequential programs. Here, we develop concurrent incorrectness separation logic (CISL…”
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…”
Získať plný text