Replacement systems, such as term rewriting systems, tree manipulat- ing systems, and graph grammars, have been used in Computer Science in the context of theorem proving, program optimization, abstract data types, algebraic simplification, and symbolic comput- ation.
"e;Specification and transformation of programs"e; is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.
Advances in microelectronic technology have made massivelyparallel computing a reality and triggered an outburst ofresearch activity in parallel processing architectures andalgorithms.
Control technology is a new learning environment whichoffers the opportunity to take up the economic andeducational challenge of enabling people to adapt to newtechnologies and use them to solve problems.
This book is a collection of some of the papers that were presented during a NATO Advanced Research Workshop (ARW) on "e;Intelligent Systems: Safety, Reliability and Maintainability Issues"e; that was held in Kusadasi, Turkey during August 24- 28, 1992.
Diese Monographie gibt einen systematischen Überblick über Attributierte Grammatiken als ein Mittel zur Darstellung und Analyse von Kontextabhängigkeiten in Compilern unter Betonung der für Compiler-erzeugende Systeme erforderlichen Algorithmen.
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.
This book constitutes the refereed proceedings of the 13th International Conference on Systems Simulation, Asia Simulation 2013, held in Singapore, in November 2013.
This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012.
This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2012, held in Maribor, Slovenia, in September 2012.
This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012.