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

• Author(s): Masami Hagiya • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku U...

• 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): Deepak D'Souza • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Inte...

• 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): 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): Ricardo Pena | Thomas Arts • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThe International Workshops on the Implementation of Functional Languages (IFL)havebeenrunningfor14yearsnow.Theaim...

• 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): 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): 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): 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): 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): 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): 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): 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): 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): D. Hausmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)

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

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

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

• 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): 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): 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): 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): 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): Paul D. Crutcher • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Computer ScienceFrom the Back CoverUnderstand essential computer science concepts and skills....

• 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): 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): 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...