|
Showing 1 - 3 of
3 matches in All Departments
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 and
validation, formal methods, hardware and software testing, and
parallel and distributed systems.
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 on compiler compilers.
Selected papers address the topics of requirements, properties, and
theoretical aspects of compiler compilers as well as tools and
metatools for software engineering. The 23 papers cover a wide
spectrum in the field of compiler compilers, 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
tools are also discussed.
Advances and problems in the field of compiler compilers are the
subject of the 2nd CCHSC Workshop which took place in Berlin, GDR,
in October 1988. The 18 papers which were selected for the workshop
are now included in this volume, among them three invited papers.
They discuss the requirements, properties and theoretical aspects
of compiler compilers as well as tools and metatools for software
engineering. The papers cover a wide spectrum in the field of
compiler compilers ranging from overviews of existing compiler
compilers and engineering of compiler compilers to special problems
of attribute evaluation generation and code generation. In
connection with compiler compiler projects means of supporting high
speed compilation are pointed out. Special attention is given to
problems of incremental compilation.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|