Conference ProceedingsOPEN ACCESS

Algebraic semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1987) 249 LNCS 287
DOI: 10.1007/3-540-17660-8_63
0Citations
Citations of this article
17Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

Algebraic semantics is a methodology in theoretical computer science that draws discipline and concepts from universal and categorical algebra. This approach has its roots in a research activity, known as ADJ, which started at IBM Research, Yorktown Heights in the mid Seventies. In this talk I will discuss the ADJ effort and some of the concepts that have emerged and proved to be important mathematically and for computer science applications. I will stress the common algebraic ideas that span diverse subjects like factorization systems, programming language semantics, continuous algebras and abstract data types.

Cite

CITATION STYLE

APA

Thatcher, J. (1987). Algebraic semantics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 249 LNCS, p. 287). Springer Verlag. https://doi.org/10.1007/3-540-17660-8_63

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free