+612 9045 4394
 
CHECKOUT
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 :  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

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

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)

Paperback Published: July 2009
ISBN: 9783540656999
Number Of Pages: 314

Share This Book:

Paperback

$125.05
or 4 easy payments of $31.26 with Learn more
Ships in 5 to 9 business days

This book constitutes the refereed proceedings of the 8th European Symposium on Programming, ESOP'99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99.The 18 revised full papers presented were carefully reviewed and selected from a total of 44 submissions. Among the topics addressed are program logics, data structures, sequential programming, type systems, language interoperation, C programming, sequential Java, constraint programming, code splicing, parsing, and static incrementalization.

Invited Paper
Functional Reactive Programmingp. 1
Regular Contributions
A Decidable Logic for Describing Linked Data Structuresp. 2
Interprocedural Control Flow Analysisp. 20
A Per Model of Secure Information Flow in Sequential Programsp. 40
QuotientingShare for Dependency Analysisp. 59
Types and Subtypes for Client-Server Interactionsp. 74
Types for Safe Lockingp. 91
Constructor Subtypingp. 109
Safe and Principled Language Interoperationp. 128
Deterministic Expressions in Cp. 147
A Programming Logic for Sequential Javap. 162
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programsp. 177
An Idealized MetaML: Simpler, and More Expressivep. 193
Type-Based Decompilationp. 208
An Operational Investigation of the CPS Hierarchyp. 224
Higher-Order Code Splicingp. 243
Expressing Structural Properties as Language Constructsp. 258
Polytypic Compact Printingand Parsingp. 273
Dynamic Programming via Static Incrementalizationp. 288
Author Indexp. 307
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540656999
ISBN-10: 3540656995
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 314
Published: July 2009
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.73
Weight (kg): 0.45