Programming languages and systems :13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

• 其他作者: Schmidt, David A.,
• 出版: Berlin ;New York : Springer ©2004.
• 稽核項: 1 online resource (xii, 415 pages) :illustrations.
• 叢書名: Lecture notes in computer science,2986
• 標題: Formale Sprache , COMPUTERS , Programming languages (Electronic computers) , COMPUTERS Software Development & Engineering -- Tools. , Langage de programmation. , Programmierung , Langages de programmation , Software Development & EngineeringGeneral. , COMPUTERS Software Development & Engineering -- General. , ESOP , Electronic books. , languages , Software Development & EngineeringTools. , Langages de programmation Congrès. , COMPUTERS Programming -- Open Source. , Conference papers and proceedings. , Barcelona (2004) , Computer programming , Kongress. , Programmiersprache , Programmation (Informatique) Congrès. , programming systems , Programming languages (Electronic computers) Congresses. , Programmation (Informatique) , ETAPS , ProgrammingOpen Source. , Programmation. , Computer programming Congresses. , Computer programming. , software
• ISBN: 3540247254 , 9783540247258
• ISBN: 3540213139 , 9783540213130 , 0302-9743 ;
• 試查全文@TNUA:
  
• 附註: Includes bibliographical references and index. Resources, Concurrency, and Local Reasoning -- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors -- Strong Preservation as Completeness in Abstract Interpretation -- Static Analysis of Digital Filters -- Sound and Decidable Type Inference for Functional Dependencies -- Call-by-Value Mixin Modules -- ML-Like Inference for Classifiers -- From Constraints to Finite Automata to Filtering Algorithms -- A Memoizing Semantics for Functional Logic Languages -- Adaptive Pattern Matching on Binary Data -- Compositional Analysis of Authentication Protocols -- A Distributed Abstract Machine for Boxed Ambient Calculi -- A Dependently Typed Ambient Calculus -- A Control Flow Analysis for Safe and Boxed Ambients -- Linear Types for Packet Processing -- Modal Proofs as Distributed Programs -- ULM: A Core Programming Model for Global Computing -- A Semantic Framework for Designer Transactions -- Semantical Analysis of Specification Logic, 3 -- Answer Type Polymorphism in Call-by-Name Continuation Passing -- System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types -- A Hardest Attacker for Leaking References -- Trust Management in Strand Spaces: A Rely-Guarantee Method -- Just Fast Keying in the Pi Calculus -- Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation -- Functors for Proofs and Programs -- Extracting a Data Flow Analyser in Constructive Logic -- Canonical Graph Shapes.
• 摘要: This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004. The 27 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from a total of 118 submissions. The papers deal with a broad variety of current issues in the specification, analysis, and implementation of programming languages and systems.
• 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=133720
• 系統號: 005317863
• 資料類型: 電子書
• 讀者標籤: 需登入
• 引用網址: 複製連結
• 目前引用數