Suchergebnisse - concurrent logic programming languages

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

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

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

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

“… This article surveys the field of implementation of concurrent logic programming languages …”
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

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

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

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

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

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

Cosmo: a concurrent separation logic for multicore OCaml von 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 …”
Volltext

A concurrent program logic with a future and history von 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 …”
Volltext

Compiling concurrent logic programming languages von Kliger, Shmuel

Volltext

Iron: managing obligations in higher-order concurrent separation logic von 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 …”
Volltext

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement von 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 …”
Volltext

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

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

Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic von 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 …”
Volltext

PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs von 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 …”
Volltext

Simuliris: a separation logic framework for verifying concurrent program optimizations von 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 …”
Volltext