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

• Author(s): Sam Lindley • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift ...

• Author(s): Yves Bekkers | Jacques Cohen • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis is the first book entirely dedicated to the problem of memory management in programming language implementation. Its originality ...

• Author(s): David O'Hallaron • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralIt is a great pleasure to present this collection of papers from LCR '98, the Fourth Workshop on Languages, Compilers, and Run...

• Author(s): Jan Heering | Karl Meinke | Bernhard Möller • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis volume contains the final revised versions of the best papers presented at the First International Workshop on Hig...

• Author(s): W. Eric Wong • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceExtensive research and development has produce mutation tools for languages such as Fortran, Ada, C, and IDL; empirical evaluations comparing m...

• Author(s): Pieter Adriaans | Henning Fernau | Menno Van Zaanen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThe Sixth International Colloquium on Grammatical Inference (ICGI2002) was held in Amsterdam on S...

• Author(s): Simone Campanoni • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis book is a guide to getting started with ILDJIT, a compilation framework designed to be both easily extensible and e...

• Author(s): Bor-Yuh Evan Chang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Po...

• Author(s): Steve Fenton • Publisher: Springer • Publisher Imprint: Apress • BISAC: Programming - MicrosoftFrom the Back CoverExplore the features of this innovative open source language in depth, from working with the type system through object...

• Author(s): Lawrence Rauchwerger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Languages and Compilers for Par...

• Author(s): Gisela Engeln-Müllges • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralFrom the Back CoverThis comprehensive handbook gives an informal introduction to mathematical and computational principles governin...

• Author(s): Chris R. Jesshope • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralParallel processing is a key topic which is becoming more important as the technology becomes more widespread. UK Parallel '96 - Proc...

• Author(s): Frank Mueller | Azer Bestavros • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis book constitutes the strictly refereed post-workshop proceedings of ...

• Author(s): Wolfgang Loder • Publisher: Springer • Publisher Imprint: Apress • BISAC: Languages - GeneralLearn and understand Erlang and Elixir and develop a working knowledge of the concepts of functional programming that underpin them. This bo...

• Author(s): Isil Dillig • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpr...

• Author(s): Tom Conte • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceAs Chairmen of HiPEAC 2005, we have the pleasure of welcoming you to the proceedings of the ?rst international conference promoted by the HiPEAC N...

• Author(s): Barbara Jobstmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract I...

• Author(s): Samuel P. Midkiff | Jose E. Moreira | Manish Gupta • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralThis volume contains the papers presented at the 13th International Workshop on Languages and Compilers for Parall...

• Author(s): Ralf Lämmel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book identifies, defines and illustrates the fundamental concepts and engineering techni...

• Author(s): Natividad Martínez Madrid • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverIntelligent technical systems are networked, embedded systems incorporating real-time capacities that are ...

• Author(s): Mary E. Mace • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralThis project had its beginnings in the Fall of 1980. At that time Robert Wagner suggested that I investigate compiler optimi- zati...

• Author(s): Jesus Carretero • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - GeneralThe three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conference on Parallel and Distributed ...

• Author(s): João Manuel Paiva Cardoso • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book provides techniques to tackle the design challenges raised by the increasing diversit...

• Author(s): Siddharta Chatterjee • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralLCPC'98 Steering and Program Committes for their time and energy in - viewing the submitted papers. Finally, and most importantly, w...

• Author(s): Annabelle McIver • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverProbabilistic techniques are increasingly being employed in computer programs and systems because they can increa...

• Author(s): Alexander Meduna • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringAutomata and Languages presents a step-by-step development of the theory of automata, languages and computation. Intended to be used as...

• Author(s): Sandeep Koranne • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiPractical Programming in the Cell Broadband Engine offers a unique programming guide for...

• Author(s): Mitsuhisa Sato • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedFrom the Back CoverCovering research topics from system software such as programming languages, compilers, runtime systems, oper...

• Author(s): Larry Carter • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralIn August 1999, the Twelfth Workshop on Languages and Compilers for P- allel Computing (LCPC) was hosted by the Hierarchical Tiling Research group from ...

• Author(s): Wolfgang E. Nagel | Diana Goehringer | Pedro C. Diniz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - GeneralThe three-volume set LNCS 15900-15902 constitutes the proceedings of the 31st European Conference on...

• Author(s): Dirk Draheim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Marko...

• Author(s): Alexis Espinosa • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes the refereed proceedings of the 20th International Workshop on OpenMP: Advancing OpenMP for Future Accelerators...

• Author(s): Partha Pratim Pande • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis book provides a comprehensive guide to the design of sustainable and green computing systems (GSC). Coverage inc...

• Author(s): Wolfgang E. Nagel | Diana Goehringer | Pedro C. Diniz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - GeneralThe three-volume set LNCS 15900-15902 constitutes the proceedings of the 31st European Conference on...

• Author(s): Joachim Ziegler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedDas Buch bietet eine vollst�ndige Einf�hrung in die prozedurale Programmierung anhand der Skriptsprache Perl. Eine F�lle praxis...

• Author(s): Peter Seibel • Publisher: Springer • Publisher Imprint: Apress • BISAC: Artificial Intelligence - GeneralLisp is thought of an academic language but it need not be. This is the first book that introduces Lisp as a language for the re...