Titlebook: Semantics, Applications, and Implementation of Program Generation; International Worksh Walid Taha Conference proceedings 2000 Springer-Ver

coherent

书目名称Semantics, Applications, and Implementation of Program Generation影响因子(影响力)




书目名称Semantics, Applications, and Implementation of Program Generation影响因子(影响力)学科排名




书目名称Semantics, Applications, and Implementation of Program Generation网络公开度




书目名称Semantics, Applications, and Implementation of Program Generation网络公开度学科排名




书目名称Semantics, Applications, and Implementation of Program Generation被引频次




书目名称Semantics, Applications, and Implementation of Program Generation被引频次学科排名




书目名称Semantics, Applications, and Implementation of Program Generation年度引用




书目名称Semantics, Applications, and Implementation of Program Generation年度引用学科排名




书目名称Semantics, Applications, and Implementation of Program Generation读者反馈




书目名称Semantics, Applications, and Implementation of Program Generation读者反馈学科排名

强壮

dictator

AND

冲突

adulterant

柱廊

On Jones-Optimal Specialization for Strongly Typed Languages a self-interpreter is specialized to a typeincorrect program; how to do this has been an open problem since 1987. Neither Hughes’ nor Taha—Makholm’s methods are by themselves suffi- cient for Jones-optimal specialization when the language contains primitive operations that produce or consume comple

友好关系

Generating Data Analysis Programs from Statistical Modelsy into the Matlab and Octave environments. Code is generated by schema-guided deductive synthesis. A schema consists of a code tem- plate and applicability constraints which are checked against the model during synthesis using theorem proving technology. AutoBayes aug- ments schema-guided synthesis

Dri727

Reasoning about Staged ComputationWe report on recent progress in the design of modal dependent type theories that integrate specifications into languages for expressing staged computation.

龙虾