Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Theory Of Computation (F) > Logics And Meanings Of Programs (F.3) > Semantics Of Programming Languages (F.3.2)  
 
Options:
 
  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 per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy