Výsledky vyhledávání - concurrent logic programming languages

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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat plný text

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ískat 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ískat plný text

Cosmo: a concurrent separation logic for multicore OCaml Autor Mével, Glen, Jourdan, Jacques-Henri, Pottier, François

“…? To answer it, we instantiate Iris, a modern descendant of Concurrent Separation Logic, for Multicore OCaml…”
Získat plný text

A concurrent program logic with a future and history Autor Meyer, Roland, Wies, Thomas, Wolff, Sebastian

“…Verifying fine-grained optimistic concurrent programs remains an open problem. Modern program logics provide abstraction mechanisms and compositional reasoning principles to deal with the inherent complexity…”
Získat plný text

Compiling concurrent logic programming languages Autor Kliger, Shmuel

Získat plný text

Iron: managing obligations in higher-order concurrent separation logic Autor Bizjak, Aleš, Gratzer, Daniel, Krebbers, Robbert, Birkedal, Lars

“…, when some resources are shared, and different threads operate on them concurrently. We present Iron, a novel higher-order concurrent separation logic that allows for precise reasoning about resources that are transferable among dynamically allocated threads…”
Získat plný text

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement Autor Timany, Amin, Gregersen, Simon Oddershede, Stefanesco, Léo, Hinrichsen, Jonas Kastberg, Gondelman, Léon, Nieto, Abel, Birkedal, Lars

“…Expressive state-of-the-art separation logics rely on step-indexing to model semantically complex features and to support modular reasoning about imperative higher-order concurrent and distributed programs…”
Získat plný text

A separation logic for concurrent randomized programs Autor Tassarotti, Joseph, Harper, Robert

“…We present Polaris, a concurrent separation logic with support for probabilistic reasoning…”
Získat plný text

Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic Autor Jung, Jaehwang, Lee, Janggun, Choi, Jaemin, Kim, Jaewoo, Park, Sunho, Kang, Jeehoon

“… However, this modularity has not been carried over to formal verification. We propose modular specifications of hazard pointers and RCU, and formally verify realistic implementations of them in concurrent separation logic…”
Získat plný text

PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs Autor Ebner, Gabriel, Martínez, Guido, Rastogi, Aseem, Dardinier, Thibault, Frisella, Megan, Ramananandro, Tahina, Swamy, Nikhil

“…PulseCore is a new program logic suitable for intrinsic proofs of higher-order, stateful, concurrent, dependently typed programs…”
Získat plný text

Simuliris: a separation logic framework for verifying concurrent program optimizations Autor Gäher, Lennard, Sammler, Michael, Spies, Simon, Jung, Ralf, Dang, Hoang-Hai, Krebbers, Robbert, Kang, Jeehoon, Dreyer, Derek

“… One key trick compilers use to justify transformations of concurrent programs is to assume that the source program has no data races…”
Získat plný text