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

Coding For Dummies, All New Edition : For Dummies (Computer/Tech) - Paul McFedries

$35.75

21%
OFF

Python Crash Course

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

Paperback

RRP $89.99

$64.99

28%
OFF

The C Programming Language

Prentice Hall Software

Paperback

RRP $107.04

$75.75

29%
OFF

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$55.75

26%
OFF

Building Programming Language Interpreters : A bottom-up approach to runtimes, execution, and implementation in C++ - Daniel Ruoso

$55.75

51%
OFF

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Hardcover

RRP $91.30

$65.75

28%
OFF

C# 12 in a Nutshell

The Definitive Reference

Paperback

RRP $133.00

$64.75

51%
OFF

Code

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

Paperback

RRP $60.84

$55.75

Introduction to Programming Languages

Hardcover

$467.75

$Typesetting Mathematics With Latex - Robert Legato$

$49.75

25%
OFF

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Paperback

RRP $82.95

$57.75

30%
OFF

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

$55.75

51%
OFF

Programming Rust

Fast, Safe Systems Development 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

Python for Excel

A Modern Environment for Automation and Data Analysis

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

Learning Go

An Idiomatic Approach to Real-World Go Programming

Paperback

RRP $125.75

$60.99

51%
OFF

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Paperback

RRP $152.00

$73.75

51%
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

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Python Automation For Dummies

For Dummies (Computer/Tech)

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

The C Programming Language

Prentice Hall Software

Python All-in-One For Dummies

3rd Edition

Building Programming Language Interpreters

A bottom-up approach to runtimes, execution, and implementation in C++

Python Workout, Second Edition

200 ten-minute exercises

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

C# 12 in a Nutshell

The Definitive Reference

Code

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

Introduction to Programming Languages

Typesetting Mathematics With Latex

The Practical Guide

Artificial Intelligence Programming with Python

From Zero to Hero

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Digital Technologies for the Australian Curriculum 9 &10 Workbook

Introduction to Machine Learning with Python

A Guide for Data Scientists

Programming Rust

Fast, Safe Systems Development 2nd Edition

Python for Excel

A Modern Environment for Automation and Data Analysis

Modern Data Analytics in Excel

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

Learning Go

An Idiomatic Approach to Real-World Go Programming

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

This product is categorised by