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 > Computing Methodologies (I) > Artificial Intelligence (I.2) > Automatic Programming (I.2.2)
 
  Automatic Programming (I.2.2) See Reviews  
 
Subject Descriptors:
Automatic Analysis Of Algorithms (18)
Program Synthesis (34)
Program Transformation (55)
Program Verification (36)
 
Proper Nouns:
AM (2)
Cypress (1)
Designer (1)
Eurisko (1)
Kbemacs (1)
Sipe (1)
 
 
Reviews limited to:
 
 

Reviews about "Automatic Programming (I.2.2)":
Performance-aware server architecture recommendation and automatic performance verification technology on IaaS cloud
Yamato Y. Service Oriented Computing and Applications 11(2): 121-135, 2017.  Type: Article
A devil’s advocate against termination of direct recursion
Frühwirth T.  PPDP 2015 (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, Jul 14-16, 2015) 103-113, 2015.  Type: Proceedings
Matrix code
Van Emden M. Science of Computer Programming 843-21, 2014.  Type: Article
Proving program termination
Cook B., Podelski A., Rybalchenko A. Communications of the ACM 54(5): 88-98, 2011.  Type: Article
Semantics-based context-aware dynamic service composition
Fujii K., Suda T. ACM Transactions on Autonomous and Adaptive Systems 4(2): 1-31, 2009.  Type: Article
Empirical hardness models: methodology and a case study on combinatorial auctions
Leyton-Brown K., Nudelman E., Shoham Y. Journal of the ACM 56(4): 1-52, 2009.  Type: Article
Autonomic specification of self-protection for distributed MARF with ASSL
Mokhov S., Vassev E.  C3S2E 2009 (Proc. of the 2nd Canadian Conference on Computer Science and Software Engineering, Montreal, Quebec, Canada, May 19-21, 2009) 175-183, 2009.  Type: Proceedings
more...
Related Topics
I.2.2 Automatic Programming
  - Mathematical Logic
  - Automatic Programming
  - 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