Compiler Construction : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings - Alan Mycroft

Instant online reading.
Don't wait for delivery!

Compiler Construction

15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings

By: Alan Mycroft (Editor), Andreas Zeller (Editor)

Write A Review

Paperback | 21 March 2006

At a Glance

Paperback
296 Pages

Dimensions(cm)
22.86 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events). We - ceived over 550 submissions to the ?ve conferences this year, giving an overall acc- tance rate of 23%, with acceptance rates below 30% for each conference. Congratu- tions to all the authors who made it to the ?nal programme I hope that most of the other authorsstill founda way of participatingin this excitingevent and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Compilers & Interpreters Computer Science Computer Architecture & Logic Design Software Engineering Mathematics Mathematical Foundation Mathematical Logic Programming & Scripting Languages Operating Systems

Artificial Intelligence

Using dependent types to port type systems to low-level languages	p. 1
Interprocedural dataflow analysis in the presence of large libraries	p. 2
Efficient flow-sensitive interprocedural data-flow analysis in the presence of pointers	p. 17
Path-based reuse distance analysis	p. 32
Context-sensitive points-to analysis : is it worth it?	p. 47
Selective runtime memory disambiguation in a dynamic binary translator	p. 65
Accurately choosing execution runs for software fault localization	p. 80
Demonstration : on-line visualization and analysis of real-time systems with TuningFork	p. 96
Data-flow analysis as model checking within the jABC	p. 101
The CGiS compiler - a tool demonstration	p. 105
Loop transformations in the ahead-of-time optimization of Java bytecode	p. 109
Hybrid optimizations : which optimization algorithm to use?	p. 124
A fresh look at PRE as a maximum flow problem	p. 139
Performance characterization of the 64-bit x86 architecture from compiler optimizations' perspective	p. 155
Lightweight lexical closures for legitimate execution stack access	p. 170
Polyhedral code generation in the real world	p. 185
Iterative collective loop fusion	p. 202
Converting intermediate code to assembly code using declarative machine descriptions	p. 217
SARA : combining stack allocation and register allocation	p. 232
Register allocation for programs in SSA-form	p. 247
Enhanced bitwidth-aware register allocation	p. 263
Table of Contents provided by Blackwell. All Rights Reserved.

Compiler Construction

15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Generative Artificial Intelligence

Technology and Applications

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Hacking For Dummies

For Dummies (Computer/Tech)

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Fundamentals of Software Architecture

A Modern Engineering Approach

User Story Mapping

Discover the Whote Story, Build the Right Product

Site Reliability Engineering

How Google Runs Production Systems

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Git : Pocket Guide

A Working Introduction

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

Developing Graphics Frameworks with Java and OpenGL

AI-Native Software Delivery

Proven Practices to Produce High-Quality Software Faster

Programming TypeScript

Making Your JavaScript Applications Scale

Architectural Approach to Level Design

Second edition

The Engineering Leader

Strategies for Scaling Teams and Yourself

This product is categorised by