Results 151 to 160 of about 481 (199)

SHACLens: a visualization workflow for SHACL violation exploration in knowledge graphs. [PDF]

Front Bioinform
Steinparz CA, Hinterreiter A, Bajraktari L, Sedlyarov V, Bauer MJ, Zichner T, Streit M.   +6 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Axiomatic semantics for “escape” statements

Information Processing Letters, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ronald Olsson
exaly   +3 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, Huaikou Miao
exaly   +2 more sources

Axiomatic definitions for data model semantics

Information Systems, 1982
Abstract The axiomatic method, a widely accepted technique for the precise (formal) definition of programming language semantics, is used to define data model semantics. First, a definition of the term “data model” is developed. The strong relationship between database and programming language concepts is discussed.
Michael L Brodie
exaly   +3 more sources

Axiomatic semantics of communicating sequential processes

ACM Transactions on Programming Languages and Systems, 1984
Summary: A simple definition of the axiomatic semantics of Communicating Sequential Processes is presented. The most important aspect of the approach is that it allows dealing with the individual processes of a program in isolation from the other processes. The axiomatic semantics is used to prove the correctness of a program for partitioning sets.
N Soundararajan
exaly   +3 more sources

In Defence of Axiomatic Semantics

2012
Fox, C, Turner, R
exaly   +2 more sources

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 ...
Steven Schäfer, Sigurd Schneider, Gert Smolka   +2 more
openaire   +1 more source

Operational and axiomatic semantics of PCF

Proceedings of the 1990 ACM conference on LISP and functional programming, 1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms for PCF include e-equivalence and the so-called “surjective pairing” axiom for pairs.
Brian T. Howard, John C. Mitchell
openaire   +1 more source

An axiomatic semantics for ioco s _ conformance relation

Journal of Logical and Algebraic Methods in Programming, 2018
CARLOS Gregorio Rodríguez, Rafael Martinez, Luis Fernando Llana Diaz   +2 more
exaly   +2 more sources