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 > Software (D) > Programming Languages (D.3) > Formal Definitions And Theory (D.3.1)
 
  Formal Definitions And Theory (D.3.1) See Reviews  
 
Subject Descriptors:
Semantics (193)
Syntax (56)
 
Proper Nouns:
Ada (1)
Gramps (1)
Vdl (1)
Vdm (2)
 
 
Reviews limited to:
 
 

Reviews about "Formal Definitions And Theory (D.3.1)":
FIESTA-IoT project: federated interoperable semantic IoT/cloud testbeds and applications
Serrano M., Gyrard A., Tragos E., Nguyen H.  WWW 2018 (Companion Proceedings of the Web Conference 2018, Lyon, France, Apr 23-27, 2018) 425-426, 2018.  Type: Proceedings
Foundations of programming languages (2nd ed.)
Lee K., Springer International Publishing, New York, NY, 2017. 370 pp.  Type: Book (978-3-319707-89-1)
Sentence entailment in compositional distributional semantics
Sadrzadeh M., Kartsaklis D., Balkır E. Annals of Mathematics and Artificial Intelligence 82(4): 189-218, 2018.  Type: Article
 FOO: a minimal modern OO calculus
Gerakios P., Fourtounis G., Smaragdakis Y.  FTfJP 2015 (Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, Prague, Czech Republic, Jul 7, 2015) 1-4, 2015.  Type: Proceedings
Foundations of programming languages
Lee K., Springer Publishing Company, Incorporated, Cham, Switzerland, 2014. 354 pp.  Type: Book (978-3-319133-13-3)
Dependent type theory for verification of information flow and access control policies
Nanevski A., Banerjee A., Garg D. ACM Transactions on Programming Languages and Systems 35(2): 1-41, 2013.  Type: Article
Bisimulation for quantum processes
Feng Y., Duan R., Ying M. ACM Transactions on Programming Languages and Systems 34(4): 1-43, 2012.  Type: Article
more...
Related Topics
D.3.1 Formal Definitions And Theory
  - Formal Languages
  - Semantics Of Programming Languages
  - Requirements/Specifications
  - Grammars And Other Rewriting Systems
  - Specifying And Verifying And Reasoning About Programs
   
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy