Browse All Reviews
Theory Of Computation (F)
Logics And Meanings Of Programs (F.3)
Semantics Of Programming Languages (F.3.2)
> Algebraic Approaches To Semantics (F.3.2...)
All Media Types
1-10 of 83 Reviews about "
Algebraic Approaches To Semantics (F.3.2...)
Proof theory and algebra in logic
Ono H., Springer International Publishing, New York, NY, 2019. 168 pp. Type: Book
If you are interested in mathematical logic and its relationship to algebraic structures, this brief introductory book gives an excellent overview for you. The author of the book, Hiroakira Ono, has been a very active researcher in this area for d...
Mar 3 2021
RDF multi-query optimization algorithm for query rewriting using common subgraphs
Wang M., Fu H., Xu F. CSAE 2019 (Proceedings of the 3rd International Conference on Computer Science and Application Engineering, Sanya, China, Oct 22-24, 2019) 1-8, 2019. Type: Proceedings
Resource description framework (RDF) is a data representation standard for loosely structured data that can be used to represent large datasets that arise in applications such as social networks. The challenge of searching and analyzing this data ...
Aug 17 2020
From hidden to visible
Zhang M., Ogata K. Theoretical Computer Science 722(C): 52-75, 2018. Type: Article
Algebraic specification is a technique in which a system is modeled by equations or conditional equations. This approach was originally used for defining data types and operations on them. An added benefit is that the equational systems can be rei...
Oct 12 2018
Concurrent dynamic algebra
Furusawa H., Struth G. ACM Transactions on Computational Logic 16(4): 1-38, 2015. Type: Article
Furusawa and Struth construct an algebra of multirelations (where an element is related to a set of elements) motivated by Peleg’s concurrent dynamic logic . Sequential composition is no longer associative and interacts with parallel comp...
Nov 5 2015
Strategy based semantics for mobility with time and access permissions
Ciobanu G., Koutny M., Steggles J. Formal Aspects of Computing 27(3): 525-549, 2015. Type: Article
Process algebras represent mathematical formalisms for modeling distributed systems whose behavior may be subsequently analyzed by automatic tools that investigate all possible system executions....
Aug 12 2015
The algebra of set functions I: the product theorem and duality
Lass B. European Journal of Combinatorics 33(2): 227-236, 2012. Type: Article
This is the first of a sequence of research reports that attempt to approach the topic of the algebra of set functions in a complete way, and to illustrate its practicality in (re-)defining and (re-)proving results that we might have missed in the...
May 24 2012
Modelling distributed systems (Texts in Theoretical Computer Science. An EATCS Series)
Fokkink W., Springer-Verlag New York, Inc., Secaucus, NJ, 2007. 156 pp. Type: Book (9783540739371)
The application of distributed systems is ubiquitous in almost every facet of today’s computerized life. Systems with various architecture configurations, including peer-to-peer (P2P), multi-tier (
-tier), and client-serve...
Nov 20 2008
Algebra, meaning, and computation: essays dedicated to Joseph A. Goguen on the occasion of His 65th Birthday (Lecture Notes in Computer Science 4060)
Futatsugi K., Jouannaud J., Meseguer J., Springer-Verlag New York, Inc., Secaucus, NJ, 2006. 643 pp. Type: Book (9783540354628)
Joseph A. Goguen was a world-class computer scientist whose work centered on the most abstract features of computer science. His central insight was that computer structures were grounded in abstract algebra. His particular interests included cate...
Jan 15 2007
Theoretical foundations of dynamic program slicing
Binkley D., Danicic S., Gyimóthy T., Harman M., Kiss Á., Korel B. Theoretical Computer Science 360(1): 23-41, 2006. Type: Article
Program slicing was originally introduced by Mark Weiser to formalize the mental process that a programmer follows to find a bug. Essentially, program slicing extracts those sentences that are related to some criterion (referred to as “s...
Dec 18 2006
Abstract computing machines
Kluge W., Springer-Verlag New York, Inc., Secaucus, NJ, 2004. 400 pp. Type: Book (9783540211464)
This very welcome text addresses computer organization and architecture from a strictly conceptual point of view. The constructions are carefully presented, and the small example programs are fairly easy to follow. The author is primarily concerne...
Dec 28 2005
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2021 ThinkLoud, Inc.