Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,709 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Action semantics
Axiomatic semantics
Communicating sequential processes
Computer science
Expand
Broader (2)
Formal methods
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Reductio ad contradictionem: An Algebraic Perspective
Adam Přenosil
Studia Logica: An International Journal for…
2016
Corpus ID: 207243115
We introduce a novel expansion of the four-valued Belnap–Dunn logic by a unary operator representing reductio ad contradictionem…
Expand
2012
2012
State operators on commutative basic algebras
J. Rachunek
,
D. Šalounová
IEEE International Conference on Fuzzy Systems
2012
Corpus ID: 10112425
Commutative basic algebras which are non-associative generalizations of MV -algebras, are an algebraic counterpart of the non…
Expand
2009
2009
Demonic Kleene Algebra
J. De Carufel
2009
Corpus ID: 125562390
We first recall the concept of Kleene algebra with domain (KAD). Then we explain how to use the operators of KAD to define a…
Expand
2005
2005
Observational implementation of algebraic specifications
R. Hennicker
Acta Informatica
2005
Corpus ID: 29922349
SummaryAn observational approach to the construction of implementations of algebraic specifications is presented. Based on the…
Expand
1999
1999
Automatic proofs of properties of simple C/sup --/ modules
Carine Fédèle
,
Emmanuel Kounalis
14th IEEE International Conference on Automated…
1999
Corpus ID: 14059606
We address the problem of automatically verifying properties of modules written in the C/sup --/ language, a very simple…
Expand
1999
1999
Tile Transition Systems as Structured Coalgebras
A. Corradini
,
R. Heckel
,
U. Montanari
International Symposium on Fundamentals of…
1999
Corpus ID: 14451749
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and…
Expand
1999
1999
The Russell-Kaplan paradox and other modal paradoxes : A new solution
M. Oksanen
1999
Corpus ID: 16741722
The article considers some paradoxes that have been found in possible worlds semantics, such as the Russell-Kaplan paradox and a…
Expand
1999
1999
A NOTE ON VARIETIES OF PCI-ALGEBRAS WITH EDPC
T. Ishii
1999
Corpus ID: 56212003
We will formulate a necessary and su‐cient condition for a variety of PCIalgebras to have EDPC. R. Suszko proposed the sentential…
Expand
1995
1995
New Versions of Ask and Tell for Synchronous Communication in Concurrent Constraint Programming
Jean-Marie Jacquet
1995
Corpus ID: 17923058
Concurrent constraint programming is classically based on asynchronous communication via a shared store. This paper presents new…
Expand
1992
1992
Introduction to LOTOS
L. Pires
1992
Corpus ID: 67049756
Lotos was developed to define implementation-independent formal standards of OSI services and protocols. ‘Lotos’ stands for…
Expand