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

• Author(s): Maurice Bruynooghe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis volume contains the papers accepted for presentation at the Fourth International Symposium on Programming Language Implementa...

• Author(s): Liviu Gr Ixaru | Guido Vanden Berghe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Mathematical AnalysisExponential Fitting is a procedure for an efficient numerical approach of functions consisting of weighted sums of...

• 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): Matthias Weber | Martin Simons | Christine LaFontaine • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsr...

• Author(s): Maurice Bruynooghe | Jaan Penjam • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis volume contains the proceedings of the Fifth International Symposium onProgramming Language Implementation and Logic Programm...

• Author(s): Jean-Francois Collard • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralA new book providing a detailed and current presentation of the program analysses and transformations ...

• Author(s): Santosh Pande | Dharma P. Agrawal • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersScalable parallel systems or, more generally, distributed memory systems offer a challenging model of computing and pose fascinat...

• Author(s): Jürg Gutknecht • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersProgramming languages and system architectures are at the frontiers of two different worlds. The conference on which this book is based was an adven...

• Author(s): Amir H. Ashouri • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book explores break-through approaches to tackling and mitigating the well-known problems of compil...

• Author(s): Chung-Kil Hur • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei...

• Author(s): Ernst-Rüdiger Olderog | Bernhard Steffen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiComputers are gaining more and more control over systems that w...

• Author(s): Michel Gauthier • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" ...

• Author(s): Alex Aiken • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureFrom the Back CoverSince its introduction decades ago, Instruction Level Parallelism (ILP) has gradually become ubiquitous and is now featur...

• Author(s): David E. Hudak • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Compilers4. 2 Code Segments . . . . . . . . . . . . . . . 96 4. 3 Determining Communication Parameters . 99 4. 4 Multicast Communication Overhe...

• Author(s): Rastislav Bodik • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference...

• Author(s): Zoltán Porkoláb • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, ...

• Author(s): Chua-Huang Huang | Ponnuswamy Sadayappan | Utpal Banerjee • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book presents the refereed proceedings of the Eighth Annual Workshop on Languages and Compilers for ...

• Author(s): Giuseppe Castagna • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpelli...

• 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): Wolfram-Manfred Lippe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralSeit vielen Jahren nimmt die funktionale und applikative Programmierung einen wesentlichen Platz unter...

• 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): J. W. De Bakker | W. P. De Roever | G. Rozenberg • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersObject-oriented programming is the best way currently available of structuring software systems. This volume prese...

• Author(s): Hanspeter Mössenböck • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the Joint Modular Languages Conference, JMLC'97, held...

• Author(s): Charles Lins • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersSource Code Availability All of the source code found in this volume, and some that is not, is available from the author at a nominal fe...

• Author(s): Kwangkeun Yi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book presents 23 revise...

• 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): 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): Richard Jones • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the proceedings of the 28th European Conference on Object-Oriented Programming, ECOOP 2014, held in Uppsala, Swed...

• Author(s): W. Polak • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - General

• Author(s): Utpal Banerjee | David Gelernter | Alex Nicolau • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThe articles in this volume are revised versions of the best papers presented at the Fifth Workshop on Languages an...

• Author(s): Petra Hofstedt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThis book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programm...

• Author(s): Andreas Podelski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germ...

• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis second volume looks at the principles and techniques of modeling spatial and simple temporal phenomena, and such specialized topics a...

• 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): 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): Harvey Abramson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralLogic grammars have found wide application both in natural language processing and in formal applications such as compiler ...