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
  Browse All Reviews > Theory Of Computation (F) > Logics And Meanings Of Programs (F.3) > Semantics Of Programming Languages (F.3.2)
  Semantics Of Programming Languages (F.3.2) See Reviews  
Subject Descriptors:
Algebraic Approaches To Semantics (79)
Denotational Semantics (78)
Operational Semantics (75)
Partial Evaluation (10)
Process Models (31)
Program Analysis (59)
Proper Nouns:
There are no proper nouns with reviews under F.3.2.
Reviews limited to:

Reviews about "Semantics Of Programming Languages (F.3.2)":
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
 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
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
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
 Differential hybrid games
Platzer A. ACM Transactions on Computational Logic 18(3): 1-44, 2017.  Type: Article
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
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
Related Topics
F.3.2 Semantics Of Programming Languages
  - Formal Definitions And Theory
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy