default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. ESOP 1999: Amsterdam, The Netherlands (Part of ETAPS 1999)
- S. Doaitse Swierstra:
Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings. Lecture Notes in Computer Science 1576, Springer 1999, ISBN 3-540-65699-5
Invited Paper
- Paul Hudak:
Functional Reactive Programming (Abstract). 1
Regular Contributions
- Michael Benedikt, Thomas W. Reps, Shmuel Sagiv:
A Decidable Logic for Describing Linked Data Structures. 2-19 - Flemming Nielson, Hanne Riis Nielson:
Interprocedural Control Flow Analysis. 20-39 - Andrei Sabelfeld, David Sands:
A Per Model of Secure Information Flow in Sequential Programs. 40-58 - Andy King, Jan-Georg Smaus, Patricia M. Hill:
Quotienting Share for Dependency Analysis. 59-73 - Simon J. Gay, Malcolm Hole:
Types and Subtypes for Client-Server Interactions. 74-90 - Cormac Flanagan, Martín Abadi:
Types for Safe Locking. 91-108 - Gilles Barthe, Maria João Frade
:
Constructor Subtyping. 109-127 - Valery Trifonov, Zhong Shao:
Safe and Principled Language Interoperation. 128-146 - Michael Norrish:
Deterministic Expressions in C. 147-161 - Arnd Poetzsch-Heffter, Peter Müller:
A Programming Logic for Sequential Java. 162-176 - Andreas Podelski, Witold Charatonik, Martin Müller:
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. 177-192 - Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard:
An Idealized MetaML: Simpler, and More Expressive. 193-207 - Alan Mycroft:
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). 208-223 - Olivier Danvy, Zhe Yang:
An Operational Investigation of the CPS Hierarchy. 224-242 - Peter Thiemann:
Higher-Order Code Splicing. 243-257 - Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen:
Expressing Structural Properties as Language Constructs. 258-272 - Patrik Jansson, Johan Jeuring:
Polytypic Compact Printing and Parsing. 273-287 - Yanhong A. Liu, Scott D. Stoller:
Dynamic Programming via Static Incrementalization. 288-305
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-10 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
