Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
The present paper aims at establishing formal connections between correspondence phenomena, well known from the area of modal… Expand
  • table 1
  • figure 1
  • table 2
Is this relevant?
2004
2004
We present a general method to achieve modularity of semantic definitions of programming languages specified as rewrite theories… Expand
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… Expand
  • figure 4
  • table 1
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Preface Introduction The logical analysis of plurals and mass terms: a lattice-theoretical approach Plural Hydras. On the logic… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Abstract The collection of all subsets of a set forms a Boolean algebra under the usual set-theoretic operations, while the… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
  • Xudong He
  • Application and Theory of Petri Nets
  • 1996
  • Corpus ID: 17445618
Hierarchical predicate transition nets have recently been introduced as a visual formalism for specifying complex reactive… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Abstract We present a general methodology aimed at providing an algebraic semantics for a large class of formalisms. The… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Abstract One of the attractive features of occam is the large number of memorable algebraic laws which exist relating programs… Expand
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Abstract Abstract relational algebra is proposed as a practical means to describe the denotational semantics of programming… Expand
Is this relevant?
Highly Cited
1981
Highly Cited
1981
But here, you can get it easily this algebraic semantics to read. As known, when you read a book, one to remember is not only the… Expand
Is this relevant?