Logikbasierte Programmsynthese und Transformation: 31st International
82,92 €
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:
