Programming Languages and Systems 1999
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
(Sprache: Englisch)
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 atotal...
Leider schon ausverkauft
versandkostenfrei
Buch
76.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Programming Languages and Systems 1999 “
Klappentext zu „Programming Languages and Systems 1999 “
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 atotal 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.
Inhaltsverzeichnis zu „Programming Languages and Systems 1999 “
- 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
Bibliographische Angaben
- x, 314 Seiten, Maße: 15,4 x 23,6 cm, Kartoniert (TB), Englisch
- Herausgegeben: S. Doaitse Swierstra
- Verlag: Springer Berlin
- ISBN-10: 3540656995
- ISBN-13: 9783540656999
- Erscheinungsdatum: 10.03.1999
Sprache:
Englisch
Kommentar zu "Programming Languages and Systems 1999"
Schreiben Sie einen Kommentar zu "Programming Languages and Systems 1999".
Kommentar verfassen