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… 
Highly Cited
1999
Highly Cited
1999
Hiding More of Hidden Algebra
Behavioral specification is a rapidly advancing area of algebraic semantics that supports practical applications by allowing… 
1999
1999
Algebra of Logic Programming
A declarative programming language has two kinds of semantics The more abstract helps in reasoning about speci cations and… 
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… 
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)