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

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

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

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Kurumsal yazarlar: European symposium on programming :Grenoble, European joint conferences on theory and practice of software (Yazar)
Diğer Yazarlar: Le Métayer, Daniel, 1959- (Yayın yönetmeni)
Materyal Türü: Livre numérique
Dil:Anglais
Baskı/Yayın Bilgisi: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Seri Bilgileri:Lecture notes in computer science 2305
Konular:
Génie logiciel
Informatique
Langages de programmation
Ordinateurs
Logique symbolique et mathématique
Structures de données (informatique)
Actes de congrès
Online Erişim:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Not: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• 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, Daniel Le Métayer (ed.), Berlin, Springer, 2002, 1 vol. (XII-329 p.), Lecture notes in computer science, 3-540-43363-5
• Programming Languages and Systems, Texte imprimé, 9783662190784
İçindekiler:
  • 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.

Benzer Materyaller