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

• 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): 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): 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): 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): Peter Pepper • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersKompakte Einf�hrung in Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Mathematisch fundiert werden die theoretisc...

• 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): 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): W. Polak • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - General

• Author(s): R. Bach • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedFrom the Back CoverObject-oriented programming (OOP) tends to improve software quality by promoting structure, extensibility, and reusa...

• Author(s): Anca Muscholl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structure...

• 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): Julian Bradfield • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThe Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the Universit...

• 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): 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): Hanspeter Mössenböck | N. Wirth • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDer Autor führt den Leser von den Grundlagen objektorientierter Programmierung über Entwurfs...

• 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): Kim Huynh-Ba • Publisher: Springer • Publisher Imprint: Springer • BISAC: PharmacologyThe International Conference of Harmonization (ICH) has worked on har- nizing the stability regulations in the US, Europe, and Japan since the earl...

• 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): Alex Potanin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, I...

• Author(s): David R. Brooks • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThe JavaScript language is widely used for simple online applications. This useful book presents HTML and JavaScri...

• Author(s): Chris Clack | Kevin Hammond | Tony Davie • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThis book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Wor...

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

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