Suchergebnisse - Theory of computation Logic Programming logic

Alignment Completeness for Relational Hoare Logics von Nagasamudram, Ramana, Naumann, David A.

“… Relational Hoare logics (RHL) provide rules for reasoning about relations between programs …”
Volltext

A Logic for Locally Complete Abstract Interpretations von Bruni, Roberto, Giacobazzi, Roberto, Gori, Roberta, Ranzato, Francesco

“… We introduce the notion of local completeness in abstract interpretation and define a logic for proving both the correctness and incorrectness of some program specification …”
Volltext

NECTAR: non-interactive smart contract protocol using blockchain technology von Covaci, Alexandra, Madeo, Simone, Motylinski, Patrick, Vincent, Stéphane

“… Blockchain-driven technologies are considered disruptive because of the availability of dis-intermediated, censorship-resistant and tamper-proof digital …”
Volltext

Quantitative Monadic Second-Order Logic von Kreutzer, Stephan, Riveros, Cristian

“… While monadic second-order logic is a prominent logic for specifying languages of finite words, it lacks the power to compute quantitative properties, e.g. to count …”
Volltext

Program Equivalence is Coinductive von Pattinson, Dirk, Schröder, Lutz

“… Equational reasoning over comodels is known to be subtle. We identify a criterion on equational theories and classes of comodels that guarantees completeness …”
Volltext

Automatic Loop Invariant Generation for Data Dependence Analysis von Tabar, Asmae Heydari, Bubel, Richard, Hahnle, Reiner

“… Parallelization of programs relies on sound and precise analysis of data dependences in the code, specifically, when dealing with loops. State-of-art tools are …”
Volltext

Decidability and Complexity for Quiescent Consistency von Dongol, Brijesh, Hierons, Robert M.

“… Quiescent consistency is a notion of correctness for a concurrent object that gives meaning to the object's behaviours in quiescent states, i.e., states in …”
Volltext

Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory von Colcombet, Thomas

“… Cost monadic logic extends monadic second-order logic with the ability to measure the cardinality of sets and comes with decision procedures for boundedness related questions …”
Volltext

An Empirical Comparison of Dynamic Impact Analysis Algorithms von Orso, Alessandro, Apiwattanapong, Taweesup, Law, James, Rothermel, Gregg, Harrold, Mary Jean

“… Impact analysis determining the potential effects of changes on a software system plays an important role in software engineering tasks such as maintenance, …”
Volltext

Precise Modeling of Design Patterns in UML von Mak, Jeffrey K. H., Choy, Clifford S. T., Lun, Daniel P. K.

“… Prior research attempts to formalize the structure ofobject-oriented design patterns for a more precisespecification of design patterns. It also allows …”
Volltext

The Evaluation of Large, Complex UML Analysis and Design Models von Berenbach, Brian

“… This paper describes techniques for analyzing largeUML models. The first part of the paper describesheuristics and processes for creating semantically …”
Volltext

A Tool for Writing and Debugging Algebraic Specifications von Henkel, Johannes, Diwan, Amer

“… Despite their benefits, programmers rarely use formalspecifications, because they are difficult to write and theyrequire an up front investment in time. To …”
Volltext

A Quantum Interpretation of Bunched Logic & Quantum Separation Logic von Zhou, Li, Barthe, Gilles, Hsu, Justin, Ying, Mingsheng, Yu, Nengkun

“… We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reasoning about quantum states …”
Volltext

Some constructive variants of S4 with the finite model property von Balbiani, Philippe, Dieguez, Martin, Fernandez-Duque, David

“… The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a long-standing open problem …”
Volltext

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments von 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 …”
Volltext

Lovász-Type Theorems and Game Comonads von 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 …”
Volltext

A model building framework for answer set programming with external computations von EITER, THOMAS, FINK, MICHAEL, IANNI, GIOVAMBATTISTA, KRENNWALLNER, THOMAS, REDL, CHRISTOPH, SCHÜLLER, PETER

“… As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information …”
Volltext

On Logics and Homomorphism Closure von Bodirsky, Manuel, Feller, Thomas, Knauer, Simon, Rudolph, Sebastian

“… Predicate logic is the premier choice for specifying classes of relational structures …”
Volltext

Categorical models of Linear Logic with fixed points of formulas von Ehrhard, Thomas, Jafarrahmani, Farzad

“… We develop a categorical semantics of µLL, a version of propositional Linear Logic with least and greatest fixed points extending David Baelde's propositional …”
Volltext

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses von Burn, Toby Cathcart, Ong, Luke, Ramsay, Steven, Wagner, Dominik

“… The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types …”
Volltext