Lecture Notes in Computer Science : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings - David Sands

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

By: David Sands (Editor)

Write A Review

Paperback | 21 March 2001

At a Glance

Paperback
452 Pages

Dimensions(cm)
22.86 x 15.24 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

ETAPS 2001 was the fourth 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 (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities 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 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 $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 Medicine Medicine in General Compilers & Interpreters Mathematics Mathematical Foundation Mathematical Logic Computer Science

Computer Architecture & Logic Design Mathematical Theory of Computation

A Query Language Based on the Ambient Logic	p. 1
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis	p. 23
A Systematic Approach to Static Access Control	p. 30
Secure Information Flow and CPS	p. 46
Enforcing Safety Properties Using Type Specialization	p. 62
Semantics and Program Analysis of Computationally Secure Information Flow	p. 77
Encoding Intensional Type Analysis	p. 92
Fusion on Languages	p. 107
Programming the Web with High-Level Programming Languages	p. 122
On the Completeness of Model Checking	p. 137
Modal Transition Systems: A Foundation for Three-Valued Program Analysis	p. 155
Entailment with Conditional Equality Constraints	p. 170
On the Complexity of Constant Propagation	p. 190
What Are Polymorphically-Typed Ambients?	p. 206
JOIN(X): Constraint-Based Type Inference for the Join-Calculus	p. 221
Modular Causality in a Synchronous Stream Language	p. 237
Control-Flow Analysis in Cubic Time	p. 252
The Recursive Record Semantics of Objects Revisited	p. 269
A Formalisation of JavaÆs Exception Mechanism	p. 284
A Formal Executable Semantics of the JavaCard Platform	p. 302
Modeling an Algebraic Stepper	p. 320
Typestate Checking of Machine Code	p. 335
Proof-Directed De-compilation of Low-Level Code	p. 352
Backwards Abstract Interpretation of Probabilistic Programs	p. 367
Tool Demonstration: Finding Duplicated Code Using Program Dependences	p. 383
Compiling Problem Specifications into SAT	p. 387
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling	p. 402
The Def-inite Approach to Dependency Analysis	p. 417
Author Index	p. 433
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

Graphical Models and Causal Discovery with R

100 Exercises for Building Logic

Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers

16th International Workshop, STACOM 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 27, 2025, Revised Selected Papers

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Discrete Mathematics for Computing

Grassroots

Effective Machine Learning Teams

Best Practices for ML Practitioners

Beading With Algorithms

Cellular Automata In Peyote Stitch

Mining Complex Networks

Advances in Applied Mathematics

Mining Complex Networks

Advances in Applied Mathematics

Introduction to Machine Learning Algorithms

Basic Principles and Mathematics

Theory of Computation for Software Developers

Nonlinear Analysis for Human Movement Variability

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Introduction to Modern Cryptography

Revised Third Edition

Metaheuristic Algorithms

Theory and Practice

Machine Learning with Julia

An Algorithmic Exploration

Applied Mathematics with F#

Pattern Recognition and Machine Learning for Self-Study I

Supervised Learning

Rigorous Software Development

An Introduction to Program Verification

Differential Equations and Variational Methods on Graphs

With Applications to Machine Learning and Image Analysis

Why Don t Rabbits Rule The World?

Mathematical answers to life s key questions

A Mathematical Introduction to Data Science with Python

Hands-On Generative AI with Transformers and Diffusion Models

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

This product is categorised by