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

• Author(s): Manuel V. Hermenegildo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbo...

• 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): Soren Bo Nielsen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Economics - TheoryThe developments within the computationally and numerically oriented ar- eas of Operations Research, Finance, Statistics and Economics ha...

• Author(s): Olaf Chitil • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThis book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applicati...

• Author(s): Ken Naono • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverSoftware Automatic Tuning: From Concepts to State-of-the-Art Results Ken Naono Keita Teranishi John Cavazos Rei...

• Author(s): Xinyu Feng • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, S...

• Author(s): Roberto Giacobazzi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, ...

• 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): 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): Jean Pierre Banatre | Daniel Le Metayer • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis volume contains most of the papers presented at a workshop on research directions in high-level parallel programming l...

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

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