Results 121 to 130 of about 1,307,657 (201)

Runtime Monitoring of Static Fairness Properties

open access: yes
Henzinger TA   +3 more
europepmc   +1 more source

Formal Semantics

2018
P. Buttigieg   +4 more
openaire   +2 more sources

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

IEEE Computer Security Foundations Symposium, 2018
A developing field of interest for the distributed systems and applied cryptography communities is that of smart contracts: self-executing financial instruments that synchronize their state, often through a blockchain. One such smart contract system that
Everett Hildenbrandt   +10 more
semanticscholar   +1 more source

Formal semantics of speech acts for argumentative dialogues

Adaptive Agents and Multi-Agent Systems, 2014
In this paper, we give formal semantics to speech acts for argumentative dialogues in the context of an agent-oriented programming language. Our approach to giving formal semantics to such speech acts uses operational semantics and builds upon existing ...
Alison R. Panisson   +4 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy