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

遮陽(yáng)傘

書目名稱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é)科排名

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].