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

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

• Author(s): Jay McCarthy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends i...

• 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): Wolfgang K. Giloi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Systems Architecture - GeneralDas Buch gibt einen umfassenden Überblick über die Hardware- und Software-Konzepte, auf denen moderne Rechnersysteme beruhen...

• Author(s): Gopal Gupta • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersMultiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically...

• Author(s): Hakjoo Oh • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in Oc...

• Author(s): Jeremy Gibbons • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis book constitutes revised selected papers from the 26th International Symposium on Trends in Functional Programming, TFP 2025, held ...

• Author(s): Ralf Hinze • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held...

• Author(s): William J. Bowman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional P...

• Author(s): Görel Hedin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Compilers This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, ...

• Author(s): Kazunori Ueda • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThe 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully re...

• Author(s): Kai Koskimies • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 7th International Conference on Compiler Construction, C...

• Author(s): Andrew Pitts • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures...

• Author(s): Shuvra S. Bhattacharyya • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMSoftware Synthesis from Dataflow Graphs addresses the problem of generating efficient software implementations...

• Author(s): David R. Brooks • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverPHP, originally created in 1994 as a 'Personal Home Page' tool, is a server-side programming language that can be ...

• 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): Gilles Barthe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, ...

• 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): Dick Grune • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverParsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and li...

• Author(s): Uwe Kastens | Peter Pfahler • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThe International Workshop on Compiler Construction provides a forum for thepresentation and discussion of recent developments in the a...

• 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): 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): Ataeddin Ghassemi-Tabrizi • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersDas Buch f�hrt den Leser Schritt f�r Schritt in die verschiedenen Techniken der Realzeit- und Parallel-Programmierung ein. Praktische Bei...

• 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): 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): 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): Marcel Toussaint • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThis volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in Sep...

• 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): 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): João M. Lourenço • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - Expert SystemsThis book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, ...

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