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)  
  Logics And Meanings Of Programs (F.3) See Reviews  
General (45)
Specifying And Verifying And Reasoning About Programs (35)
Semantics Of Programming Languages (316)
Studies Of Program Constructs (119)
Miscellaneous (0)
Reviews limited to:

Reviews in category "Logics And Meanings Of Programs (F.3)":
Uncertainty management with fuzzy and rough sets: recent advances and applications
Bello R., Falcon R., Verdegay J.,  Springer International Publishing, New York, NY, 2019. 413 pp. Type: Book (978-3-030104-62-7)
Incomplete SMT techniques for solving non-linear formulas over the integers
Borralleras C., Larraz D., Rodríguez-Carbonell E., Oliveras A., Rubio A.  ACM Transactions on Computational Logic 20(4): 1-36, 2019. Type: Article
Implementing a modal dependent type theory
Gratzer D., Sterling J., Birkedal L.  Proceedings of the ACM on Programming Languages 3(ICFP): 1-29, 2019. Type: Article
Proof theory and algebra in logic
Ono H.,  Springer International Publishing, New York, NY, 2019. 168 pp. Type: Book
Environmental bisimulations for probabilistic higher-order languages
Sangiorgi D., Vignudelli V.  ACM Transactions on Programming Languages and Systems 41(4): 1-64, 2019. Type: Article

Related Topics

Specifying And Verifying And Reasoning About Programs
  - Requirements/Specifications
  - Software/Program Verification
  - Formal Definitions And Theory
  - Data Structures

Semantics Of Programming Languages
  - Formal Definitions And Theory

Studies Of Program Constructs
  - Language Classifications
  - Language Constructs and Features
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