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

• Author(s): M. Richards | C. Whitby-Strevens | Martin Richards • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Software Development & Engineering - GeneralBCPL is a simple systems programming ...

• Author(s): Andrew W. Appel | Jens Palsberg • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: CompilersThis textbook describes all phases of a modern compiler, including current techniques in code g...

• Author(s): Andrew W. Appel | Robert Dockins | Aquinas Hobor • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Languages - GeneralSeparation Logic is the twenty-first-century variant of Hoare Logic ...

• Author(s): Flemming Nielson | Hanne Riis Nielson | C. J. Van Rijsbergen • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralThe authors describe here a framework in whi...

• Author(s): Andrew W. Appel | Appel Andrew W. • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: CompilersThis new, expanded textbook describes all phases of a modern compiler: lexical analysis, pars...

• Author(s): Anil (University of Cambridge) Madhavapeddy • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Languages - GeneralThis fast-moving tutorial introduces you to OCaml, an industrial-strength...

• Author(s): Stan Lippman | Stanley B. Lippman | Donald G. Firesmith • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - C++Stan Lippman, former C++ Report Editor (and best-sell...

• Author(s): J. Roger Hindley | Jonathan P. Seldin • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: LogicCombinatory logic and lambda-calculus, originally devised in the 1920's, have since developed...

• Author(s): Lawrence C. Paulson | Larry C. Paulson • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralThe new edition of this successful and established textbook retain...

• Author(s): Peter D. Mosses | Mosses Peter D. | C. J. Van Rijsbergen • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Software Development & Engineering - GeneralAction Semantics is a novel app...

• Author(s): John W. McCormick | Peter C. Chapin • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Software Development & Engineering - GeneralSoftware is pervasive in our lives. We are accustome...

• Author(s): Kees Van Berkel | Kees Van Berkei | Kees Van Berkel • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Logic Design'Design by programming' has proved very successful in the development of...

• Author(s): Keith Bradnam | Ian Korf • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Life Sciences - Genetics & GenomicsYour research has generated gigabytes of data and now you need to analys...

• Author(s): E. Reed Doke | Bill C. Hardgrave | Richard A. Johnson • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming - Object OrientedFeaturing the development of graphical user interface...

• Author(s): J. Roger Hindley • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming - GeneralType theory is one of the most important tools in the design of higher-level programming languages...

• Author(s): Michael McMillan • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming - AlgorithmsIncluding a tutorial on how to use data structures and algorithms and a reference for implement...

• Author(s): Grady Booch | Ed Eykholt | Grady Booch • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming - Object OrientedNo one can dispute the impact Grady Booch's writings have had on obj...

• Author(s): John W. McCormick | Peter C. Chapin • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Languages - GeneralSoftware is pervasive in our lives. We are accustomed to dealing with the failure...

• Author(s): Flemming Nielson | Hanne Riis Nielson • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralThe authors describe here a framework in which the type notation of...

• Author(s): Ryan Kastner | Anup Hosangadi | Farzan Fallah • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Computer EngineeringObtain better system performance, lower energy consumption, and avoid ...

• Author(s): Marcelo P. Fiore | Marcelo P. Fiore • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Software Development & Engineering - GeneralAxiomatic categorical domain theory is crucial for u...

• Author(s): J. S. Rohl | Rohl • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Software Development & Engineering - GeneralThis book is devoted to recursion in programming, the technique by whi...

• Author(s): Michael Sperber • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralProgramming languages should be designed not by piling feature on top of feature, but by ...

• Author(s): Allen B. Downey • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralPython for Software Design is a concise introduction to software design using the Python ...

• Author(s): Eduardo Kausel • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Mechanics - DynamicsThis work is a compilation of fundamental solutions (Green's functions) for classical or canonical pr...

• Author(s): Irini A. Stamatoudi • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Intellectual Property - CopyrightMultimedia products have become highly successful. Yet they are often inadequately ...

• Author(s): Irini A. Stamatoudi | William R. Cornish | Francois Dessemontet • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Intellectual Property - CopyrightMultimedia products have become highly ...

• Author(s): Yeng-Seng Goh • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: ChineseBilingual and bicultural scholar Yeng-Seng Goh offers the first in-depth English language analysis of global Chines...

• Author(s): Albert Fathi | Philip J. Morrison | Tere M-Seara • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Differential Equations - GeneralDynamical systems that are amenable to formulation in t...

• Author(s): Simon Gilbody | Peter Bower • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Mental HealthAlthough depression is a major cause of illness and disability, the quality of care offered is ...

• Author(s): Andrew W. Appel | Maia Ginsburg • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Software Development & Engineering - GeneralThis new, expanded textbook describes all phases of a mo...

• Author(s): Noel Kalicharan • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - CC is one of the most popular programming languages. It is flexible, efficient, and highly porta...

• Author(s): Robert Hundt • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Artificial Intelligence - GeneralThis introduction to quantum computing from a classical programmer's perspective is meant ...