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

• Author(s): Peter E. Lauer • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to famil...

• Author(s): Verónica Dahl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book contains the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portug...

• Author(s): Alberto Pettorossi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in...

• 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): Michele Boreale • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis volume was published in honor of Rocco De Nicola's 65th birthday. The Festschrift volume contains 27 papers w...

• 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): Fred Mesnard • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Syn...

• Author(s): Kevin Hammond • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedThis is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of the works...

• Author(s): D. R. Brough • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersIn Logic Programming, as in many other areas, Theory is often best tested by Application and attempted Application frequently necessitat...

• 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): John Darlington • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersDeclarative programming languages are based on sound mathematical foundations which means that they offer many advantages for softwar...

• 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): 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): 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): Karl Beecher • Publisher: Springer • Publisher Imprint: Apress • BISAC: Programming - CompilersFrom the Back CoverThis book takes a humorous slant on the programming practice manual by reversing the usual approach: under the pretence...

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

• 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): Peter O'Hearn • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - CompilersFrom the Back CoverIn recent years there has been a remarkable convergence of interest in programming languages based on Algol 60. Re...

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