Search
for Topics
All Reviews
Browse All Reviews
>
Theory Of Computation (F)
>
Logics And Meanings Of Programs (F.3)
> Semantics Of Programming Languages (F.3.2)
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
1-10 of 163 Reviews about "
Semantics Of Programming Languages (F.3.2)
":
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
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
Bit-precise procedure-modular termination analysis
Chen H., David C., Kroening D., Schrammel P., Wachter B. ACM Transactions on Programming Languages and Systems 40(1): 1-38, 2018. Type: Article
That software is pervasive in our lives is now a platitude. That much of this software is flawed has also reached the collective consciousness. A lot of code, much to the chagrin of most researchers in programming languages, is still w...
Apr 27 2018
Repairing sequential consistency in C/C++11
Lahav O., Vafeiadis V., Kang J., Hur C., Dreyer D. PLDI 2017 (Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelona, Spain, Jun 18-23, 2017) 618-632, 2017. Type: Proceedings
The standards committee of the C++ programming language defined the C11 memory model. This model provides several notions of consistency for memory reads and writes, with sequentially consistent (SC) being the strongest and most expens...
Apr 26 2018
Differential hybrid games
Platzer A. ACM Transactions on Computational Logic 18(3): 1-44, 2017. Type: Article
As software becomes ever more pervasive in safety-critical devices--from pacemakers to cars, from robots to airplanes--it is important that we have means of insuring their safety. For some of the more advanced applica...
Mar 22 2018
Partial evaluation of string obfuscations for Java malware detection
Chawdhary A., Singh R., King A. Formal Aspects of Computing 29(1): 33-55, 2017. Type: Article
Cyber security has become a major concern in government, industry, and academia and in the everyday lives of individuals. How we secure our information systems and maintain the privacy and integrity of our online presence and data is a...
Oct 2 2017
May-happen-in-parallel analysis for actor-based concurrency
Albert E., Flores-Montoya A., Genaim S., Martin-Martin E. ACM Transactions on Computational Logic 17(2): 1-39, 2015. Type: Article
When we run a program on a modern compiler, or in a browser, what is it that makes the program execute reasonably quickly, and without using unreasonable amounts of space, or, if we are running on a smartphone, without using too much e...
Apr 28 2016
Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
Probst C., Hankin C. (ed), Hansen R. (ed), Springer Publishing Company, Incorporated, New York, NY, 2016. 356 pp. Type: Book (978-3-319278-09-4)
A Festschrift volume is always a bit different than standard collections of papers: while they usually still possess a definite set of themes, as the current one does, there is also a certain freedom to explore ideas in a different way...
Apr 4 2016
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 [1]. Sequential composition is no longer associative and interacts wi...
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
Display
5
10
15
25
50
100
per page
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy