第一图书网

全部分类

Semantics, Applications, and Implementation of Program Generation 程序生成语义学、应用与实施

Walid Taha 1 edition (2001年10月1日)
出版时间：

2001-10  

出版社：

1 edition (2001年10月1日)  

作者：

Walid Taha  

内容概要

在线阅读本书
This book constitutes the refereed proceedings of the Second International Workshop on Semantics, Applications, and Implementation of Program Generation, SAIG 2001, held in Florence, Italy in September 2001.The seven revised full papers and two position papers presented together with an invited survey paper and two abstracts of invited talks were carefully reviewed and selected for inclusion in the book. Among the topics covered are generative programming, meta-programming, aspect-oriented programming, transition compression, goal-directed evaluation, partial evaluation, functional programming, meta-computation, and program optimization.

图书封面

广告
下载页面


Semantics, Applications, and Implementation of Program Generation 程序生成语义学、应用与实施 PDF格式下载

相关图书

Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (平装)
Graph-Theoretic Concepts in Computer Science 计算机科学中的图论概念
Numerical Analysis and Its Applications: Second International Conference, NAA 2000 Rousse, Bulgaria, June 11-15, 2000. Revised Papers (平装)
Spatial Information Theory. Foundations of Geographic Information Science: International Conference, COSIT 2001 Morro Bay, CA, USA, September 19-23, 2001 Proceedings (平装)
Power-Aware Computer Systems 节电计算机系统
Advances in Multimedia Information Processing - PCM 2001 多媒体信息处理进展-PCM 2001
Engineering Societies in the Agents World II基于代理技术的工程社会２
Genetic Programming: 4th European Conference, EuroGP 2001 Lake Como, Italy, April 18-20, 2001 Proceedings (平装)
Job Scheduling Strategies for Parallel Processing: 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers (平装)
Algorithms and Computation 算法和计算
Engineering for Human-Computer Interaction 人机交互的符号工程
Cryptography and Coding 加密和编码
Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS (平装)
Applications of Evolutionary Computing应用进化计算法
Practice and Theory of Automated Timetabling III 自动时间表生成的实践与理论III
Haptic Human-Computer Interaction 触觉人机交互作用
Algorithms - ESA 2001 算法
Inductive Logic Programming 归纳逻辑编程
Automatic Generation of Computer Animation 计算机动画自动生成法
Networking - ICN 2001: First International Conference on Networking, Colmar, France July 9-13, 2001 Proceedings, Part II (平装)
Information Hiding 信息隐藏
Advances in Cryptology - CRYPTO 2001 密码学进展
Process Algebra and Probabilistic Methods 过程代数与概率方法
The Tale of Tom Kitten 小猫汤姆的故事
Read with me Practice and Play 2 边玩边学