Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
Action semanticsAxiomatic semanticsCommunicating sequential processesComputer science

Broader (2)

Formal methodsLogic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2011
Review
2011
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
2008
2008
Normal forms and free algebras for some extensions of MTL
2000
2000
Algebraic Treatment of Feature-oriented Systems
An important aspect of the feature interaction problem is to formally capture the notion of feature interactions. Although this… 
1999
1999
Automatic proofs of properties of simple C/sup --/ modules
We address the problem of automatically verifying properties of modules written in the C/sup --/ language, a very simple… 
Review
1998
Review
1998
Hidden Congruent Deduction
Cleverly designed software often fails to satisfy its requirements strictly, but instead satisfies them behaviorally, in the… 
Review
1995
Review
1995
Pretopologies and completeness proofs
Pretopologies were introduced in [S], and there shown to give a complete semantics for a propositional sequent calculus BL, here… 
1995
1995
New Versions of Ask and Tell for Synchronous Communication in Concurrent Constraint Programming
Concurrent constraint programming is classically based on asynchronous communication via a shared store. This paper presents new… 
1992
1992
Introduction to LOTOS
Lotos was developed to define implementation-independent formal standards of OSI services and protocols. ‘Lotos’ stands for… 
Highly Cited
1991
Highly Cited
1991
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . .
1990
1990
Combining Data Type and Recursive Process Specifications Using Projection Algebras
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)