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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Le Metayer, Daniel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2305
• Θέματα: Software engineering.; Programming languages (Electronic computers).; Computer programming.; Computer logic.; Mathematical logic.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

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...

Πίνακας περιεχομένων:

• 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.