Del i serien Lecture Notes in Computer Science

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

Häftad, Engelska, 1999

719 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum1999-03-10
Mått155 x 235 x undefined mm
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor314
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540656999

Tillhör följande kategorier

Programspråk inom Data och IT

Invited Paper.- Functional Reactive Programming.- Regular Contributions.- A Decidable Logic for Describing Linked Data Structures.- Interprocedural Control Flow Analysis.- A Per Model of Secure Information Flow in Sequential Programs.- Quotienting Share for Dependency Analysis.- Types and Subtypes for Client-Server Interactions.- Types for Safe Locking.- Constructor Subtyping.- Safe and Principled Language Interoperation.- Deterministic Expressions in C.- A Programming Logic for Sequential Java.- Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs.- An Idealized MetaML: Simpler, and More Expressive.- Type-Based Decompilation (or Program Reconstruction via Type Reconstruction).- An Operational Investigation of the CPS Hierarchy.- Higher-Order Code Splicing.- Expressing Structural Properties as Language Constructs?.- Polytypic Compact Printing and Parsing.- Dynamic Programming via Static Incrementalization.