Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings / edited by Daniel Le Metayer.

ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite w...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Le Metayer, Daniel (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Edition:	1st ed. 2002.
Series:	Lecture Notes in Computer Science, 2305 Springer eBook Collection.
Subjects:	Software engineering. Programming languages (Electronic computers). Computer programming. Computer logic. Mathematical logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

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.

Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings / edited by Daniel Le Metayer.

Similar Items