Semantics, Applications, and Implementation of Program Generation

Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings

By: Walid Taha (Editor)

Write A Review

Paperback | 23 August 2001

Sorry, we are not able to source the book you are looking for right now.

We did a search for other books with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your book.

This volume constitutes the proceedings of the second International Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001)held on 6 September, 2001, in Florence, Italy. SAIG 2001 was held as an ACM SIGPLAN workshop co-located with the International Conference on Principles, Logics, and Implementations of High-level Programming Languages (PLI). As the commercial production of software systems moves toward being a traditional industry, automation will necessarily play a more substantial role in this industry, just as it plays a key role in the production of traditional commodities. SAIG aims at promoting the development and the application of foundational techniques for supporting automatic program generation. A key goal of SAIG is to provide a unique forum for both theoreticians and practitioners to present their results and ideas to an audience from a diverse background. This year we are fortunate to have three in?uential invited speakers: Krzysztof Czarnecki (DaimlerChrysler), Tim Sheard (OGI School of Science and Engineering), and Mitchell Wand (Northeastern University). The proceedings include abstracts of the invited talks, and an invited paper by Tim Sheard. Seven technical papers and two position papers were presented at SAIG 2001.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Medicine Medicine in General Programming & Scripting Languages Mathematics Mathematical Foundation Mathematical Logic Computer Science Computer Architecture & Logic Design

Compilers & Interpreters

Invited Talks
Generative Programming and Software System Families	p. 1
Accomplishments and Research Challenges in Meta-programming	p. 2
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming	p. 45
Technical Papers
Short Cut Fusion: Proved and Improved	p. 47
Generation of Efficient Programs for Solving Maximum Multi-marking Problems	p. 72
Static Transition Compression	p. 92
A Unifying Approach to Goal-Directed Evaluation	p. 108
Integrating Partial Evaluators into Interpreters	p. 126
A Design Methodology for Functional Programs	p. 146
Dynamically Adaptable Software with Metacomputations in a Staged Language	p. 162
Position Papers
MetaKlaim: Meta-programming for Global Computing	p. 182
A Transformational Approach which Combines Size Inference and Program Optimization	p. 198
Author Index	p. 219
Table of Contents provided by Publisher. All Rights Reserved.

Semantics, Applications, and Implementation of Program Generation

Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Advances of Machine Learning for Knowledge Mining in Electronic Health Records

Artificial Intelligence and Communication Techniques in Industry 5.0

Advances in Manufacturing, Design and Computational Intelligence Techniques

Artificial Intelligence and IoT for Cyber Security Solutions in Smart Cities

Artificial Intelligence in Medicine and Healthcare

Artificial Intelligence Revolutionizing Cancer Care

Precision Diagnosis and Patient-Centric Healthcare

Big Data Analytics and Intelligent Applications for Smart and Secure Healthcare Services

Computational and Intelligent Systems

Blockchain Technology for Cyber Defense, Cybersecurity, and Countermeasures

Techniques, Solutions, and Applications

Challenges and Solutions in Internet of Things-Based Smart Applications

Embedded Artificial Intelligence

Real-Life Applications and Case Studies

Embedded Systems for Biomedical Applications

High-Performance Computing for Smart Healthcare

Energy Efficiency and Robustness of Advanced Machine Learning Architectures

A Cross-Layer Approach

Humans and Cyber Security

How Organisations Can Enhance Resilience Through Human Factors

Industry 6.0

Technology, Practices, Challenges, and Applications

Intelligent Data-Driven Techniques for Security of Digital Assets

Intelligent Data-Driven Systems and Artificial Intelligence

Leveraging Computer Vision to Biometric Applications

Chapman & Hall/Distributed Computing and Intelligent Data Analytics Series

Network Optimization in Intelligent Internet of Things Applications

Principles and Challenges

Online Gaming in India

Technology, Policy, and Challenges

Python Programming

A Step-by-Step Guide to Learning the Language

Stacked Antennas

Design, Analysis and Applications

Sustainable Development Using Private AI

Security Models and Applications

Text and Social Media Analytics for Fake News and Hate Speech Detection

Artificial Intelligence and Optimization Techniques for Smart Information System Generations

Future Generation Information Systems

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Design Patterns

Elements of Reusable Object-Oriented Software

This product is categorised by