Advances and problems in the field of compiler compilers are considered in this volume, which presents the proceedings of the third in a series of biannual workshops. Selected papers address the topics of requirements, properties and theoretical aspects of compiler compilers as well as tools and metatools for software engineering. Contributors cover a wide spectrum in the field, ranging from overviews of new compiler compilers for generating quality compilers to special problems of code generation and optimization. Aspects of compilers for parallel systems and knowledge-based development...

This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing.
The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification...