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
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 an...
Bewaard in:
| Coauteurs: | , |
|---|---|
| Andere auteurs: | |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in computer science
1576 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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. Doaites Swierstra (ed.), 1999, Berlin, Springer, 1 volume (X-340 pages), Lecture notes in computer science, 3-540-65699-5 • Programming Languages and Systems, Texte imprimé, 9783662161913 |
Inhoudsopgave:
- 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.