Cargando…

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings /

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS)...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Sagiv, Mooly (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Theoretical Computer Science and General Issues, 3444
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Programming with Explicit Security Policies
  • Trace Partitioning in Abstract Interpretation Based Static Analyzers
  • The ASTREÉ Analyzer
  • Interprocedural Herbrand Equalities
  • Analysis of Modular Arithmetic
  • Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
  • A New Foundation for Control-Dependence and Slicing for Modern Program Structures
  • Summaries for While Programs with Recursion
  • Determinacy Inference for Logic Programs
  • Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis
  • A Type Discipline for Authorization Policies
  • Computationally Sound, Automated Proofs for Security Protocols
  • Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries
  • Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
  • Streams with a Bottom in Functional Languages
  • Bottom-Up ?-Reduction: Uplinks and ?-DAGs
  • BI Hyperdoctrines and Higher-Order Separation Logic
  • Deciding Reachability in Mobile Ambients
  • Denotational Semantics for Abadi and Leino's Logic of Objects
  • A Design for a Security-Typed Language with Certificate-Based Declassification
  • Adjoining Declassification and Attack Models by Abstract Interpretation
  • Enforcing Resource Bounds via Static Verification of Dynamic Checks
  • Asserting Bytecode Safety
  • Subtyping First-Class Polymorphic Components
  • Complexity of Subtype Satisfiability over Posets
  • A Type System Equivalent to a Model Checker
  • Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close
  • Towards a Type System for Analyzing JavaScript Programs
  • Java JR: Fully Abstract Trace Semantics for a Core Java Language.