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

• Author(s): Hironori Kasahara • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - Computer Vision & Pattern RecognitFrom the Back CoverThis book constitutes the thoroughly refereed post-conference proceedin...

• Author(s): Gagniuc | Paul A. • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: General Books • BISAC: Programming - GeneralFrom the Back CoverThis book provides a comprehensive guide to JavaScript, which stands as the corner...

• Author(s): Ulrich Berger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersRecent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and ...

• Author(s): Mitsuhisa Sato • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralFrom the Back CoverXcalableMP is a directive-based parallel programming language based on Fortran and C, supporting a Partitioned Global A...

• Author(s): Olivier Danvy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverAutomatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished an...

• Author(s): Mikolaj Bojańczyk • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book is Open Access under a CC BY licence.

• Author(s): Walid Taha • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Imple...

• 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): James T. Streib • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Languages - GeneralAbout the Book Although the need for assembly language programmers has decr...

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