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)
 
  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
more...
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 © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy