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影響因子(影響力)學(xué)科排名




書目名稱Semantics, Applications, and Implementation of Program Generation網(wǎng)絡(luò)公開度




書目名稱Semantics, Applications, and Implementation of Program Generation網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Semantics, Applications, and Implementation of Program Generation被引頻次




書目名稱Semantics, Applications, and Implementation of Program Generation被引頻次學(xué)科排名




書目名稱Semantics, Applications, and Implementation of Program Generation年度引用




書目名稱Semantics, Applications, and Implementation of Program Generation年度引用學(xué)科排名




書目名稱Semantics, Applications, and Implementation of Program Generation讀者反饋




書目名稱Semantics, Applications, and Implementation of Program Generation讀者反饋學(xué)科排名

強(qiáng)壯

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

友好關(guān)系

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.

龍蝦