Search results for “[Subject: programming-compilers]”

• Author(s): James T. Streib • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Languages - GeneralAbout the Book Although the need for assembly language programmers has decr...

• Author(s): Enno Ohlebusch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralNew advanced text/reference book on term rewriting theory and application. Essential, state-of-the-art reference for computer scientists...

• Author(s): Gagandeep Singh • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, Ne...

• Author(s): Francesco Ranzato • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY,...

• Author(s): Gary T. Leavens • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThe LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented ...

• Author(s): Enno Ohlebusch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralNew advanced text/reference book on term rewriting theory and application. Essential, state-of-the-art reference for computer scientists...

• Author(s): Eiiti Wada • Publisher: Springer • Publisher Imprint: Springer • BISAC: Compilers

• Author(s): H. Partsch | F. L. Bauer | P. Pepper • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Generalherrschen. Bedeutsam ist auch die Abgrenzung der dritten Ebene, der Ebene der verselb- ...

• Author(s): Yonghong Yan | Michael Klemm | Bronis R. de Supinski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 21st International Workshop on OpenMP, IWO...

• Author(s): Saddek Bensalem • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back Cover"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Profess...

• Author(s): Simon Hoffmann | Rainer Lienhart • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - COpenMP ist ein weit verbreiteter de-facto-Standard f�r High-Level Shared-Memory-Programmierung, der f�r viele Plattformen, u.a...

• Author(s): Iain D. Craig • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralFrom the Back CoverVirtual Machines offers a unique insight into the building of virtual machines for sequential, object-oriented and paral...

• Author(s): Michael Hanus | Mario Rodriguez-Artalejo • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, A...

• Author(s): Steven F. Barrett • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralThis textbook provides practicing scientists and engineers a primer on the Microchip AVR(R) microcontroller. The revised t...

• Author(s): Ljubomir Christov • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralIn diesem Werk werden alle Aspekte der Sprache C++ behandelt, deshalb ist das Buch ebenso f�r Einsteiger, ...

• Author(s): Derek Beng Kee Kiong • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralCompiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fac...

• Author(s): Peter Van Beek • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThe 11th International Conference on the Principles and Practice of Constraint Programming (CP 2005) was held in Sitges (Barcelona), Spain, October ...

• Author(s): Francesco Logozzo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis...

• Author(s): Matthias Hölzl | Allaithy Raed | Martin Wirsing • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersDas Buch bietet eine knappe, praxisorientierte Einf�hrung in die Programmierung mit Java. Basierend auf Vorlesungen...

• Author(s): Fabio Fioravanti • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program...

• Author(s): Tobias Nipkow • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverPart I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to ...

• Author(s): H. Martin Bücker • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedThe Fourth International Conference on Automatic Di?erentiation was held July20-23inChicago, Illinois.Theconferenceincludedaonedayshortcourse, 42 pr...

• Author(s): Clemens Heitzinger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Number SystemsFrom the Back CoverThis book provides an introduction to modern topics in scientific computing and machine learning, using JULIA to illustr...

• Author(s): Roland Meyer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Profess...

• Author(s): Georges Gonthier • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Pr...

• Author(s): Herbert Kuchen | Kazunori Ueda • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThisvolumecontainstheproceedingsoftheFifthInternationalSymposiumon FunctionalandLogicProgramming, FLOPS2001, heldinTokyo, Japan, Mar...

• Author(s): Ian P. Gent • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book constitutes the refereed proceedings of the 15th International Conference on Principles and Practice of Cons...

• Author(s): Roberto Giacobazzi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, ...

• Author(s): D. Hausmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)

• Author(s): Olivier Danvy | Robert Glück | Peter Thiemann • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersPartial Evaluation has reached a point where theory and techniques have matured, substantial systems have been develo...

• Author(s): Mario Tokoro | Oscar Nierstrasz | Peter Wegner • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThe ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distribut...

• Author(s): Henk Schepers • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume contains the proceedings of the 8th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2004) held in A-...

• Author(s): Kung-Kiu Lau • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralLogic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be m...

• Author(s): Veljko Milutinovic • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operating Systems - GeneralFrom the Back CoverThis informative text/reference highlights the potential of DataFlow computing in research requiring high s...

• Author(s): Michael Maher • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersConstraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brou...

• Author(s): Charith Mendis • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the thoroughly refereed post-conference proceedings of the 35th International Workshop on Languages and Compilers fo...