default search action

combined dblp search
author search
venue search
publication search

ask others

11. ESOP 2002: Grenoble, France (Part of ETAPS 2002)

> 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/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/2002
Daniel Le Métayer:
Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2305, Springer 2002, ISBN 3-540-43363-5

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/esop/Morrisett02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Morrisett02
J. Gregory Morrisett:
Type Checking Systems Code. 1-5

Typing and Modularity

- view
  authority control:
- export record
  dblp key:
  - conf/esop/HirschowitzL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/HirschowitzL02
Tom Hirschowitz, Xavier Leroy:
Mixin Modules in a Call-by-Value Setting. 6-20
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Grossman02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Grossman02
Dan Grossman:
Existential Types for Imperative Languages. 21-35
- view
  authority control:
- export record
  dblp key:
  - conf/esop/AspinallH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/AspinallH02
David Aspinall, Martin Hofmann:
Another Type System for In-Place Update. 36-52

Programming Paradigms

- view
  authority control:
- export record
  dblp key:
  - conf/esop/BistarelliMR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BistarelliMR02
Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Soft Concurrent Constraint Programming. 53-67
- view
  authority control:
- export record
  dblp key:
  - conf/esop/McGuireKH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/McGuireKH02
Morgan McGuire, Shriram Krishnamurthi, John F. Hughes:
Programming Languages for Compressing Graphics. 68-82
- view
  authority control:
- export record
  dblp key:
  - conf/esop/HuIT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/HuIT02
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
An Accumulative Parallel Skeleton for All. 83-97
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Weirich02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Weirich02
Stephanie Weirich:
Higher-Order Intensional Type Analysis. 98-114

Lambda Calculus

- view
  authority control:
- export record
  dblp key:
  - conf/esop/WellsH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/WellsH02
Joe B. Wells, Christian Haack:
Branching Types. 115-132
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Laird02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Laird02
James Laird:
Exceptions, Continuations and Macro-expressiveness. 133-146
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Glew02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Glew02
Neal Glew:
A Theory of Second-Order Trees. 147-161

Program Analysis: Applications

- view
  authority control:
- export record
  dblp key:
  - conf/esop/Horwitz02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Horwitz02
Susan Horwitz:
Tool Support for Improving Test Coverage. 162-177
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Kandemir02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Kandemir02
Mahmut T. Kandemir:
Data Space Oriented Tiling. 178-193
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Martel02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Martel02
Matthieu Martel:
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. 194-208
- view
  authority control:
- export record
  dblp key:
  - conf/esop/GoubaultMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/GoubaultMP02
Eric Goubault, Matthieu Martel, Sylvie Putot:
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. 209-212

Program Analysis: Principles

- view
  authority control:
- export record
  dblp key:
  - conf/esop/WandW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/WandW02
Mitchell Wand, Galen B. Williamson:
A Modular, Extensible Proof Method for Small-Step Flow Analyses. 213-227
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Thiemann02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Thiemann02
Peter Thiemann:
A Prototype Dependency Calculus. 228-242
- view
  authority control:
- export record
  dblp key:
  - conf/esop/NielsonNS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/NielsonNS02
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl:
Automatic Complexity Analysis. 243-261

Distributed Programs: Verification and Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/esop/FlanaganFQ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/FlanaganFQ02
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
Thread-Modular Verification for Shared-Memory Programs. 262-277
- view
  authority control:
- export record
  dblp key:
  - conf/esop/WansbroughNSS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/WansbroughNSS02
Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov:
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. 278-294
- view
  authority control:
- export record
  dblp key:
  - conf/esop/CharatonikGT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CharatonikGT02
Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot:
Finite-Control Mobile Ambients. 295-313
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Feret02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Feret02
Jérôme Feret:
Dependency Analysis of Mobile Systems. 314-330

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.