By the King. A proclamation for the suppression of coffee-houses [[electronic resource]]

• Record Nr.: UNISA996393530203316
• Pubbl/distr/stampa: London, : Printed by the assigns of John Bill, and Christopher Barker, printers to the Kings most excellent Majesty, 1675
• Descrizione fisica: 2 sheets (versos blank)
• Altri autori (Persone): Charles, King of England, <1630-1685.>
• Soggetti: Coffeehouses - England; Sedition - England
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: At end of text: Given at our court at Whitehall, this nine and twentieth day of December 1675. in the seven and twentieth year of our reign.; Steele notation: Arms 87 late Realm 2) next that.; Reproduction of original in the British Library.
• Sommario/riassunto: eebo-0018

Compiler Construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings / / edited by Shriram Krishnamurthi, Martin Odersky

• Record Nr.: UNINA9910484100503321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
• ISBN: 1-280-95151-6; 9786610951512; 3-540-71229-1
• Edizione: [1st ed. 2007.]
• Descrizione fisica: 1 online resource (244 p.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4420
• Disciplina: 005.453
• Soggetti: Compilers (Computer programs); Computer science; Machine theory; Software engineering; Artificial intelligence; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; Artificial Intelligence
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: International conference proceedings.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Architecture -- New Algorithms for SIMD Alignment -- Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve Reference-Counting Garbage Collectors -- Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks -- Correcting the Dynamic Call Graph Using Control-Flow Constraints -- Obfuscating Java: The Most ; Pain for the Least Gain -- Register Allocation -- A Fast Cutting-Plane Algorithm for Optimal Coalescing -- Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global Register Allocation -- Program Analysis -- Program Refactoring, Program Synthesis, and Model-Driven Development -- A Practical Escape and Effect Analysis for Building Lightweight Method Summaries -- Layout Transformations for Heap Objects Using Static Access Patterns -- A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees -- A Declarative Framework for Analysis and Optimization.
• Sommario/riassunto: This book constitutes the refereed proceedings of the 16th International Conference on Compiler Construction, CC 2007, held in Braga, Portugal, in March 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software. The 15 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on architecture, garbage collection and program analysis, register allocation, and program analysis.