Titlebook: Logic-Based Program Synthesis and Transformation; 18th International S Michael Hanus Conference proceedings 2009 Springer-Verlag Berlin Hei

Sediment

书目名称Logic-Based Program Synthesis and Transformation影响因子(影响力)




书目名称Logic-Based Program Synthesis and Transformation影响因子(影响力)学科排名




书目名称Logic-Based Program Synthesis and Transformation网络公开度




书目名称Logic-Based Program Synthesis and Transformation网络公开度学科排名




书目名称Logic-Based Program Synthesis and Transformation被引频次




书目名称Logic-Based Program Synthesis and Transformation被引频次学科排名




书目名称Logic-Based Program Synthesis and Transformation年度引用




书目名称Logic-Based Program Synthesis and Transformation年度引用学科排名




书目名称Logic-Based Program Synthesis and Transformation读者反馈




书目名称Logic-Based Program Synthesis and Transformation读者反馈学科排名

Mitigate

Bombast

裂隙

From Monomorphic to Polymorphic Well-Typings and Beyond, requirement that all calls to a predicate have types that are instances of a unique polymorphic type but instead allowing multiple polymorphic typings for the same predicate, we obtain a novel strongly-connected-component-based analysis that provides a good compromise between accuracy and computational cost.

Annotate

扔掉掐死你

FUME

Test Data Generation of Bytecode by CLP Partial Evaluation,ique feature of our approach is that, this second PE phase allows generating not only test-cases but also test-case .. To the best of our knowledge, this is the first time that (CLP) PE techniques are applied for test-case generation as well as to generate test-case generators.

节省

A Modular Equational Generalization Algorithm,based languages, theorem provers and program manipulation tools such as partial evaluators, test case generators, and machine learning techniques, where function symbols obey algebraic axioms. A Web tool which implements the algorithm has been developed which is publicly available.

感情

人类学家