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.

2013

The logic I is the sentential logic defined in the language with just implication → by the axiom of reflexivity or identity…

Review

2011

Review

2011

2000

An important aspect of the feature interaction problem is to formally capture the notion of feature interactions. Although this…

1999

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

1999

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

1995

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

1995

This article presents a new formal approach to testing. In the field of dynamic testing, as soon as a program fails for a test…

1992

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

1990

1988

This paper introduces positive/negative conditional term rewriting systems, with rules of the generic form: $$u = v \Lambda u…