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 - David Sands

Instant online reading.
Don't wait for delivery!

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)
22.86 x 15.24 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

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

More in Programming & Scripting Languages

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$52.47

30%
OFF

Python Workout, Second Edition : 200 ten-minute exercises - Reuven Lerner

$75.75

29%
OFF

Python Crash Course

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

Paperback

RRP $89.99

$64.99

28%
OFF

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Hardcover

RRP $45.00

$35.75

21%
OFF

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Hardcover

RRP $91.30

$65.75

28%
OFF

The Practical Guide

Paperback

$97.75

Introduction to Programming Languages

Hardcover

$446.75

$Typesetting Mathematics With Latex - Robert Legato$

$55.75

C# 12 in a Nutshell

The Definitive Reference

Paperback

RRP $133.00

$64.75

51%
OFF

Python Automation For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $57.95

$40.57

30%
OFF

Digital Technologies for the Australian Curriculum 9 &10 Workbook - David Grover

$73.75

51%
OFF

Python for Excel

A Modern Environment for Automation and Data Analysis

Paperback

RRP $125.75

$60.99

51%
OFF

Typescript Cookbook

Real World Type-Level Programming

Paperback

RRP $125.75

$60.99

51%
OFF

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

Paperback

RRP $114.00

$55.75

51%
OFF

C++ How to Program, Global Edition

10th Edition

Paperback

RRP $167.95

$133.75

20%
OFF

Artificial Intelligence Programming with Python

From Zero to Hero

Paperback

RRP $65.95

$49.75

25%
OFF

Algorithms in C, Parts 1-4

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

Paperback

RRP $131.20

$81.75

38%
OFF

Problem Solving and Program Design in C, Global Edition

8th Edition

Paperback

RRP $174.02

$133.75

23%
OFF

Java

An Introduction to Problem Solving and Programming, 8th Global Edition

Paperback

RRP $141.69

$105.75

25%
OFF

C++ How to Program, Global Edition : 11th Edition - Harvey Deitel & Associates

$96.75

22%
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 Programming & Scripting Languages

Python All-in-One For Dummies

3rd Edition

Python Workout, Second Edition

200 ten-minute exercises

The C Programming Language

Prentice Hall Software

Python Crash Course

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

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Practical Guide

Introduction to Programming Languages

Typesetting Mathematics With Latex

Code

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

C# 12 in a Nutshell

The Definitive Reference

Python Automation For Dummies

For Dummies (Computer/Tech)

Digital Technologies for the Australian Curriculum 9 &10 Workbook

Learning Web Design

A Beginner's Guide to Html, Css, Javascript, and Web Graphics

Python for Excel

A Modern Environment for Automation and Data Analysis

Typescript Cookbook

Real World Type-Level Programming

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

C++ How to Program, Global Edition

10th Edition

Artificial Intelligence Programming with Python

From Zero to Hero

Algorithms in C, Parts 1-4

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

Problem Solving and Program Design in C, Global Edition

8th Edition

Java

An Introduction to Problem Solving and Programming, 8th Global Edition

C++ How to Program, Global Edition

11th Edition

Concepts of Programming Languages, Global Edition

12th Edition

This product is categorised by