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

• Author(s): Felix Winterstein • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book presents novel compiler techniques, which combine a rigorous mathematical framework, novel pr...

• Author(s): Ricardo Peña | Rex Page • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Progr...

• Author(s): Dick Grune • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverParsing, also referred to as syntax analysis, has been and continues to be an essential part o...

• Author(s): Chris Hankin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralStatic analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionall...

• Author(s): Derek Beng Kee Kiong • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralCompiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fac...

• Author(s): Stefan Jähnichen • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersETAPS'99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that ...

• Author(s): Anne Mulkers • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersA common hazard for implementations of applicative programming languages is the excessive creation of garbage cells during program execution. The avai...

• Author(s): Markus Mohnen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThe International Workshops on Implementation of Functional Languages (IFL) are a tradition that has lasted for over a decade. The aim ...

• Author(s): Sandrine Blazy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, Fran...

• Author(s): Steven Barrett • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralThis textbook provides practicing scientists and engineers an advanced treatment of the Atmel AVR microcontroller. This book ...

• Author(s): Josep Silva • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Prog...

• Author(s): K. H. Böhling | P. P. Spies • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceIn the field of programming language description, it is widely accepted that van-Wi1ngaarden grammars (vWGs, [Ba72), [A68R) prov...

• Author(s): Ralf Hinze • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application o...

• 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): 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): David Naumann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held i...

• Author(s): Mira Mezini • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book constitutes the refereed proceedings of the 25th European Conference on Object-Oriented Programming, ECOOP 2011, held in Lancaster, UK, in Ju...

• 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): Jacques Garrigue • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Sin...

• Author(s): Viktória Zsók • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programm...

• Author(s): Pieter Hartel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThis book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Educ...

• 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): 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): Raimondas Lencevicius • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersObject relationships in modern software systems are becoming increasingly numerous and complex, and program errors due to viola...

• Author(s): John Cowell • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersDevelop applications for Windows and the Web fast, using VB .NET.

• Author(s): Aleksander Byrski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, ...

• Author(s): Pedro Ribeiro • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, ...

• 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): 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): 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): Rainer Leupers • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMThe building blocks of today's and future embedded systems are complex intellectual property components, or cores, many...

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