default search action

combined dblp search
author search
venue search
publication search

ask others

8. ESOP 1999: Amsterdam, The Netherlands (Part of ETAPS 1999)

> Home > Conferences and Workshops > ESOP
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/esop/1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/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

- view
  authority control:
- export record
  dblp key:
  - conf/esop/Hudak99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Hudak99
Paul Hudak:
Functional Reactive Programming (Abstract). 1

Regular Contributions

- view
  authority control:
- export record
  dblp key:
  - conf/esop/BenediktRS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BenediktRS99
Michael Benedikt, Thomas W. Reps, Shmuel Sagiv:
A Decidable Logic for Describing Linked Data Structures. 2-19
- view
  authority control:
- export record
  dblp key:
  - conf/esop/NielsonN99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/NielsonN99
Flemming Nielson, Hanne Riis Nielson:
Interprocedural Control Flow Analysis. 20-39
- view
  authority control:
- export record
  dblp key:
  - conf/esop/SabelfeldS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/SabelfeldS99
Andrei Sabelfeld, David Sands:
A Per Model of Secure Information Flow in Sequential Programs. 40-58
- view
  authority control:
- export record
  dblp key:
  - conf/esop/KingSH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KingSH99
Andy King, Jan-Georg Smaus, Patricia M. Hill:
Quotienting Share for Dependency Analysis. 59-73
- view
  authority control:
- export record
  dblp key:
  - conf/esop/GayH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/GayH99
Simon J. Gay, Malcolm Hole:
Types and Subtypes for Client-Server Interactions. 74-90
- view
  authority control:
- export record
  dblp key:
  - conf/esop/FlanaganA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/FlanaganA99
Cormac Flanagan, Martín Abadi:
Types for Safe Locking. 91-108
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BartheF99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BartheF99
Gilles Barthe, Maria João Frade:
Constructor Subtyping. 109-127
- view
  authority control:
- export record
  dblp key:
  - conf/esop/TrifonovS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/TrifonovS99
Valery Trifonov, Zhong Shao:
Safe and Principled Language Interoperation. 128-146
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Norrish99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Norrish99
Michael Norrish:
Deterministic Expressions in C. 147-161
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Poetzsch-HeffterM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Poetzsch-HeffterM99
Arnd Poetzsch-Heffter, Peter Müller:
A Programming Logic for Sequential Java. 162-176
- view
  authority control:
- export record
  dblp key:
  - conf/esop/PodelskiCM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/PodelskiCM99
Andreas Podelski, Witold Charatonik, Martin Müller:
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. 177-192
- view
  authority control:
- export record
  dblp key:
  - conf/esop/MoggiTBS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/MoggiTBS99
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard:
An Idealized MetaML: Simpler, and More Expressive. 193-207
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Mycroft99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Mycroft99
Alan Mycroft:
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). 208-223
- view
  authority control:
- export record
  dblp key:
  - conf/esop/DanvyY99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/DanvyY99
Olivier Danvy, Zhe Yang:
An Operational Investigation of the CPS Hierarchy. 224-242
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Thiemann99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Thiemann99
Peter Thiemann:
Higher-Order Code Splicing. 243-257
- view
  authority control:
- export record
  dblp key:
  - conf/esop/KrishnamurthiEF99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KrishnamurthiEF99
Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen:
Expressing Structural Properties as Language Constructs. 258-272
- view
  authority control:
- export record
  dblp key:
  - conf/esop/JanssonJ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/JanssonJ99
Patrik Jansson, Johan Jeuring:
Polytypic Compact Printing and Parsing. 273-287
- view
  authority control:
- export record
  dblp key:
  - conf/esop/LiuS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LiuS99
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.