Product Description: This book originates from a workshop organised by ESPRIT project 20 477, ARES in Las Palmas de Gran Canaria, Spain, February 1998. ARES is an acronym for Architectural Reasoning for Embedded Systems. Within this project we investigate techniques to deal with problems of software architecture of families of embedded systems...read more (view table of contents, read Amazon.com's description)

Product Description: Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation.This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996...read more (view table of contents, read Amazon.com's description)