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

• 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): 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): 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): Eiiti Wada • Publisher: Springer • Publisher Imprint: Springer • BISAC: Compilers

• 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): 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): Dale Wheat • Publisher: Springer • Publisher Imprint: Apress • BISAC: Hardware - Cell Phones & DevicesArduino Internals guides you to the heart of the Arduino board. Author Dale Wheat shares his intimate knowledge of the Arduino ...

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

• Author(s): Luca Benini • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operating Systems - GeneralCompilers and Operating Systems for Low Power focuses on both application-level compiler directed energy optimization and low-power o...

• 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): 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): 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): 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): 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): Herbert Kuchen | Kazunori Ueda • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThisvolumecontainstheproceedingsoftheFifthInternationalSymposiumon FunctionalandLogicProgramming, FLOPS2001, heldinTokyo, Japan, Mar...

• 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): 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): Pradeep Singh | Balasubramanian Raman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - General

• 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): 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): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersDie Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darst...

• Author(s): Mary Shaw • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralAlphard is a design for a programming system that supports the abstraction and verification techniques required by modern program'm...

• 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): 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): 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): David R. Brooks • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverHTML, JavaScript, and PHP are Web-based programming languages that can be used to solve computational problems in ...

• Author(s): Keith Cooper | John Mellor-Crummey | Vivek Sarkar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThis book constitutes the thoroughly refereed post-proceedings of the 23rd International Wo...

• Author(s): C. C. Berg • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Science

• Author(s): Maurizio Proietti • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held i...

• Author(s): Muhammad Aslam • Publisher: Springer • Publisher Imprint: Springer • BISAC: Mathematical & Statistical Software

• Author(s): Isil Dillig • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpr...

• 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): Barbara Jobstmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract I...

• Author(s): John Rosenberg • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersProceedings of a workshop on the unification of temporary and permanent objects in computer systems. This yields more powerful and eff...

• Author(s): Jesus Carretero • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conferenc...

• Author(s): Partha Pratim Pande • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book provides a comprehensive guide to the design of sustainable and green computing systems (GS...