Logic-Based Program Synthesis and Transformation: 33rd International Symposium,
69,04 €
Unification modulo equational theories in languages with binding operators. - Horn Clauses Analysis, Transformation and Synthesis. - Transforming big-step to small-step semantics using interpreter specialisation.
Jetzt bei Ebay:
