Programming Languages and Systems : 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings - S. Doaitse Swierstra

Instant online reading.
Don't wait for delivery!

Programming Languages and Systems

8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings

By: S. Doaitse Swierstra (Editor)

Write A Review

Paperback | 1 July 2009

At a Glance

Paperback
324 Pages

Dimensions(cm)
24.13 x 15.24 x 1.27

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activities. One of the results of colocatingso many conferences is a reduction in the number of possibilities to submit a paper to a European conference and the increased competition between conferences that occurs when boundaries between indiv- ual conferences have not yet become well established. This may have been the reason for the fact that only 44 submission were received this year. On the other hand we feel that the average quality of submissions has gone up, and thus the program committee was able to select 18 good papers, only one less than the year before. The program committee did not meet physically, and all discussion was done usinga Web-driven data base system. Despite some mixed feelings there is an overall tendency to appreciate the extra time available for giving papers a s- ond look and really going into comments made by other program committee members. I want to thank my fellow program committee members for the work they have put into the refereeingprocess and the valuable feedback they have given to authors. I want to thank the referees for their work and many detailed comments, and ?nally I want to thank everyone who has submitted a paper: without authors, no conference.

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 Graphical & Digital Media Applications 3D Graphics & Modelling Computer Science Computer Architecture & Logic Design Compilers & Interpreters

Databases Artificial Intelligence

Invited Paper
Functional Reactive Programming	p. 1
Regular Contributions
A Decidable Logic for Describing Linked Data Structures	p. 2
Interprocedural Control Flow Analysis	p. 20
A Per Model of Secure Information Flow in Sequential Programs	p. 40
QuotientingShare for Dependency Analysis	p. 59
Types and Subtypes for Client-Server Interactions	p. 74
Types for Safe Locking	p. 91
Constructor Subtyping	p. 109
Safe and Principled Language Interoperation	p. 128
Deterministic Expressions in C	p. 147
A Programming Logic for Sequential Java	p. 162
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs	p. 177
An Idealized MetaML: Simpler, and More Expressive	p. 193
Type-Based Decompilation	p. 208
An Operational Investigation of the CPS Hierarchy	p. 224
Higher-Order Code Splicing	p. 243
Expressing Structural Properties as Language Constructs	p. 258
Polytypic Compact Printingand Parsing	p. 273
Dynamic Programming via Static Incrementalization	p. 288
Author Index	p. 307
Table of Contents provided by Publisher. All Rights Reserved.

Programming Languages and Systems

8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, the Netherlands, March 22-28, 1999, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Databases

Statistics and Data Handling for Biologists

A Student's Guide

Statistics and Data Handling for Biologists

A Student's Guide

Zero Knowledge, Infinite Trust

The Evolution and Revolution of Blockchain Technology

ESG Investment, German Industrie 4.0, and Blockchain

From Data to Dollars

Getting Started with Data Analytics and AI in Startups

Digital Outcasts

Moving Technology Forward without Leaving People Behind

Designing Data-Intensive Applications

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Hands-On Programming with R

Write Your Own Functions and Simulations

Python All-in-One For Dummies

3rd Edition

SPSS Survival Manual

7th Edition - A step by step guide to data analysis using IBM SPSS

Microsoft 365 Access For Dummies

Access for Dummies

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

The Value of People Analytics

Using HR Data to Drive Business Results

Microsoft Power Bi Data Analyst Associate Study Guide

Prepare for the Pl-300 Exam and Apply Best Practice Design

Python for Excel

A Modern Environment for Automation and Data Analysis

R for Data Science

Import, Tidy, Transform, Visualize, and Model Data

Data-driven BIM for Energy Efficient Building Design

1st Edition

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Learning Data Science

Data Wrangling, Exploration, Visualization, and Modeling with Python

Building a Scalable Data Warehouse with Data Vault 2.0

Database Systems 6ed

A Practical Approach to Design, Implementation, and Management, Global Edition

Social Research Methods

4th Edition

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

This product is categorised by