Results 171 to 180 of about 270,225 (234)

Axiomatic vs Semantic Truth, 14-16 March

, 2012
Fischer, Martin, Murzi, Julien
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Axiomatic semantics for compiler verification

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016
Based on constructive type theory, we study two idealized imperative languages GC and IC and verify the correctness of a compiler from GC to IC. GC is a guarded command language with underspecified execution order defined with an axiomatic semantics. IC is a deterministic low-level language with linear sequential composition and lexically scoped gotos ...
S. Schäfer, S. Schneider, G. Smolka
semanticscholar   +2 more sources

Axiomatic Characterisations of Argumentation Semantics

Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning
The evaluation of argument strength lies at the core of any argumentation system. Numerous semantics have been proposed for this purpose, along with a variety of principles (or axioms) that such semantics are expected to satisfy.
Leila Amgoud
semanticscholar   +2 more sources

The Axiomatic Semantics of PDFD

2008 Japan-China Joint Workshop on Frontier of Computer Science and Technology, 2008
The integration of formal, structured and object-oriented methodology is the focus in the field of software development methodology. SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method.
Xiaolei Gao, Huai-kou Miao
semanticscholar   +2 more sources

An axiomatic semantics for nested concurrency

BIT, 1986
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
S. Meldal
semanticscholar   +3 more sources

Axiomatic semantics of projection temporal logic programs†

Mathematical Structures in Computer Science, 2010
In this paper, we investigate the axiomatic semantics of the projection temporal logic programming language MSVL. To this end, we employ Propositional Projection Temporal Logic (PPTL) as an assertion language to specify the desired properties. We give a set of state axioms and state inference rules.
Xiaoxiao Yang, Zhenhua Duan, Q. Ma
semanticscholar   +2 more sources

Consistency preserving for evolving megamodels through axiomatic semantics

2017 Intelligent Systems and Computer Vision (ISCV), 2017
Software architectures are often made to evolve due to changing user needs and/or to execution environment. The paper addresses the problem of ensuring consistency in dynamically changing software systems. The proposed approach uses a runtime megamodel which represents the architectural model of the running system and is used as a basis for model ...
El Hadji Bassirou Toure, Ibrahima Fall, A. Bah, M. Camara, Mandicou Ba   +4 more
semanticscholar   +2 more sources

Axiomatic semantics of a hardware specification language

[1992] Proceedings of the Second Great Lakes Symposium on VLSI, 1992
Formal hardware design verification is to examine whether a structural specification of a circuit meets its behavioral specification. Despite the progress in formal verification, there is a big gap between hardware designers and verifiers, partially because there are no common specification languages for them to use.
Xin Hua, Hantao Zhang
semanticscholar   +2 more sources

In Defence of Axiomatic Semantics

, 2012
C. Fox, R. Turner
semanticscholar   +2 more sources