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

• Author(s): Luca Benini • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operating Systems - GeneralCompilers and Operating Systems for Low Power focuses on both application-level compiler directed energy optimization and low-power o...

• Author(s): Kung-Kiu Lau • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralLogic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be m...

• Author(s): Keith Cooper | John Mellor-Crummey | Vivek Sarkar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThis book constitutes the thoroughly refereed post-proceedings of the 23rd International Wo...

• Author(s): Veljko Milutinovic • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operating Systems - GeneralFrom the Back CoverThis informative text/reference highlights the potential of DataFlow computing in research requiring high s...

• Author(s): Michael Maher • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersConstraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brou...

• Author(s): Charith Mendis • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the thoroughly refereed post-conference proceedings of the 35th International Workshop on Languages and Compilers fo...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersDie Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darst...

• Author(s): Giesela Engeln-Müllges • Publisher: Springer • Publisher Imprint: Springer • BISAC: AppliedFrom the Back CoverThe book gives an informal introduction to mathematical and computational principles governing numerical analysis, as well ...

• Author(s): Mary Shaw • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralAlphard is a design for a programming system that supports the abstraction and verification techniques required by modern program'm...

• Author(s): F. L. Bauer | G. Goos • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersNeben das theoretische Studium der Informatik muB praktische Obung treten, fUr den Anfanger eine Praxis des Programmierens, die an den Besuch...

• Author(s): Pradeep Singh | Balasubramanian Raman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - General

• 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): Walter Gander • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Mathematics and Statistics • BISAC: Programming - AlgorithmsFrom the Back CoverThis comprehensive and stimulating introduction to Matlab, a computer ...

• Author(s): Muhammad Aslam • Publisher: Springer • Publisher Imprint: Springer • BISAC: Mathematical & Statistical Software

• Author(s): Paul D. Crutcher • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Computer ScienceFrom the Back CoverUnderstand essential computer science concepts and skills....

• Author(s): Maurizio Proietti • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held i...

• Author(s): Carlos Canal • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Fo...

• Author(s): Alfred Strohmeier • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held ...

• Author(s): Jesus Carretero • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conferenc...

• Author(s): John Rosenberg • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersProceedings of a workshop on the unification of temporary and permanent objects in computer systems. This yields more powerful and eff...

• Author(s): Andreas Krall • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis volume contains the proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2003, held in...

• Author(s): S. Eisenbach • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThe material for this book first appeared in the magazine Personal Computer World, as a series of articles which ran from September 1979 to ...

• Author(s): Peter D. Mosses • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, ...

• Author(s): C. C. Berg • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Science

• Author(s): Shaoying Liu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersThis book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Me...

• Author(s): Partha Pratim Pande • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book provides a comprehensive guide to the design of sustainable and green computing systems (GS...

• Author(s): Rudolf Eigenmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThe 17th International Workshop on Languages and Compilers for High P- formance Computing was hosted by Purdue University in September 2...

• 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): 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): 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): 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): 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): 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): Sengupta Saumyendra • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Languages - C++This book provides a broad coverage of fundamental and advanced con- cepts ...