Search Results - concurrent logic programming

A Linear Logic Programming Language for Concurrent Programming over Graph Structures by 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…”
Get full text

Steel: proof-oriented programming in a dependently typed concurrent separation logic by 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…”
Get full text

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

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

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

Distributed concurrent linear logic programming by 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…”
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

Iris from the ground up: A modular foundation for higher-order concurrent separation logic by 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…”
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

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

“…The authors survey concurrent logic languages, which expand Prolog by dropping its built-in sequential search order…”
Get full text

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

“…Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC…”
Get full text

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages by 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…”
Get full text

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs by 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…”
Get full text

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

“… The specific logic programming language used to demonstrate this possibility is Flat Concurrent Prolog (FCP…”
Get full text

Subexponential concurrent constraint programming by 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…”
Get full text

Integrating Fuzzy Logic and Dynamic Programming in Multithreaded Concurrent File Transfer Schemes by 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…”
Get full text

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

“… However, ISL only considers sequential programs. Here, we develop concurrent incorrectness separation logic (CISL…”
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…”
Get full text