Programming Languages and Systems

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)
23.39 x 15.6 x 2.31

Paperback

$101.07

or 4 interest-free payments of $25.27 with

or

Aims to ship in 7 to 10 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

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.

More in Software Engineering

The Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday - Mike Hinchey

$163.50

29%
OFF

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Paperback

RRP $95.00

$43.25

54%
OFF

JavaScript : The Good Parts

Unearthing the excellence in JavaScript

Paperback

RRP $57.00

$28.25

50%
OFF

Information Modeling and Relational Databases

2nd Edition

Hardcover

RRP $108.95

$74.95

31%
OFF

Knowledge Management

3rd Edition - Systems and Processes in the AI Era

Hardcover

RRP $347.00

$266.25

23%
OFF

Systems Analysis and Design

8th Edition

Paperback

RRP $263.95

$220.75

16%
OFF

Domain Modeling Made Functional : Pragmatic Programmers

Tackle Software Complexity with Domain-Driven Design and F#

Paperback

RRP $91.25

$41.75

54%
OFF

Accelerate

The Science of Lean Software and Devops: Building and Scaling High Preforming Technology Organizations

Paperback

RRP $44.99

$40.75

Debugging Teams

Better Prductivity Through Collaboration

Paperback

RRP $57.00

$28.25

50%
OFF

Hands-on Rust

Effective Learning through 2D Game Development and Play

Paperback

RRP $91.25

$41.75

54%
OFF

Learning Modern C++ for Finance : Foundations for Quantitative Programming - Daniel Hanson

$55.25

56%
OFF

Functional Programming with C#

Create More Supportable, Robust, and Testable Code

Paperback

RRP $152.00

$66.25

56%
OFF

Software Developer's Career Handbook, The

A Guide to Navigating the Unpredictable

Paperback

RRP $87.50

$40.40

54%
OFF

Serverless Development on AWS

Building Enterprise-Scale Serverless Solutions

Paperback

RRP $125.50

$55.25

56%
OFF

Typescript Cookbook

Real World Type-Level Programming

Paperback

RRP $125.50

$55.25

56%
OFF

Learning Algorithms

A Programmer's Guide to Writing Better Code

Paperback

RRP $152.00

$66.25

56%
OFF

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

Paperback

RRP $87.35

$40.25

54%
OFF

Powerful Command-Line Applications in Go

Build Fast and Maintainable Tools

Paperback

RRP $87.35

$40.25

54%
OFF

Learning Typescript

Enhance Your Web Development Skills Using Type-Safe JavaScript

Paperback

RRP $106.50

$47.75

55%
OFF

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Paperback

RRP $125.50

$55.25

56%
OFF

Learning Visual Basic .NET

LEARNING

Paperback

RRP $66.50

$31.75

52%
OFF

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.

Programming Languages and Systems

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 Software Engineering

The Combined Power of Research, Education, and Dissemination

Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Applications of Blockchain and Artificial Intelligence in Finance and Governance

Artificial Intelligence for Sustainability

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

JavaScript : The Good Parts

Unearthing the excellence in JavaScript

Information Modeling and Relational Databases

2nd Edition

Knowledge Management

3rd Edition - Systems and Processes in the AI Era

Systems Analysis and Design

8th Edition

Domain Modeling Made Functional : Pragmatic Programmers

Tackle Software Complexity with Domain-Driven Design and F#

Accelerate

The Science of Lean Software and Devops: Building and Scaling High Preforming Technology Organizations

Debugging Teams

Better Prductivity Through Collaboration

Hands-on Rust

Effective Learning through 2D Game Development and Play

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Fluent C

Principles, Practices, and Patterns

Functional Programming with C#

Create More Supportable, Robust, and Testable Code

Software Developer's Career Handbook, The

A Guide to Navigating the Unpredictable

Serverless Development on AWS

Building Enterprise-Scale Serverless Solutions

Typescript Cookbook

Real World Type-Level Programming

Learning Algorithms

A Programmer's Guide to Writing Better Code

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

Powerful Command-Line Applications in Go

Build Fast and Maintainable Tools

Learning Typescript

Enhance Your Web Development Skills Using Type-Safe JavaScript

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Learning Visual Basic .NET

LEARNING

This product is categorised by

Popular Searches