>> Google Books

Programming Languages and Systems : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

フォーマット:
電子ブック
責任表示:
edited by Jan Vitek
言語:
英語
出版情報:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
形態:
XIV, 838 p. 274 illus
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9032
目次情報:
Probabilistic Programs as Spreadsheet Queries
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection
Running Probabilistic Programs Backwards
A Verified Compiler for Probability Density Functions
Segment Abstraction for Worst-Case Execution Time Analysis
Automatic Static Cost Analysis for Parallel Programs
Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs
Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. A Theory of Name Resolution
A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches
IsoLate: A Type System for Self-recursion
The Problem of PL Concurrency Semantics
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
Witnessing (Co)datatypes
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
Refinement Types for Incremental Computational Complexity
Monotonic References for Efficient Gradual Typing
Inter-procedural Two-Variable Herbrand Equalities
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions
Analysis of Asynchronous Programs with Event-Based Synchronization
A Semantics for Propositions as Sessions
Composite Replicated Data Types
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement
Spatial Interpolants
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs
Full Reduction in the Face of Absurdity
CoLoSL: Concurrent Local Subjective Logic
A Separation Logic for Fictional Sequential Consistency
Binding Structures as an Abstract Data Type
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages
Type Targeted Testing
Probabilistic Programs as Spreadsheet Queries
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection
Running Probabilistic Programs Backwards
A Verified Compiler for Probability Density Functions
Segment Abstraction for Worst-Case Execution Time Analysis
Automatic Static Cost Analysis for Parallel Programs
続きを見る
書誌ID:
LB00386681
ISBN:
9783662466681 [3662466686]  CiNii Books  Webcat Plus  Google Books
9783662466698 [3662466694]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Nguyen, Ngoc Thanh, Trawi?ski, Bogdan, Kosala, Raymond, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Renz, Matthias, Shahabi, Cyrus, Zhou, Xiaofang, Cheema, Muhammad Aamir, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Nguyen, Ngoc Thanh, Trawi?ski, Bogdan, Kosala, Raymond, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Baier, Christel, Tinelli, Cesare, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Zuccon, Guido, Geva, Shlomo, Joho, Hideo, Scholer, Falk, Sun, Aixin, Zhang, Peng, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Appice, Annalisa, Rodrigues, Pedro Pereira, Santos Costa, Vitor, Gama, Joao, Jorge, Alipio, Soares, Carlos, SpringerLink …

Springer International Publishing : Imprint: Springer

Focardi, Riccardo, Myers, Andrew, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Bifet, Albert, May, Michael, Zadrozny, Bianca, Gavalda, Ricard, Pedreschi, Dino, Bonchi, Francesco, Cardoso, Jaime, …

Springer International Publishing : Imprint: Springer

Gammerman, Alexander, Vovk, Vladimir, Papadopoulos, Harris, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Appice, Annalisa, Rodrigues, Pedro Pereira, Santos Costa, Vitor, Soares, Carlos, Gama, Joao, Jorge, Alipio, SpringerLink …

Springer International Publishing : Imprint: Springer

Renz, Matthias, Shahabi, Cyrus, Zhou, Xiaofang, Cheema, Muhammad Aamir, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Huang, De-Shuang, Han, Kyungsook, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer