Mogensen torben (22 Ergebnisse)

paperback. Zustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

paperback. Zustand: Very Good.

Zustand: New.

Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Paperback. Zustand: Brand New. 3rd edition. 309 pages. 9.25x6.10x0.63 inches. In Stock.

hardcover. Zustand: Very Good. Cover and edges may have some wear.

hardcover. Zustand: Good.

hardcover. Zustand: Fine.

Zustand: New. In English.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The third edition of this textbook has been fully revised and adds material about the SSA form, polymorphism, garbage collection, and pattern matching. It presents techniques for making realistic compilers for simple to intermediate-complexity programming languages. The techniques presented in the book are close to those used in professional compilers, albeit in places slightly simplified for presentation purposes. 'Further reading' sections point to material about the full versions of the techniques.All phases required for translating a high-level language to symbolic machine language are covered, and some techniques for optimising code are presented. Type checking and interpretation are also included.Aiming to be neutral with respect to implementation languages, algorithms are mostly presented in pseudo code rather than in any specific language, but suggestions are in many places given for how these can be realised in different language paradigms.Depending on how much of the material from the book is used, it is suitable for both undergraduate and graduate courses for introducing compiler design and implementation.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partialevaluation is an attractive technology for modern software construction since it provides automatic tools for software specialization and is based on rigorous semantic foundations. This book is based on a school held at DIKU Copenhagen, Denmark in summer 1998 during which leading researchers summarized the state of the art in partial evaluation. The lectures presented survey the foundations of partial evaluation in a clear and rigorous manner and practically introduce several existing partial evaluators with numerous examples. The second part of the book is devoted to more sophisticated theoretical aspects, advances systems and applications, and highlights open problems and challenges. The book is ideally suited for advanced courses and for self study.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself.The 20 reviewed research papers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift's subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Torun, Poland, during July 4-5, 2024.The 10 full papers and 3 short papers included along with two invited papers in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows:Models of Reversible Computation;Experiments in Reversible Programming;Reversible and Quantum Programming Languages; andSynthesis, Verification, and Analysis of Reversible and Quantum Systems.…

Paperback. Zustand: Brand New. 2nd edition. 280 pages. 9.25x6.10x0.64 inches. In Stock.

Paperback. Zustand: Brand New. 257 pages. 9.25x6.10x9.25 inches. In Stock.

Taschenbuch. Zustand: Neu. Reversible Computation | 16th International Conference, RC 2024, Toru¿, Poland, July 4-5, 2024, Proceedings | Torben Ægidius Mogensen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2024 | Springer | EAN 9783031620751 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Hardcover. Zustand: Brand New. 2nd edition. 372 pages. 9.25x6.10x9.21 inches. In Stock.

Paperback. Zustand: Brand New. 257 pages. 9.25x6.10x9.25 inches. In Stock.