| Description |
1 online resource (xviii, 490 pages) : illustrations |
| Series |
Lecture Notes in Computer Science, 0302-9743 ; 8858 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 8858. 0302-9743
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Intro; Preface; Organization; What Is the Essence of Bidirectional Programming?; Incremental Adoption of Static-Typing; NetKAT -- A Formal System for the Verification of Networks; Table of Contents; Invited Presentation; NetKAT -- A Formal System for the Verification of Networks; 1 Introduction; 1.1 Software-Defined Networking; 1.2 NetKAT; 2 NetKATBasics; 2.1 Kleene Algebra (KA); 2.2 Kleene Algebra with Tests (KAT); 2.3 NetKAT; 2.4 Semantics; 3 Examples; 3.1 Encoding Network Topology; 3.2 Switch Policies; 3.3 Reachability; 3.4 All-Pairs Reachability; 3.5 Waypointing; 3.6 Forwarding Loops |
|
3.7 Other Applications4 Soundness and Completeness; 5 NetKAT Coalgebra and a Decision Procedure; 5.1 NetKAT Coalgebra; 5.2 The Brzozowski Derivative; 5.3 Matrix Representation; 5.4 Kleene's Theorem for NetKAT; 6 Implementation; 6.1 Optimizations; 7 Related Work; 8 Conclusion; References; Regular Papers; Optimized Compilation of Multiset Rewriting with Comprehensions; 1 Introduction; 2 A Motivating Example; 3 Syntax and Notations; 4 Operational Semantics of CHRcp; 4.1 Semantics of Matching and Rule Body Execution; 4.2 Operational Semantics; 5 Compiling CHRcp Rules |
|
5.1 Introducing CHRcp Join Ordering5.2 Bootstrapping for Active Comprehension Head Constraints; 5.3 Uniqueness Enforcement; 6 Building Join Orderings; 7 Executing Join Orderings; 8 Correctness of CHRcp Abstract Matching Machine; 9 Prototype and Preliminary Empirical Results; 10 RelatedWork; 11 Conclusion and Future Works; References; Logic Programming and Logarithmic Space; 1 Introduction; 1.1 Geometry of Interaction and Logic Programming; 1.2 Unification and Complexity; 2 The Unification Semiring; 2.1 Flows and Wirings; 2.2 The Balanced Semiring; 2.3 The Computation Graph |
|
2.4 Tensor Product and Other Semirings3 Words and Observations; 3.1 Representation of Words; 3.2 Observations; 4 Logarithmic Space; 4.1 Completeness: Observations as Pointer Machines; 4.2 Soundness of Observations; 5 Conclusion; References; Automatic Memory Management Based on Program Transformation Using Ownership; 1 Introduction; 2 Suenaga-Kobayashi Type System; 2.1 Language; 2.2 Type System; 3 Program Transformation; 3.1 Casts; 3.2 Constraints; 3.3 Algorithm; 3.4 Soundness and Completeness; 3.5 Extension; 4 Related Work; 5 Conclusion; References; The Essence of Ruby; 1 Introduction |
|
2 Overview of Ruby and Our Strategies3 The Essential Core of Ruby; 3.1 The Core Object Calculus; 3.2 The Core Control Calculus; 3.3 The Core Ruby Calculus; 4 Extension to the Core Calculi; 5 The Ruby Calculus; 6 Elaborating Ruby to the Ruby Calculus; 7 Conformity Evaluation; 8 Related Works; 9 Conclusions; References; Types for Flexible Objects; 1 Introduction; 1.1 Key Features of TinyBang; 2 Overview; 2.1 Language Features for Flexible Objects; 2.2 Self-awareness and Resealable Objects; 2.3 Flexible Object Operations; 3 Formalization; 3.1 A-Translation; 3.2 Operational Semantics |
| Summary |
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory; design of languages, type systems and foundational calculi; domain-specific languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation; program analysis, verification, model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; as well as tools and environments for programming and implementation |
| Notes |
International conference proceedings |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed November 5, 2014) |
| Subject |
Programming languages (Electronic computers) -- Congresses
|
|
Computer programming -- Congresses
|
|
Computer programming
|
|
Programming languages (Electronic computers)
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Garrigue, Jacques, editor.
|
| ISBN |
9783319127361 |
|
3319127365 |
|
3319127357 |
|
9783319127354 |
|
