Search references for ALGEBRAIC SEMANTICS-COMPUTER-SCIENCE. Phrases containing ALGEBRAIC SEMANTICS-COMPUTER-SCIENCE
See searches and references containing ALGEBRAIC SEMANTICS-COMPUTER-SCIENCE!ALGEBRAIC SEMANTICS-COMPUTER-SCIENCE
In computer science, algebraic semantics is a formal approach to programming language theory that uses algebraic methods for defining, specifying, and
Algebraic semantics (computer science)
Algebraic_semantics_(computer_science)
Topics referred to by the same term
Algebraic semantics may refer to: Algebraic semantics (computer science) Algebraic semantics (mathematical logic) This disambiguation page lists articles
Algebraic_semantics
Logic for proving computer program correctness
define the state of the program. Algebraic semantics (computer science) — in terms of algebras Denotational semantics — by translation of the program into
Axiomatic_semantics
Formal semantics based on algebras
MV-algebras are the algebraic semantics of Łukasiewicz logic. Algebraic semantics (computer science) Lindenbaum–Tarski algebra Josep Maria Font; Ramón
Algebraic semantics (mathematical logic)
Algebraic_semantics_(mathematical_logic)
Mathematical study of the meaning of programming languages
specification; Algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program semantics in a formal
Semantics (programming languages)
Semantics_(programming_languages)
symbolic computation In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area
Glossary_of_computer_science
Study of programming languages via mathematical objects
In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the
Denotational_semantics
Study of the semantics, or interpretations, of formal and natural languages
for modal logic and related systems), algebraic semantics (connecting logic to abstract algebra), and game semantics (interpreting logical validity through
Semantics_(logic)
Category of formal programming language semantics
formal semantics of programming languages include axiomatic semantics, denotational semantics, and algebraic semantics. The operational semantics for a
Operational_semantics
Computer Scientist
Theoretical Computer Science. 172: 259. doi:10.1016/j.entcs.2007.02.010. Curien, Pierre-Louis (April 2022), Semantics and syntax, between computer science and
Gordon_Plotkin
Subfield of computer science and mathematics
Theoretical computer science is a subfield of computer science and mathematics that focuses on the abstract and mathematical foundations of computation
Theoretical_computer_science
Study of computation
Fundamental areas of computer science Computer science is the study of computation, information, and automation, together with their associated phenomena
Computer_science
Algebraic manipulation of "true" and "false"
connection between his algebra and logic was later put on firm ground in the setting of algebraic logic, which also studies the algebraic systems of many other
Boolean_algebra
Model of concurrent computation
The actor model in computer science is a mathematical model of concurrent computation that treats an actor as the basic building block of concurrent computation
Actor_model
Language for controlling a computer
language Scripting language Semantics (logic) Software engineering and List of software engineering topics Syntax (logic) Computer programming portal Information
Programming_language
Approach to formal semantics
Since the 1990s, game semantics has found important applications in theoretical computer science, particularly in the semantics of programming languages
Game_semantics
Property of operations
/ˈaɪdəm-/) is the property of certain operations in mathematics and computer science whereby they can be applied multiple times without changing the result
Idempotence
Extension of a concept, idea, or sign
treat the use of signs — for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language — the extension of a concept, idea
Extension_(semantics)
British computer scientist
developed action semantics, a combination of denotational semantics, operational and algebraic semantics. He currently teaches a third year programming languages
David Watt (computer scientist)
David_Watt_(computer_scientist)
Study of meaning in language
inquiry until the 19th century. Semantics is relevant to the fields of formal logic, computer science, and psychology. Semantics is the study of meaning in
Semantics
Relationship between objects
showed Mary to herself", or various other possible combinations. In computer science, references are data types that refer to an object elsewhere in memory
Reference
Formal semantics for non-classical logic systems
model theory of such logics was almost non-existent before Kripke (algebraic semantics existed, but were considered 'syntax in disguise').[citation needed]
Kripke_semantics
Relation between state transition systems in computer science
In theoretical computer science, a simulation is a relation between state transition systems associating systems that behave in the same way in the sense
Simulation_(computer_science)
REDUCE is a general-purpose computer algebra system originally geared towards applications in physics. The development of REDUCE was started in 1963 by
Reduce (computer algebra system)
Reduce_(computer_algebra_system)
Formal semantics and 1998 book
(UTP) in computer science deals with program semantics. It shows how denotational semantics, operational semantics, and algebraic semantics can be combined
Unifying Theories of Programming
Unifying_Theories_of_Programming
Subdivisions of science defined by their scope
formal sciences are the branches of science that are concerned with formal systems, such as mathematics, logic, theoretical computer science, information
Branches_of_science
Overview of and topical guide to computer science
Computer science (also called computing science) is the study of the theoretical foundations of information and computation and their implementation and
Outline_of_computer_science
Reasoning about equations with free variables
logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic logic focuses
Algebraic_logic
Computer algebra system
software software package for performing computer algebra calculations in mathematics and the physical sciences. It is written in Common Lisp and runs on
Maxima_(software)
Branch of logic using category theory to study mathematical structures
its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation
Categorical_logic
Journal of Web Semantics Kybernetes Logical Methods in Computer Science Machine Learning Machine Vision and Applications Mathematics and Computer Education
List of computer science journals
List_of_computer_science_journals
Data type which allows a program to indirectly access a particular value in memory
In computer programming, a reference is a value that enables a program to indirectly access a particular datum, such as a variable's value or a record
Reference_(computer_science)
Formal study of linguistic meaning
of contextual factors. Formal semantics is relevant to various fields. In logic and computer science, formal semantics refers to the analysis of meaning
Formal semantics (natural language)
Formal_semantics_(natural_language)
Symbolic description of a mathematical object
savings are possible An algebraic expression is an expression built up from algebraic constants, variables, and the algebraic operations (addition, subtraction
Expression_(mathematics)
System of logic lacking the excluded middle law
Theory: Logic, Algebra and Topology of Conceptual Patterns. Springer Science & Business Media. Part II. Chapter 6. Basic Logico-Algebraic Structures, pp
De_Morgan_algebra
In computer science, concurrency semantics is a way to give meaning to concurrent systems in a mathematically rigorous way. Concurrency semantics is often
Concurrency_semantics
Software that provides access that hides details
abstractions (computer science) Refinement for the opposite of abstraction in computing Indirection Integer (computer science) Heuristic (computer science) Colburn
Abstraction (computer science)
Abstraction_(computer_science)
System of logic in mathematics and philosophy
provide algebraic semantics for the n-valued Łukasiewicz logic by means of his Łukasiewicz–Moisil (LM) algebra (which Moisil called Łukasiewicz algebras) turned
Łukasiewicz_logic
Field of linguistics
statistical semantics. Although the distributional hypothesis originated in linguistics, it is now receiving attention in cognitive science especially
Distributional_semantics
American logician (born 1932)
Scott–Strachey approach to denotational semantics, an important and seminal contribution to theoretical computer science. One of Scott's contributions is his
Dana_Scott
Principle in linguistics about meaning
Componential analysis Context principle Semantics (computer science) Semantics of logic Garden-path sentence Initial algebra Levels of Processing model Opaque
Principle_of_compositionality
Concept in functional programming
generalized algebraic data types were described by Augustsson & Petersson (1994) and based on pattern matching in ALF. Generalized algebraic data types
Generalized algebraic data type
Generalized_algebraic_data_type
English computer scientist
engineering. His early work was in programming language semantics, especially using algebraic approaches for structuring compiler and interpreter generation
Martin Henson (computer scientist)
Martin_Henson_(computer_scientist)
Type of knowledge base
situations or abstract concepts – while also encoding the free-form semantics or relationships underlying these entities. Since the development of the
Knowledge_graph
Computer science professor
formal systems of critical importance, such as algebraic specification and initial algebra semantics, first-order logic with least fixed points, typed
Grigore_Roșu
Type of formal logic
Interior algebra Interpretability logic Kripke semantics Metaphysical necessity Modal verb Multimodal logic Multi-valued logic Neighborhood semantics Provability
Modal_logic
Specification of a conceptualization
Knowledge Sharing" by Tom Gruber used ontology as a technical term in computer science closely related to earlier idea of semantic networks and taxonomies
Ontology (information science)
Ontology_(information_science)
Attribute of data
In computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible
Data_type
Mathematical model for data types
In computer science, an abstract data type (ADT) is a mathematical model for data types, defined by its behavior (semantics) from the point of view of
Abstract_data_type
Irish computer scientist
Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics. During 1976–77,
Matthew_Hennessy
System of resource-aware logic
"Introduction to Linear Logic". TEMPUS Summer School on Algebraic and Categorical Methods in Computer Science (Lecture notes). Brno, Czech Republic. Lincoln,
Linear_logic
Breadth of ideas which can be represented in a formal language
In computer science, the expressive power (also called expressiveness or expressivity) of a language is the breadth of ideas that can be represented and
Expressive power (computer science)
Expressive_power_(computer_science)
Various systems of symbolic logic
of semantics for intuitionistic logic have been studied. One of these semantics mirrors classical Boolean-valued semantics but uses Heyting algebras in
Intuitionistic_logic
Aspect of mathematical logic
abstract algebraic logic" by Mathematical Reviews Czelakowski, J. (editor), 2018, Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Abstract_algebraic_logic
Equation that is satisfied for all values of the variables
Systems". In Jan van Leeuwen (ed.). Formal Models and Semantics. Handbook of Theoretical Computer Science. Vol. B. Elsevier. pp. 243–320. Wolfgang Wechsler
Identity_(mathematics)
Mathematical model of computation
In theoretical computer science, a finite-state machine (FSM) or finite-state automaton (FSA, plural: automata), finite automaton, or simply a state machine
Finite-state_machine
Academic fields of study or professions
Logic in computer science Formal methods (Formal verification) Logic programming Multi-valued logic Fuzzy logic Programming language semantics Type theory
Outline of academic disciplines
Outline_of_academic_disciplines
British mathematician and computer scientist
and dcpo algebras", in Bauer, A. and Mislove, M., Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)
Steve Vickers (computer scientist)
Steve_Vickers_(computer_scientist)
Formal system of logic
additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic
Higher-order_logic
Transforming a function in such a way that it only takes a single argument
In mathematics and computer science, currying (named after Haskell Curry) is the technique of translating a function that takes multiple arguments into
Currying
Class of formal logics
the advent of algebraic logic, it became apparent that classical propositional calculus admits other semantics. In Boolean-valued semantics (for classical
Classical_logic
British computer scientist
theoretical computer science over a life long career. Among his work mentioned in the laudation are his contributions to domain theory, game semantics, and categorical
Samson_Abramsky
American computer scientist
engineering, fuzzy logic, algebraic semantics, user interface design, algebraic semiotics, and the social and ethical aspects of science and technology. In the
Joseph_Goguen
Math theory of strings of symbols
symbols, or marks. String theory is foundational for formal linguistics, computer science, logic, and metamathematics, especially proof theory. A generative
Concatenation_theory
The philosophy of computer science is concerned with the philosophical questions that arise within the study of computer science. There is still no common
Philosophy of computer science
Philosophy_of_computer_science
Mathematical phrase
Complete partial orders play a central role in theoretical computer science: in denotational semantics and domain theory. The term complete partial order, abbreviated
Complete_partial_order
Computer science and logic conference
Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical
Symposium on Logic in Computer Science
Symposium_on_Logic_in_Computer_Science
Approach to static program analysis
In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over
Abstract_interpretation
Algebraic Logic Functional (ALF) programming language combines functional and logic programming techniques. Its foundation is Horn clause logic with equality
Algebraic Logic Functional programming language
Algebraic_Logic_Functional_programming_language
Audio programming language
programming and algebraic block diagrams, which are constructed via function composition. For that, FAUST relies on a block diagram algebra of five composition
FAUST_(programming_language)
Algorithmic process of solving equations
In logic and computer science, specifically automated reasoning, unification is an algorithmic process of solving equations between symbolic expressions
Unification (computer science)
Unification_(computer_science)
Declarative logic programming language
and the Recursive Semantics of Datalog". In Caires, Luís (ed.). Programming Languages and Systems. Lecture Notes in Computer Science. Vol. 11423. Cham:
Datalog
Branch of logic
in the compositional analysis of computer and other systems. It has category-theoretic and truth-functional semantics, which can be understood in terms
Bunched_logic
Theory of relational databases
relational algebra is a theory that uses algebraic structures for modeling data and defining queries on it with well founded semantics. The theory was
Relational_algebra
Mathematical program specifications
theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, control theory, program semantics, type systems
Formal_methods
True when either but not both inputs are true
Z / 2 Z ) n {\displaystyle (\mathbb {Z} /2\mathbb {Z} )^{n}} . In computer science, exclusive disjunction has several uses: It tells whether two bits
Exclusive_or
Brazilian computer scientist
Alves Sampaio (born 1964) is a Brazilian computer scientist who works with formal methods and language semantics. Augusto Sampaio is from Recife, Pernambuco
Augusto_Sampaio
In computer science, unbounded nondeterminism or unbounded indeterminacy refers to a behavior in concurrency (multiple tasks running at once) where a process
Unbounded_nondeterminism
Overview of and topical guide to logic
the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic investigates
Outline_of_logic
Extension of relational algebra
'Spring') SQL query Q will return empty set (no results) under 3-valued semantics currently adopted by all variants of SQL. This is the case because in
Imieliński–Lipski_algebra
Logical connective OR
is warm". In classical logic, disjunction is given a truth functional semantics according to which a formula ϕ ∨ ψ {\displaystyle \phi \lor \psi } is
Logical_disjunction
Dutch computer scientist (born 1962)
Computing Science of Eindhoven University of Technology. One of his first research interests was the Algebra of Communicating Processes, an "algebraic theory
Chris_Verhoef
Algebra describing information processing
to an algebra of information, describing basic modes of information processing. Such an algebra involves several formalisms of computer science, which
Information_algebra
Portuguese computer scientist
1984) is a Portuguese computer scientist and Professor at Cornell University. She was previously Professor of Algebra, Semantics, and Computation at University
Alexandra_Silva
British computer scientist (1934–2026)
1980 ACM Turing Award, usually regarded as the highest distinction in computer science. Hoare developed the sorting algorithm quicksort in 1959–1960. He developed
Tony_Hoare
Freely generated algebraic structure over a given signature
In universal algebra and mathematical logic, a term algebra is a freely generated algebraic structure over a given signature. For example, in a signature
Term_algebra
Academic institution in City of Edinburgh, Scotland
It is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity
Laboratory for Foundations of Computer Science
Laboratory_for_Foundations_of_Computer_Science
Italian computer scientist (1923–2017)
Term Algebras". Theoretical Computer Science. 39: 135–154. doi:10.1016/0304-3975(85)90135-5. — (1988). "Functional Programming and Combinatory Algebras".
Corrado_Böhm
Use of computational tools for the study of linguistics
linguistics draws upon linguistics, computer science, artificial intelligence, mathematics, logic, philosophy, cognitive science, cognitive psychology, psycholinguistics
Computational_linguistics
Sequence of words formed by specific rules
In logic, mathematics, computer science, and linguistics, a formal language is a set of strings whose symbols are taken from a set called "alphabet". The
Formal_language
Creating a new graph from an existing graph
(host graph) into a new state. The algebraic approach to graph rewriting is based upon category theory. The algebraic approach is further divided into sub-approaches
Graph_rewriting
Branch of mathematics
knot theory, the theory of four-manifolds in algebraic topology, and the theory of moduli spaces in algebraic geometry. Donaldson, Jones, Witten, and Kontsevich
Topology
Algebraization of first-order logic with equality
connect the semantics of first-order predicate logic with cylindric set algebra. (For more details, see § Further reading.) Cylindric algebras have been
Cylindric_algebra
Operation in algebra and mathematics
denotational semantics of programming languages." Mulry, Philip S. (1998-01-01). "Monads in Semantics". Electronic Notes in Theoretical Computer Science. US-Brazil
Monad_(category_theory)
Type of logical system
In mathematics, philosophy, linguistics, and computer science, first-order logic (FOL), also called predicate logic, predicate calculus, or quantificational
First-order_logic
Concept of philosophy and logic used to express modal claims
formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status has been a
Possible_world
Number of arguments required by a function
In logic, mathematics, and computer science, arity (/ˈærɪti/ ) is the number of arguments or operands taken by a function, operation or relation. In mathematics
Arity
Programming paradigm based on modeling the logic of a computation
In computer science, declarative programming is a programming paradigm that expresses the logic of a computation without fully describing its control flow
Declarative_programming
General theory of mathematical structures
and duality. Many areas of computer science also rely on category theory, such as functional programming and semantics. A category is formed by two
Category_theory
Intermediate language
nondeterminism. There are natural semantics-preserving translations from CBV and CBN into CBPV. This means that giving a CBPV semantics and proving its properties
Call-by-push-value
travel, tourism, insurance
ALGEBRAIC SEMANTICS-COMPUTER-SCIENCE
ALGEBRAIC SEMANTICS-COMPUTER-SCIENCE
ALGEBRAIC SEMANTICS-COMPUTER-SCIENCE
ALGEBRAIC SEMANTICS-COMPUTER-SCIENCE
ALGEBRAIC SEMANTICS-COMPUTER-SCIENCE
ALGEBRAIC SEMANTICS-COMPUTER-SCIENCE
ALGEBRAIC SEMANTICS-COMPUTER-SCIENCE
ALGEBRAIC SEMANTICS-COMPUTER-SCIENCE
ALGEBRAIC SEMANTICS-COMPUTER-SCIENCE
travel, tourism, insurance