Algebraic semantics (computer science)

Known as: Algebraic semantics

In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

We introduce a novel expansion of the four-valued Belnap–Dunn logic by a unary operator representing reductio ad contradictionem…

2006

. 1 Preliminaries. R-algebras 1. Let a set of propositional variables p, q, r, . . . be given and let F be the set of…

2005

SummaryAn observational approach to the construction of implementations of algebraic specifications is presented. Based on the…

1999

We address the problem of automatically verifying properties of modules written in the C/sup --/ language, a very simple…

1999

The article considers some paradoxes that have been found in possible worlds semantics, such as the Russell-Kaplan paradox and a…

1999

The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and…

1998

A new method is introduced to concurrently compose an object from already verified objects. The most important new feature of our…

1995

Concurrent constraint programming is classically based on asynchronous communication via a shared store. This paper presents new…

1992

Lotos was developed to define implementation-independent formal standards of OSI services and protocols. ‘Lotos’ stands for…

1990