Logic-Based Program Synthesis and Transformation: 31st International Symposium,
72,39 €
String Abstract Domains and Their Combination. - Data Type Inference for Logic Programming. - Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines. - S-semantics - an Example.
Jetzt bei Ebay:
