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

• 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): Philippe Codognet • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersAnewmillenniumhasstartedandnewtools, heirsofthreedecadesofresearch and development in the Logic Programming paradigm, are bringing new so- tionst...

• Author(s): Atsushi Igarashi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Han...

• 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): 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): 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): 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): 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): Dick Grune • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Architecture"Modern Compiler Design" makes the topic of compiler design more accessible by focusing on principles and techniques of wide application. By...

• Author(s): Utpal Banerjee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersAutomatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and pr...

• 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): Kevin Hammond | Tony Davie | Chris Clack • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralThis book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementa...

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