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

At a Glance

Paperback
236 Pages

Dimensions(cm)
27.94 x 21.59 x 1.27

Paperback

$147.75

or 4 interest-free payments of $36.94 with

Ships in 10 to 15 business days

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 $0.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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Observability Engineering

Achieving Production Excellence

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Essence of Software Engineering

Design Patterns

Elements of Reusable Object-Oriented Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Refactoring 2ed

Improving the Design of Existing Code

Hacking For Dummies

For Dummies (Computer/Tech)

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Git : Pocket Guide

A Working Introduction

Coding All-in-One For Dummies

2nd Edition

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Arduino for Dummies

Blackwell Philosophy Anthologies

The Psychology of Software Teams

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

Site Reliability Engineering

How Google Runs Production Systems

Typescript Cookbook

Real World Type-Level Programming

Architectural Approach to Level Design

Second edition

User Story Mapping

Discover the Whote Story, Build the Right Product

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

Learning Modern C++ for Finance

Foundations for Quantitative Programming

This product is categorised by