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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1982-2018
0102019822018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of… (More)
Is this relevant?
2004
2004
With coalgebras usually being defined in terms of an endofunctor T on sets, this paper shows that modal logics for T -coalgebras… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a… (More)
  • figure 4
  • table 1
  • figure 7
  • table 2
Is this relevant?
1998
1998
Message Sequence Charts MSCs are a graphical and textual language for the speci cation of message passing systems in particular… (More)
Is this relevant?
1997
1997
In my paper [3], recently published in this Journal, I study several aspects of the relations between Belnap's logic B and the… (More)
Is this relevant?
1994
1994
Within the KORSO project we have developed the object speciication language TROLL light which allows to describe the part of the… (More)
Is this relevant?
1992
1992
We present a simple and powerful generalized algebraic semantics for constraint logic programs that is parameterized with respect… (More)
Is this relevant?
1989
1989
Modal counterparts of intermediate predicate logics will be studied by means of algebraic devise. Our main tool wilt be a… (More)
Is this relevant?
1984
1984
The specification of abstract data types requires the possibility to treat exceptions and errors. We present an approach allowing… (More)
Is this relevant?
1983
1983
The specification of abstract data types requires the possibility to treat exceptions and errors. We present an approach allowing… (More)
Is this relevant?