Suchergebnisse - concurrent logic programming

A Linear Logic Programming Language for Concurrent Programming over Graph Structures von 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 …”
Volltext

Steel: proof-oriented programming in a dependently typed concurrent separation logic von 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 …”
Volltext

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

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

Modeling flexible manufacturing systems: the concurrent logic programming approach von 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 …”
Volltext

A history of the Oz multiparadigm language von 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 …”
Volltext

LMNtal as a hierarchical logic programming language von 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 …”
Volltext

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

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

“… This article surveys the field of implementation of concurrent logic programming languages …”
Volltext

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

Constraint Satisfaction in Distributed Concurrent Logic Programming von 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 …”
Volltext

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

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

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

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

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

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

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages von 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 …”
Volltext

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs von 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 …”
Volltext

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

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

Subexponential concurrent constraint programming von 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 …”
Volltext

Integrating Fuzzy Logic and Dynamic Programming in Multithreaded Concurrent File Transfer Schemes von 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 …”
Volltext

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

“… However, ISL only considers sequential programs. Here, we develop concurrent incorrectness separation logic (CISL …”
Volltext

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

“… We have implemented Kima, an automated error correction system for concurrent logic programs …”
Volltext