Programming Languages and Systems (Record no. 39425)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03995nam a22005055i 4500 |
001 - CONTROL NUMBER | |
control field | vtls004004112 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | UBDLIB |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240608150409.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 130205s2012||||gw ||||||||||| |||||eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783642351822 |
-- | 978-3-642-35182-2 |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1007/978-3-642-35182-2 |
Source of number or code | doi |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (DE-He213)978-3-642-35182-2 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA76.76.C65 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA76.7-76.73 |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UMX |
Source | bicssc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UMC |
Source | bicssc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | COM051010 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | COM010000 |
Source | bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.13 |
Edition information | 23 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Jhala, Ranjit. |
9 (RLIN) | 186652 |
245 10 - TITLE STATEMENT | |
Title | Programming Languages and Systems |
Medium | [electronic resource] : |
Remainder of title | 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings / |
Statement of responsibility, etc. | edited by Ranjit Jhala, Atsushi Igarashi. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
Place of publication, distribution, etc. | Berlin, Heidelberg : |
Name of publisher, distributor, etc. | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
Date of publication, distribution, etc. | 2012 |
300 ## - PHYSICAL DESCRIPTION | |
Extent | XII, 389 p. 104 illus. |
Other physical details | digital. |
490 0# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
International Standard Serial Number | 0302-9743 ; |
Volume/sequential designation | 7705 |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection -- JATO: Native Code Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative Information Flow -- End-to-end Multilevel Hybrid Information Flow Control -- Succour to the Confused Deputy: Types for Capabilities -- Types and Access Controls for Cross-Domain Security in Flash -- Linear Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code -- Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks -- Vinter: A Vampire-Based Tool for Interpolation (Tool Paper) -- Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis -- Inference of Necessary Field Conditions with Abstract Interpretation -- Lazy v. Yield: Incremental, Linear Pretty-Printing -- Dynamic Software Update for Message Passing Programs -- A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis -- Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints -- A New Order-Theoretic Characterisation of the Polytime Computable Functions -- A Dynamic Interpretation of the CPS Hierarchy -- Scalable Formal Machine Models -- Modular Verification of Concurrent Thread Management -- A Case for Behavior-Preserving Actions in Separation Logic -- A Generic Cyclic Theorem Prover -- Decision Procedures over Sophisticated Fractional Permissions -- Mechanized Semantics for Compiler Verification. |
520 ## - SUMMARY, ETC. | |
Summary, etc. | This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurreny, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Software engineering. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Data protection. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Logic design. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Programming Languages, Compilers, Interpreters. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Software Engineering. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Logics and Meanings of Programs. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Systems and Data Security. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Programming Techniques. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Mathematical Logic and Formal Languages. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Igarashi, Atsushi. |
9 (RLIN) | 191012 |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
9 (RLIN) | 146659 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Printed edition: |
International Standard Book Number | 9783642351815 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Lecture Notes in Computer Science, |
International Standard Serial Number | 0302-9743 ; |
Volume/sequential designation | 7705 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Library of Congress Classification |
No items available.