Search Results - concurrent logic programming languages

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

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

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

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

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

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

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

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

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

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

Cosmo: a concurrent separation logic for multicore OCaml by 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…”
Get full text

A concurrent program logic with a future and history by 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…”
Get full text

Compiling concurrent logic programming languages by Kliger, Shmuel

Get full text

Iron: managing obligations in higher-order concurrent separation logic by 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…”
Get full text

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement by 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…”
Get full text

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

“…We present Polaris, a concurrent separation logic with support for probabilistic reasoning…”
Get full text

Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic by 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…”
Get full text

PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs by 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…”
Get full text

Simuliris: a separation logic framework for verifying concurrent program optimizations by 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…”
Get full text