My Wish Lists Login / Join

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 $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 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

MacBook Neo For Dummies

Code

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

Effect-Driven Interpretation

Functors for Natural Language Composition

Effect-Driven Interpretation

Functors for Natural Language Composition

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Inventing ELIZA

How the First Chatbot Shaped the Future of AI

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

ZX-Calculus for Quantum Circuits

A Diagrammatic Approach to Quantum Circuit Analysis and Optimization

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Python Crash Course

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

Python All-in-One For Dummies

3rd Edition

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Swift

The Practical Guide

The C Programming Language

Prentice Hall Software

Design Patterns

Elements of Reusable Object-Oriented Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Making Things Happen : Theory in Practice

Mastering Project Management

Theory of Fun for Game Design

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

This product is categorised by