Program transformation is used in a wide range of applications including compiler
construction, optimization, program synthesis, refactoring, software renovation, and reverse …

Publisher Summary Constraint programming is a powerful paradigm for solving
combinatorial search problems that draws on a wide range of techniques from artificial …

Building new knowledge-based systems today usually entails constructing new knowledge
bases from scratch. It could instead be done by assembling reusable components. System …

In these lecture notes we describe an algebraic approach to programming, suitable both for
the derivation of individual programs and for the study of programming techniques in …

The goal of software synthesis is to generate programs automatically from high-level
specifications. However, efficient implementations for challenging programs require a …

Program Synthesis, which is the task of discovering programs that realize user intent, can be
useful in several scenarios: enabling people with no programming background to develop …

Structured parallel programs ought to be conceived as two separate and complementary
entities: computation, which expresses the calculations in a procedural manner, and …

Metaheuristic techniques such as genetic algorithms, simulated annealing and tabu search
have found wide application in most areas of engineering. These techniques have also …

Grammarware comprises grammars and all grammar-dependent software. The term
grammar is meant here in the sense of all established grammar formalisms and grammar …

01• Aerospace and Electronic Systems Page 1 1 Page 2 i WILEY ENCYCLOPEDIA OF ELECTRICAL
AND ELECTRONICS ENGINEERING 24 Volume Set (Hardcover) by John G. Webster (Editor) …