Lecture Notes in Computer Science

4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings

By: Pascal van Hentenryck (Editor)

Write A Review

Paperback | 27 August 1997

At a Glance

Paperback
432 Pages

Dimensions(cm)
23.39 x 15.6 x 2.24

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.
The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.

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 $0.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 Programming & Scripting Languages Software Engineering Computer Science Computer Architecture & Logic Design Systems Analysis & Design Mathematics Mathematical Foundation Mathematical Logic Compilers & Interpreters

Computer Hardware

On Sparse Evaluation Representations	p. 1
The Effects of the Precision of Pointer Analysis	p. 16
Fast and Effective Procedure Inlining	p. 35
Set Sharing is Redundant for Pair-Sharing	p. 53
An Algebraic Approach to Sharing Analysis of Logic Programs	p. 68
Logical Optimality of Groundness Analysis	p. 83
Toward a Cost-Effective Estimation of Uncaught Exceptions in SML Programs	p. 98
Program Analysis using Mixed Term and Set Constraints	p. 114
Set-Based Analysis for Logic Programming and Tree Automata	p. 127
Denotational Abstract Interpretation of Functional Logic Programs	p. 141
Termination Analysis for Mercury	p. 160
The Power of QDDs	p. 172
Type-Based Analysis of Communication for Concurrent Programming Languages	p. 187
True Concurrency via Abstract Interpretation	p. 202
Static Analysis of Interaction Nets for Distributed Implementations	p. 217
Type-Directed Flow Analysis for Typed Intermediate Languages	p. 232
Exact Flow Analysis	p. 250
Satisfying Subtype Inequalities in Polynomial Space	p. 265
Static Analyses of Congruence Properties on Rational Numbers	p. 278
Effective Specialization of Realistic Programs via Use Sensitivity	p. 293
Coalescing Conditional Branches into Efficient Indirect Jumps	p. 319
Automatic Termination Analysis for Partial Functions Using Polynomial Orderings	p. 330
TEA: Automatically Proving Termination of Programs in a Non-strict Higher-order Functional Language	p. 345
Semantic Analyzer of Modula-Programs	p. 361
Abstract Interpretation for Improving WAM Code	p. 364
Attribute Grammars and Functional Programming Deforestation	p. 365
Data Dependences as Abstract Interpretation	p. 366
Abstract Interpretation: A Theory of Approximate Computation	p. 367
On the Desirable Link Between Theory and Practice in Abstract Interpretation	p. 379
Abstract Interpretation Based Static Analysis Parameterized by Semantics	p. 388
Can Abstract Interpretation become a Mainstream Compiler Technology?	p. 395
Combining Abstract Interpretation and Partial Evaluation	p. 396
Practical Compile-Time Analysis	p. 406
Author Index	p. 413
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Designing Data-Intensive Applications 2e

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Cloud Compliance Essentials

Build and Maintain Market Access in the B2B CSP Ecosystem

Cloud Compliance Essentials

Build and Maintain Market Access in the B2B CSP Ecosystem

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Spatial Data Science

With Applications in R

Python & AI For Dummies

Code

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

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

The Practical Guide

The Practical Guide

The C Programming Language

Prentice Hall Software

MacBook Neo For Dummies

Refactoring 2ed

Improving the Design of Existing Code

Videogame Architecture

Building Virtual Spaces

Coding For Kids For Dummies

For Kids for Dummies

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Computer Coding Python Games for Kids

DK Help Your Kids With

This product is categorised by