About: Algebraic semantics (computer science)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Algebraic semantics (computer science) Goto Sponge Distinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program specifications in a formal manner.

Attributes	Values
rdfs:label	Algebraic semantics (computer science) (en)
rdfs:comment	In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program specifications in a formal manner. (en)
sameAs	Algebraic semantics (computer science) Algebraic semantics (computer science)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Mergeto dbt:Semantics
Subject	Programming language semantics Formal methods Formal specification languages Logic in computer science
gold:hypernym	Form
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Algebraic_semantics_(computer_science)?oldid=1068271210&ns=0
Wikipage page ID	35728290 (xsd:integer)
page length (characters) of wiki page	9767 (xsd:nonNegativeInteger)
Wikipage revision ID	1068271210 (xsd:integer)
Link from a Wikipage to another Wikipage	Formal methods Formal specification Ground expression Normal form (abstract rewriting) OBJ (programming language) Uniqueness quantification Algebra Algebraic expression Algebraic specification Axiom Axiomatic semantics Behavior Semantics Semantics (computer science) Universal algebra Canonical form Programming language semantics Joseph Goguen Formal methods Formal specification languages Logic in computer science Divergence (computer science) Musical notation Object-oriented programming Object (computer science) Observational equivalence Secondary source Set (mathematics) Church–Rosser theorem Class (set theory) Denotational semantics Key signature Computer science Confluence (abstract rewriting) Operation (mathematics) Operational semantics Rewriting Software testing Data type Empty string Equation Function (mathematics) Symbol Syntax (programming languages) Family of sets Initial algebra Integer Many-sorted logic Variable (computer science) Stack (abstract data type) Isomorphism Material conditional Mathematical object Reason Signature (logic)
has abstract	In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program specifications in a formal manner. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Algebraic_semantics_(computer_science)
is Link from a Wikipage to another Wikipage of	Action semantics Algebraic semantics Axiomatic semantics Joseph Goguen David Watt (computer scientist) Communicating sequential processes
is known for of	Joseph Goguen
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Algebraic_semantics_(computer_science)

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software