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

• Author(s): Janick Bergeron • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Compilersmental improvements during the same period. What is clearly needed in verification techniques and technology is the equivalent of a s...

• Author(s): Klaus Keimel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersDomain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains sel...

• Author(s): Ata Elahi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book provides a hands-on approach to learning ARM assembly language with the use of a TI microcontroller. ...

• Author(s): Evaggelia Pitoura • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersEarth date, August 11, 1997 "Beam me up Scottie!" "We cannot do it! This is not Star Trek's Enterprise. This is early years Earth."...

• Author(s): Theo D'Hondt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedTOOLS Eastern Europe 2002 was the third annual conference on the technology of object-oriented languages and systems. It was held ...

• Author(s): David R. Musser • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThe Ada Generic Library provides an extensive well-documented library of generic packages whose use can substantially increase software p...

• Author(s): Zhiguo Wang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Cognitive Psychology & CognitionFrom the Back CoverSeveral Python programming books feature tools designed for experimental psychologists. What sets this bo...

• Author(s): Jingling Xue • Publisher: Springer • Publisher Imprint: Springer • BISAC: Distributed Systems - GeneralLoop tiling, as one of the most important compiler optimizations, is beneficial for both parallel machines and uniprocessors with ...

• Author(s): Jingling Xue • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureLoop tiling, as one of the most important compiler optimizations, is beneficial for both parallel machines and uniprocessors with a memory...

• Author(s): Theo D'Hondt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedTOOLS Eastern Europe 2002 was the third annual conference on the technology of object-oriented languages and systems. It was held ...

• Author(s): Daoqi Yang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - C++This book is an easy, concise, but rather complete introduction to ISO/ANSI C++ with special emphasis on object-oriented numeric computation for s...

• Author(s): Mordechai Ben-Ari • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralFrom the Back CoverAda is the programming language of choice for high integrity software systems and is used extensively in industries ...

• Author(s): Joshua B. Smith • Publisher: Springer • Publisher Imprint: Apress • BISAC: Software Development & Engineering - GeneralObjective Caml (OCaml) is an open source programming language that utilizes both functional and object oriente...

• Author(s): Ata Elahi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverThis book provides a hands-on approach to learning ARM assembly language with the use of a TI microcontroller. ...

• Author(s): Swapnajit Mittra • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiPrinciples of Verilog PLI is a how to do' text on Verilog Programming Language Interfa...

• Author(s): Ana Moreira | Serge Demeyer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedThe 13th European Conference on Object-Oriented Programming (ECOOP'99) brought some 500 participants to Lisbon from...

• Author(s): Erich W. Schmid | Gerhard Spitz | Wolfgang Lösch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Physics - Mathematical & ComputationalModerne Personalcomputer ermglichen nicht nur die Berechnung physikalischerProble...

• Author(s): Serge Demeyer | Jan Bosch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedAt the time of writing (mid-October 1998) we can look back at what has been a very successful ECOOP'98. Despite the t...

• Author(s): Andrew Troelsen • Publisher: Springer • Publisher Imprint: Apress • BISAC: Languages - Visual BASICThe point of this chapter was to demystify the garbage collection process. As you have seen, the garbage collector will only run when ...

• Author(s): Jules H. Gilder • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralThe Apple / / series of computers represents one of the most versatile and powerful home computers available. If you've used your computer for a whil...

• Author(s): Swapnajit Mittra • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringPrinciples of Verilog PLI is a how to do' text on Verilog Programming Language Interface. The primary focus of the book is on how to u...

• Author(s): Pawel Gburzyński • Publisher: Springer • Publisher Imprint: Springer • BISAC: TelecommunicationsFrom the Back CoverThis book provides an introduction to the software system SMURPH, comprising a programming language, its compiler, and...

• Author(s): Sandeep Koranne • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralHandbook of Open Source Tools introduces a comprehensive collection of advanced open source tools useful in developing software applicati...

• Author(s): Paul Klint • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - General

• Author(s): Joachim L. Zuckarelli • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralWhether on the computer, tablet, mobile phone, in the car or in the coffee machine - computer programs determine our everyday life....

• Author(s): Onn Shehory • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverWith this book, Onn Shehory and Arnon Sturm, together with further contributors, introduce th...

• Author(s): Onn Shehory • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverWith this book, Onn Shehory and Arnon Sturm, together with further contributors, introduce th...

• Author(s): Zeliha Dilsun Kirli • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralMobile Computation with Functions explores distributed computation with languages which adopt functions as the main programming abstraction and s...

• Author(s): P. B. Levy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralCall-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple...

• Author(s): Kang Zhang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralFrom the Back CoverVisual languages have long been a pursuit of effective communication between human and machine. With rapid advances of the ...

• Author(s): Guang R. Gao • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ArchitectureThis monograph evolved from my Ph. D dissertation completed at the Laboratory of Computer Science, MIT, during the Summer of 1986. In my d...

• Author(s): Jean-Pierre Jouannaud • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, he...

• Author(s): Stephen A. Dupree • Publisher: Springer • Publisher Imprint: Springer • BISAC: RadiationThe mathematical technique of Monte Carlo, as applied to the transport of sub-atomic particles, has been described in numerous reports and books ...

• Author(s): Daniel Thalmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralMODULA-2 is a new programming language which was created by Niklaus Wirth of the Swiss Federal Institute of Technology (ETH) in Zurich. T...

• Author(s): Juan C. Bicarregui • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersNot so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in indust...

• Author(s): Claus Sorensen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Number TheoryThe distinctive compilation of topics in this text provides readers with a smooth and leisurely transition from basic number theory to graduate ...