![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
11. ESOP 2002: Grenoble, France (Part of ETAPS 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
- J. Gregory Morrisett:
Type Checking Systems Code. 1-5
Typing and Modularity
- Tom Hirschowitz, Xavier Leroy:
Mixin Modules in a Call-by-Value Setting. 6-20 - Dan Grossman:
Existential Types for Imperative Languages. 21-35 - David Aspinall, Martin Hofmann:
Another Type System for In-Place Update. 36-52
Programming Paradigms
- Stefano Bistarelli
, Ugo Montanari, Francesca Rossi:
Soft Concurrent Constraint Programming. 53-67 - Morgan McGuire, Shriram Krishnamurthi
, John F. Hughes:
Programming Languages for Compressing Graphics. 68-82 - Zhenjiang Hu, Hideya Iwasaki
, Masato Takeichi:
An Accumulative Parallel Skeleton for All. 83-97 - Stephanie Weirich:
Higher-Order Intensional Type Analysis. 98-114
Lambda Calculus
- Joe B. Wells, Christian Haack:
Branching Types. 115-132 - James Laird:
Exceptions, Continuations and Macro-expressiveness. 133-146 - Neal Glew:
A Theory of Second-Order Trees. 147-161
Program Analysis: Applications
- Susan Horwitz:
Tool Support for Improving Test Coverage. 162-177 - Mahmut T. Kandemir:
Data Space Oriented Tiling. 178-193 - Matthieu Martel:
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. 194-208 - Eric Goubault, Matthieu Martel, Sylvie Putot:
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. 209-212
Program Analysis: Principles
- Mitchell Wand, Galen B. Williamson:
A Modular, Extensible Proof Method for Small-Step Flow Analyses. 213-227 - Peter Thiemann:
A Prototype Dependency Calculus. 228-242 - Flemming Nielson, Hanne Riis Nielson, Helmut Seidl:
Automatic Complexity Analysis. 243-261
Distributed Programs: Verification and Analysis
- Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
Thread-Modular Verification for Shared-Memory Programs. 262-277 - Keith Wansbrough, Michael Norrish, Peter Sewell
, Andrei Serjantov:
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. 278-294 - Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot:
Finite-Control Mobile Ambients. 295-313 - Jérôme Feret:
Dependency Analysis of Mobile Systems. 314-330
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.