Titlebook: Logic Based Program Synthesis and Transformation; 12th International W Michael Leuschel Conference proceedings 2003 Springer-Verlag Berlin

遮阳伞

书目名称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读者反馈学科排名

anchor

减弱不好

MIRE

Collecting Potential Optimisationse each such version corresponds with a particular use or optimisation of the predicate. There is a trade-off between the number of versions (the size of the program) and the optimality of the resulting program.

DOLT

分解

祝贺

Verification in ACL2 of a Generic Framework to Synthesize SAT-Proversrmal proof of its termination, soundness and completeness. This generic framework can be instantiated to obtain a number of verified and executable SAT-provers in ACL2, and this can be done in an automatized way. Three case studies are considered: semantic tableaux, sequent and Davis-Putnam methods.

OTTER

Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluationlarative programs. In particular, we show how program slicing can be defined in terms of online partial evaluation. Our approach clarifies the relation between both methodologies and provides a simple way to develop program slicing tools from existing partial evaluators.

公式

Conference proceedings 2003ng two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development..

开头

An Operational Approach to Program Extraction in the Calculus of Constructionsaper we continue the study of the Theory of Specifications and propose a solution to restore subject reduction and strong normalization. Counterexamples for subject reduction and strong normalization for this theory have been shown in [RS02].