Titlebook: Logic-Based Program Synthesis and Transformation; 9th International Wo Annalisa Bossi Conference proceedings 2000 Springer-Verlag Berlin He

IU421

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

Axillary

eulogize

厚顏

使閉塞

AGONY

Specialising Finite Domain Programs Using Polyhedradividual finite domain constraints are over-approximated by polyhedra to describe the solution space over . integer variables as an . dimensional polyhedron. This polyhedron is then approximated, using projection, as an . dimensional bounding box that can be used to specialise and improve the domain

installment

Blemish

Transformation of Left Terminating Programsxtends our previous proposal in [BCE95] by allowing to switch the atoms in the clause bodies when a specific applicability condition is satisfied. The applicability condition is very simple to verify, yet very common in practice. We also discuss how to verify such condition by exploiting mode inform

HEAVY

TEM

Making Mercury Programs Tail Recursiveing them before the recursive call, modifying them as necessary. The first optimization moves calls to associative predicates; it is a pure source to source transformation. The second optimization moves construction unifications; it required extensions to the mode system (to record aliases) and to t