Výsledky vyhledávání - "Constraint and logic programming"

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning) Autor Antoniadis, Anastasios, Tsatiris, Ilias, Grech, Neville, Smaragdakis, Yannis

“…Datalog engines for fixpoint evaluation have brought great benefits to static program analysis over the past decades. A Datalog specification of an analysis…”
Získat plný text

Better Together: Unifying Datalog and Equality Saturation Autor Zhang, Yihong, Wang, Yisu Remy, Flatt, Oliver, Cao, David, Zucker, Philip, Rosenthal, Eli, Tatlock, Zachary, Willsey, Max

“…We present egglog, a fixpoint reasoning system that unifies Datalog and equality saturation (EqSat). Like Datalog, egglog supports efficient incremental…”
Získat plný text

Probabilistic Inference for Datalog with Correlated Inputs Autor Wang, Jingbo, Halalingaiah, Shashin, Chen, Weiyi, Wang, Chao, Dillig, Işıl

“…Probabilistic extensions of logic programming languages, such as ProbLog, integrate logical reasoning with probabilistic inference to evaluate probabilities of…”
Získat plný text

Verifying Solutions to Semantics-Guided Synthesis Problems Autor Murphy, Charlie, Johnson, Keith J.C., Reps, Thomas, D'Antoni, Loris

“…Semantics-Guided Synthesis (SemGuS) provides a framework to specify synthesis problems in a solver-agnostic and domain-agnostic way, by allowing a user to…”
Získat plný text

Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification Autor Unno, Hiroshi, Terauchi, Tachio, Gu, Yu, Koskinen, Eric

“…We present a novel approach to deciding the validity of formulas in first-order fixpoint logic with background theories and arbitrarily nested inductive and…”
Získat plný text

Lovász-Type Theorems and Game Comonads Autor Dawar, Anuj, Jakl, Tomas, Reggio, Luca

“…Lovász (1967) showed that two finite relational structures A and B are isomorphic if, and only if, the number of homomorphisms from C to A is the same as the…”
Získat plný text

Bring Your Own Data Structures to Datalog Autor Sahebolamri, Arash, Barrett, Langston, Moore, Scott, Micinski, Kristopher

“…The restricted logic programming language Datalog has become a popular implementation target for deductive-analytic workloads including social-media analytics…”
Získat plný text

Flan: An Expressive and Efficient Datalog Compiler for Program Analysis Autor Abeysinghe, Supun, Xhebraj, Anxhelo, Rompf, Tiark

“…Datalog has gained prominence in program analysis due to its expressiveness and ease of use. Its generic fixpoint resolution algorithm over relational domains…”
Získat plný text

An Interactive Debugger for Rust Trait Errors Autor Gray, Gavin, Crichton, Will, Krishnamurthi, Shriram

“…Compiler diagnostics for type inference failures are notoriously bad, and type classes only make the problem worse. By introducing a complex search process…”
Získat plný text

A Typed Multi-level Datalog IR and Its Compiler Framework Autor Klopp, David, Erdweg, Sebastian, Pacak, André

“…The resurgence of Datalog in the last two decades has led to a multitude of new Datalog systems. These systems explore novel ideas for improving Datalog's…”
Získat plný text

Synthesizing Formal Semantics from Executable Interpreters Autor Liu, Jiangyi, Murphy, Charlie, Grover, Anvay, Johnson, Keith J.C., Reps, Thomas, D’Antoni, Loris

“…Program verification and synthesis frameworks that allow one to customize the language in which one is interested typically require the user to provide a…”
Získat plný text

Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates Autor Thakkar, Aalok, Sands, Nathaniel, Petrou, George, Alur, Rajeev, Naik, Mayur, Raghothaman, Mukund

“…Synthesizing relational queries from data is challenging in the presence of recursion and invented predicates. We propose a fully automated approach to…”
Získat plný text

A systematic approach to deriving incremental type checkers Autor Pacak, André, Erdweg, Sebastian, Szabó, Tamás

“…Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking in some way. However, prior approaches to…”
Získat plný text

Interactive Debugging of Datalog Programs Autor Pacak, André, Erdweg, Sebastian

“…Datalog is used for complex programming tasks nowadays, consisting of numerous inter-dependent predicates. But Datalog lacks interactive debugging techniques…”
Získat plný text

Mapping a logical representation of TSP to quantum annealing Autor Silva, Carla, Aguiar, Ana, Lima, Priscila M. V., Dutra, Inês

“…This work presents the mapping of the traveling salesperson problem (TSP) based in pseudo-Boolean constraints to a graph of the D-Wave Systems Inc. We first…”
Získat plný text

Finite-Choice Logic Programming Autor Martens, Chris, Simmons, Robert J., Arntzenius, Michael

“…Logic programming, as exemplified by datalog, defines the meaning of a program as its unique smallest model: the deductive closure of its inference rules…”
Získat plný text

Automated Ambiguity Detection in Layout-Sensitive Grammars Autor Liu, Jiangyi, Zhu, Fengmin, He, Fei

“…Layout-sensitive grammars have been adopted in many modern programming languages. In a serious language design phase, the specified syntax—typically a…”
Získat plný text

Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications Autor Rouvoet, Arjen, van Antwerpen, Hendrik, Bach Poulsen, Casper, Krebbers, Robbert, Visser, Eelco

“…There is a large gap between the specification of type systems and the implementation of their type checkers, which impedes reasoning about the soundness of…”
Získat plný text

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments Autor Jung, Jean Christoph, Wolter, Frank

“…In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication. In…”
Získat plný text

Mapping graph coloring to quantum annealing Autor Silva, Carla, Aguiar, Ana, Lima, Priscila M. V., Dutra, Inês

“…Quantum annealing provides a method to solve combinatorial optimization problems in complex energy landscapes by exploiting thermal fluctuations that exist in…”
Získat plný text