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

Arduino For Dummies

For Dummies (Computer/Tech)

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

The Complete Guide to Photorealism for Visual Effects, Visualization, and Games

The Complete Guide to Photorealism for Visual Effects, Visualization, and Games

The Geopolitical Economy of Esports

Routledge Research in Sport, Culture and Society

Cloud-Native Modernization Unleashed

Revolutionizing Legacy Systems with Spring, Ai, Cloud, and Microservices

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide

Collector's Edition

Designing Data-Intensive Applications

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Python All-in-One For Dummies

3rd Edition

Swift

The Practical Guide

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Python Crash Course

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

Fundamentals of Software Architecture

A Modern Engineering Approach

Statistical Analysis with R For Dummies

For Dummies (Computer/Tech)

Agile Project Management For Dummies

For Dummies (Business & Personal Finance)

Microsoft 365 Excel VBA Programming For Dummies

For Dummies (Computer/Tech)

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Make: Electronics

Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast

Design Patterns

Elements of Reusable Object-Oriented Software

This product is categorised by