Search for Topics All Reviews
	Browse All Reviews > Theory Of Computation (F) > Logics And Meanings Of Programs (F.3)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 428 Reviews about "Logics And Meanings Of Programs (F.3)": Date Reviewed   Formalizing and implementing distributed ledger objects Anta A., Georgiou C., Konwar K., Nicolaou N.  NETYS 2018 (Proceedings of the 6th International Conference on Networked Systems, Essaouira, Morocco, May 9-11, 2018) 19-35, 2018.  Type: Proceedings As the authors note, “despite the hype about blockchains and distributed ledgers, no formal abstraction of these objects has been proposed.” Maurice Herlihy also observed this in his 2017 keynote talk [1]. This pape... Jan 13 2021   Variant construction from theoretical foundation to applications Zheng J., Springer International Publishing, New York, NY, 2019. 409 pp.  Type: Book This book is a collection of chapters authored primarily by Jeffrey Zheng, who is also the editor. The preface lays out a broad roadmap for expanding vector 0-1 logical systems, highlighting the areas of variant logic, variant measurem... Nov 11 2019   Mathematical logic: on numbers, sets, structures, and symmetry Kossak R., Springer International Publishing, New York, NY, 2018. 186 pp.  Type: Book (978-3-319972-97-8) The author states his goal in the preface: “to try to explain a certain approach to the theory of mathematical structures.” The book consists of two parts: the first part is about logic, sets, and numbers; and the s... Sep 11 2019   Ewa Orłowska on relational methods in logic and computer science Golińska-Pilarek J., Zawidzki M., Springer International Publishing, New York, NY, 2018. 502 pp.  Type: Book (978-3-319978-78-9) Today’s world seems to have little use for the grand traditions of yesteryear. All too often that means discarding the baby with the bathwater. In academia, a case in point is the festschrift. German for “festival o... Sep 3 2019   Logic functions and equations: binary models for computer science (2nd ed.) Posthoff C., Steinbach B., Springer International Publishing, New York, NY, 2019. 508 pp.  Type: Book (978-3-030024-19-2) Logic functions, commonly known as Boolean functions, arise in many areas of computer science and information technology. On a fundamental technological level, every digital circuit can be modeled as a Boolean function. Design, optimiz... Aug 6 2019   Fundamentals of error theory: applications in decision making Guo K., Liu S., Springer International Publishing, New York, NY, 2019. 336 pp.  Type: Book (978-3-030027-46-9) This book reports on error theory work in China. In the context of the book, an error is an outcome that is not in accord with a set of rules that specify the correctness of the system. Normally in a review of a book like this I would ... Apr 30 2019   A Hoare logic for GPU kernels Kojima K., Igarashi A. ACM Transactions on Computational Logic 18(1): 1-43, 2017.  Type: Article Graphics processing units (GPUs) are hardware accelerators, originally designed to facilitate the fast rendering of images. Later, they became popular for computing in performance-sensitive areas because their highly parallel structure... Aug 8 2018    Mechanising and verifying the WebAssembly specification Watt C.  CPP 2018 (Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, Jan 8-9, 2018) 53-65, 2018.  Type: Proceedings Formal verification has had many successful applications to industry standards over the last few years, but an important question is whether formal verification can be included in standard design efforts. This paper presents the use of... Jul 11 2018   Automatic synthesis of logical models for order-sorted first-order theories Lucas S., Gutiérrez R. Journal of Automated Reasoning 60(4): 465-501, 2018.  Type: Article Many problems in formal program analysis and verification can be reduced to determining whether a logical theory (a set of logic formulas) derived from the program has a model, that is, whether there exists a structure that provides de... Jul 5 2018   A semantics comparison workbench for a concurrent, asynchronous, distributed programming language Corrodi C., Heu&bgr;ner A., Poskitt C. Formal Aspects of Computing 30(1): 163-192, 2018.  Type: Article Changes in distributed-system runtime support in response to changes in technological and operational circumstances may also change the services offered to supported systems. The graph-based semantics comparison workbench described in ... May 23 2018       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy