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影響因子(影響力)學(xué)科排名




書目名稱Logic-Based Program Synthesis and Transformation網(wǎng)絡(luò)公開度




書目名稱Logic-Based Program Synthesis and Transformation網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Logic-Based Program Synthesis and Transformation被引頻次




書目名稱Logic-Based Program Synthesis and Transformation被引頻次學(xué)科排名




書目名稱Logic-Based Program Synthesis and Transformation年度引用




書目名稱Logic-Based Program Synthesis and Transformation年度引用學(xué)科排名




書目名稱Logic-Based Program Synthesis and Transformation讀者反饋




書目名稱Logic-Based Program Synthesis and Transformation讀者反饋學(xué)科排名

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.

節(jié)省

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.

感情

人類學(xué)家