Results 231 to 235 of about 5,812 (235)
Some of the next articles are maybe not open access.

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8

2018
Susmit Sarkar   +2 more
exaly  

A Semantics for a Failed Axiomatization of K. [PDF]

open access: possible
Hitoshi Omori, Daniel Skurt
openaire  

Handling expressions with side effects within an axiomatic semantics framework

exaly  

Axiomatic definability of programming language semantics.

Grazyna Mirkowska, Andrzej Salwicki
openaire  

An Axiomatic Approach to Semantics of Disjunctive Programs.

Jürgen Dix, Martin Müller 0001
openaire  
16. peace & justice
operational semantics
verification
specification
semantics in the theory of computing
semantics
c-light
theoretical computer science
axiomatization
previous   22  23  24  

Home - About - Disclaimer - Privacy