Compilers and interpreters

It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs.

The VLISP project showed how to produce a comprehensively verified implemen- tation for a programming language, namely Scheme [4, 15).

Program understanding plays an important role in nearly all software related tasks.

Parallel Language and Compiler Research in Japan offers the international community an opportunity to learn in-depth about key Japanese research efforts in the particular software domains of parallel programming and parallelizing compilers.

FIELD has been a remarkably successful research project.

The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity constraints) in a clear, non-operational way, they make the user's task easier, and provide the database system with more opportunities for optimization.

Program synthesis is a solution to the software crisis.

LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984.

Cooperating Heterogeneous Systems provides an in-depth introduction to the issues and techniques surrounding the integration and control of diverse and independent software components.

The implementation of object-oriented languages has been an active topic of research since the 1960s when the first Simula compiler was written.

The formal study of program behavior has become an essential ingredient in guiding the design of new computer architectures.

3.

Estimation of Distribution Algorithms: A New Tool for Evolutionary Computation is devoted to a new paradigm for evolutionary computation, named estimation of distribution algorithms (EDAs).

Practical Performance Modeling: Application of the MOSEL Language introduces the new and powerful performance and reliability modeling language MOSEL (MOdeling, Specification and Evaluation Language), developed at the University of Erlangen, Germany.

Business Component-Based Software Engineering, an edited volume, aims to complement some other reputable books on CBSE, by stressing how components are built for large-scale applications, within dedicated development processes and for easy and direct combination.

Mobile Computation with Functions explores distributed computation with languages which adopt functions as the main programming abstraction and support code mobility through the mobility of functions between remote sites.

Researches and developers of simulation models state that the Java program- ming language presents a unique and significant opportunity for important changes in the way we develop simulation models today.

DSSSL (Document Style Semantics and Specification Language) is an ISO standard (ISO/IEC 10179: 1996) published in the year 1996.

Perspectives On Software Requirements presents perspectives on several current approaches to software requirements.

Software Visualization: From Theory to Practice was initially selected as a special volume for "e;The Annals of Software Engineering (ANSE) Journal"e;, which has been discontinued.

mental improvements during the same period.

Engineering tasks are supposed to achieve defined goals under certain project constraints.

The contents of The R Software are presented so as to be both comprehensive and easy for the reader to use.

Web technologies are increasingly relevant to scientists working with data, for both accessing data and creating rich dynamic and interactive displays.

Bayesian Networks in R with Applications in Systems Biology is unique as it introduces the reader to the essential concepts in Bayesian network modeling and inference in conjunction with examples in the open-source statistical environment R.

"e;Modern Compiler Design"e; makes the topic of compiler design more accessible by focusing on principles and techniques of wide application.

The Handbook of Service Description introduces an in-depth overview of service description efforts.

Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware.

When I compare the books on expert systems in my library with the production expert systems I know of, I note that there are few good books on building expert systems in Prolog.

The topics covered in this text are those usually covered in a full year's course in finite mathematics or mathematics for liberal arts students.

Although you only have one volume in front of you, writing four volumes and 1600 pages on a single subject needs some form of justification.

You might well wonder why TFPC in Practice is a part of the Monographs in Visualization series.

Here is a presentation of LISP which is both practical and theoretical.

Object-Oriented Programming (OOP) is recognized as one of the most powerful programming techniques to come along in many years.

Topics * what this book is about, * its intended audience, * what the reader ought to know, * how the book is organized, * acknowledgements.

This book provides a superb introduction to and overview of the MIT PI System for custom VLSI placement and routing.

The Synthesizer Generator is a system for automating the implementation of language-based editing environments.

This book is a detailed account of the Synthesizer Generator, a system for creat- ing specialized editors that are customized for editing particular languages.

The programming language SETL is a relatively new member of the so-called "e;very-high-level"e; class of languages, some of whose other well-known mem- bers are LISP, APL, SNOBOL, and PROLOG.

The programming language C occupies an unusual position midway between conventional high-level and assembly languages, allowing the programmer to combine the best features of both.

This book describes the programming language Modula-2.

This book had its genesis in the following piece of computer mail: From allegra!

This book is an updated version of my Ph.

It is universally accepted today that parallel processing is here to stay but that software for parallel machines is still difficult to develop.

Rule-Based Programming is a broad presentation of the rule-based programming method with many example programs showing the strengths of the rule-based approach.

Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years.

Distributed computer systems are now widely available but, despite a number of recent advances, the design of software for these systems remains a challenging task, involving two main difficulties: the absence of a shared clock and the absence of a shared memory.

The second half of the 1970s was marked with impressive advances in array/vector architectures and vectorization techniques and compilers.