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

Python Crash Course

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

Designing Data-Intensive Applications

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Exam 98-366 Networking Fundamentals 2nd Edition

Algorithmic Short Selling with Python - Second Edition

Strategies, signals, and risk management techniques for profitable short trades

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Learning Go

An Idiomatic Approach to Real-World Go Programming

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Learning Generative AI Tools for Excel

Speed Up Your Everyday Tasks with Microsoft Excel, Copilot, ChatGPT, and Beyond

Design Patterns

Elements of Reusable Object-Oriented Software

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

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

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Computer Coding Python Games for Kids

DK Help Your Kids With

Microsoft 365 Excel VBA Programming For Dummies

For Dummies (Computer/Tech)

Head First Python

3rd Edition - A Learner's Guide to the Fundamentals of Python Programming, a Brain-Friendly Guide

Agile Project Management For Dummies

For Dummies (Business & Personal Finance)

Code

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

This product is categorised by