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

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

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

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

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

Typesetting Mathematics With Latex

Introduction to Programming Languages

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Code

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

C# 12 in a Nutshell

The Definitive Reference

Learning Go

An Idiomatic Approach to Real-World Go Programming

Artificial Intelligence Programming with Python

From Zero to Hero

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Python Automation For Dummies

For Dummies (Computer/Tech)

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

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

For Dummies

Digital Technologies for the Australian Curriculum 9 &10 Workbook

Laravel: Up & Running

3rd Edition - A Framework for Building Modern PHP Apps

Introduction to Machine Learning with Python

A Guide for Data Scientists

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Think Python

How To Think Like a Computer Scientist

Web Scraping with Python

3rd Edition - Data Extraction from the Modern Web

Apache Iceberg: The Definitive Guide

Data Lakehouse Functionality, Performance, and Scalability on the Data Lake

Programming Rust

Fast, Safe Systems Development 2nd Edition

This product is categorised by