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

• 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): Peter D. Mosses • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, ...

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

• Author(s): Alfred Strohmeier • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held ...

• Author(s): Rudolf Eigenmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThe 17th International Workshop on Languages and Compilers for High P- formance Computing was hosted by Purdue University in September 2...

• 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): Steve Fenton • Publisher: Springer • Publisher Imprint: Apress • BISAC: Programming - MicrosoftFrom the Back CoverExplore the features of this innovative open source language in depth, from working with the type system through object...

• Author(s): Andreas Krall • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis volume contains the proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2003, held in...

• Author(s): Jesus Carretero • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - GeneralThe three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conference on Parallel and Distributed ...

• Author(s): Sam Lindley • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift ...

• Author(s): F. L. Bauer | G. Goos • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersNeben das theoretische Studium der Informatik muB praktische Obung treten, fUr den Anfanger eine Praxis des Programmierens, die an den Besuch...

• Author(s): Pieter Adriaans | Henning Fernau | Menno Van Zaanen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThe Sixth International Colloquium on Grammatical Inference (ICGI2002) was held in Amsterdam on S...

• Author(s): Simone Campanoni • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis book is a guide to getting started with ILDJIT, a compilation framework designed to be both easily extensible and e...

• Author(s): Ralf Lämmel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book identifies, defines and illustrates the fundamental concepts and engineering techni...

• Author(s): S. Eisenbach • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThe material for this book first appeared in the magazine Personal Computer World, as a series of articles which ran from September 1979 to ...

• Author(s): Lawrence Rauchwerger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Languages and Compilers for Par...

• Author(s): Annabelle McIver • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverProbabilistic techniques are increasingly being employed in computer programs and systems because they can increa...

• Author(s): Chris R. Jesshope • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralParallel processing is a key topic which is becoming more important as the technology becomes more widespread. UK Parallel '96 - Proc...

• Author(s): Frank Mueller | Azer Bestavros • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis book constitutes the strictly refereed post-workshop proceedings of ...

• Author(s): Yves Bekkers | Jacques Cohen • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis is the first book entirely dedicated to the problem of memory management in programming language implementation. Its originality ...

• Author(s): W. Eric Wong • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceExtensive research and development has produce mutation tools for languages such as Fortran, Ada, C, and IDL; empirical evaluations comparing m...

• Author(s): Vaskaran Sarcar • Publisher: Springer • Publisher Imprint: Apress • BISAC: Languages - GeneralFrom the Back CoverDiscover object-oriented programming with core concepts of C# in this unique tutorial. The book consists of four major s...

• Author(s): Wolfgang Loder • Publisher: Springer • Publisher Imprint: Apress • BISAC: Languages - GeneralLearn and understand Erlang and Elixir and develop a working knowledge of the concepts of functional programming that underpin them. This bo...

• Author(s): Dirk Draheim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Marko...

• Author(s): Alexander Meduna • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringAutomata and Languages presents a step-by-step development of the theory of automata, languages and computation. Intended to be used as...

• Author(s): Dirk Draheim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Marko...