遮阳伞
发表于 2025-3-21 19:57:29
书目名称Logic Based Program Synthesis and Transformation影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0587865<br><br> <br><br>书目名称Logic Based Program Synthesis and Transformation影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0587865<br><br> <br><br>书目名称Logic Based Program Synthesis and Transformation网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0587865<br><br> <br><br>书目名称Logic Based Program Synthesis and Transformation网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0587865<br><br> <br><br>书目名称Logic Based Program Synthesis and Transformation被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0587865<br><br> <br><br>书目名称Logic Based Program Synthesis and Transformation被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0587865<br><br> <br><br>书目名称Logic Based Program Synthesis and Transformation年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0587865<br><br> <br><br>书目名称Logic Based Program Synthesis and Transformation年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0587865<br><br> <br><br>书目名称Logic Based Program Synthesis and Transformation读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0587865<br><br> <br><br>书目名称Logic Based Program Synthesis and Transformation读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0587865<br><br> <br><br>
anchor
发表于 2025-3-21 22:32:40
http://reply.papertrans.cn/59/5879/587865/587865_2.png
减弱不好
发表于 2025-3-22 02:12:57
http://reply.papertrans.cn/59/5879/587865/587865_3.png
MIRE
发表于 2025-3-22 05:34:00
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
发表于 2025-3-22 09:12:35
http://reply.papertrans.cn/59/5879/587865/587865_5.png
分解
发表于 2025-3-22 13:57:33
http://reply.papertrans.cn/59/5879/587865/587865_6.png
祝贺
发表于 2025-3-22 18:37:17
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
发表于 2025-3-23 00:51:04
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.
公式
发表于 2025-3-23 01:23:03
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..
开头
发表于 2025-3-23 08:00:24
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 .