Programming Languages and Systems - Daniel Le Metayer

Sommaire:
Invited Paper.- Type Checking Systems Code.- Typing and Modularity.- Mixin Modules in a Call-by-Value Setting.- Existential Types for Imperative Languages.- Another Type System for In-Place Update.- Programming Paradigms.- Soft Concurrent Constraint Programming.- Programming Languages for Compressing Graphics.- An Accumulative Parallel Skeleton for All.- Higher-Order Intensional Type Analysis.- Lambda Calculus.- Branching Types.- Exceptions, Continuations and Macro-expressiveness.- A Theory of Second-Order Trees.- Program Analysis: Applications.- Tool Support for Improving Test Coverage.- Data Space Oriented Tiling.- Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.- Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.- Program Analysis: Principles.- A Modular, Extensible Proof Method for Small-Step Flow Analyses.- A Prototype Dependency Calculus.- Automatic Complexity Analysis.- Distributed Programs: Verification and Analysis.- Thread-Modular Verification for Shared-Memory Programs.- Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures.- Finite-Control Mobile Ambients.- Dependency Analysis of Mobile Systems.