Search Results - "Theory of computation Logic Programming logic"

A Logic for Locally Complete Abstract Interpretations by 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…”
Get full text

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

“…Relational Hoare logics (RHL) provide rules for reasoning about relations between programs. Several RHLs include a rule we call sequential product that infers…”
Get full text

NECTAR: non-interactive smart contract protocol using blockchain technology by 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…”
Get full text

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

“…We describe computational models, notably Turing and counter machines, as state transition systems with side effects. Side effects are expressed via an…”
Get full text

Quantitative Monadic Second-Order Logic by 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…”
Get full text

Decidability and Complexity for Quiescent Consistency by 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…”
Get full text

An Empirical Comparison of Dynamic Impact Analysis Algorithms by 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,…”
Get full text

Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory by 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…”
Get full text

Automatic Loop Invariant Generation for Data Dependence Analysis by 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…”
Get full text

Precise Modeling of Design Patterns in UML by 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…”
Get full text

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

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

A Tool for Writing and Debugging Algebraic Specifications by 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…”
Get full text

Automated distributed implementation of component-based models with priorities by Bonakdarpour, Borzoo, Bozga, Marius, Quilbeuf, Jean

“…In this paper, we introduce a novel model-based approach for constructing correct distributed implementation of component-based models constrained by…”
Get full text

Automated addition of fault recovery to cyber-physical component-based models by Bonakdarpour, Borzoo, Lin, Yiyan, Kulkarni, Sandeep

“…In this paper, we concentrate on automated synthesis of fault recovery mechanism for fault-intolerant component-based models that encompass a cyber-physical…”
Get full text

Concepts and implementation of a rule-based process engine by Peuschel, Burkhard, Schäfer, Wilhelm

Get full text

Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement by Wang, Chao, Li, Bing, Jin, HoonSang, Hachtel, Gary D., Somenzi, Fabio

“…We propose an abstraction refinement method for invariant checking,which is based on the simultaneous analysis of all abstractcounter examples of shortest…”
Get full text

Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL) by Naderlinger, Andreas, Pletzer, Johannes, Pree, Wolfgang, Templ, Josef

“…This paper argues that a logical specification of the timing behavior, which represents the core abstraction of the Timing Definition Language (TDL), is the…”
Get full text

Logical reliability of interacting real-time tasks by Chatterjee, Krishnendu, Ghosal, Arkadeb, Henzinger, Thomas A., Iercan, Daniel, Kirsch, Christoph M., Pinello, Claudio, Sangiovanni-Vincentelli, Alberto

“…We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a…”
Get full text

Formal specification of asynchronous distributed real-time systems by APTL by Wang, Farn, Mok, Al, Emerson, E. Allen

Get full text

Seeking concurrency in rule-based programming by Roman, Gruia-Catalin, Gamble, Rose F., Ball, William E.

“…This paper describes a formal approach for developing concurrent rule-based programs. Specification refinement is used to generate an initial version of the…”
Get full text