Coverart for item
The Resource Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings, Kwangkeun Yi (ed.), (electronic book)

Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings, Kwangkeun Yi (ed.), (electronic book)

Label
Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings
Title
Programming languages and systems
Title remainder
third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings
Statement of responsibility
Kwangkeun Yi (ed.)
Title variation
APLAS 2005
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.13
Illustrations
illustrations
Index
index present
LC call number
QA76.7
LC item number
A65 2005eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2005
http://bibfra.me/vocab/lite/meetingName
APLAS (Symposium)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Yi, Kwangkeun
Series statement
Lecture notes in computer science,
Series volume
3780
http://library.link/vocab/subjectName
Programming languages (Electronic computers)
Label
Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings, Kwangkeun Yi (ed.), (electronic book)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis -- Loop Invariants on Demand -- Invited Talk -- Integrating Physical Systems in the Static Analysis of Embedded Control Software -- Reflection Analysis for Java -- Lightweight Family Polymorphism -- A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting -- Race Conditions in Message Sequence Charts -- Invited Talk -- A Next-Generation Platform for Analyzing Executables -- Calculating Polynomial Runtime Properties -- Resource Bound Certification for a Tail-Recursive Virtual Machine -- A Path Sensitive Type System for Resource Usage Verification of C Like Languages -- Termination Analysis of Higher-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis -- Register Allocation Via Coloring of Chordal Graphs -- Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis -- Abstract Dependences for Alarm Diagnosis -- A Typed, Compositional Logic for a Stack-Based Abstract Machine -- A New Occurrence Counting Analysis for BioAmbients -- A Parametric Model for the Analysis of Mobile Ambients -- On the Rôle of Abstract Non-interference in Language-Based Security
Control code
SPR262681443
Dimensions
unknown
Extent
1 online resource (xiii, 433 pages)
Form of item
online
Isbn
9783540297352
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations.
Specific material designation
remote
Label
Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings, Kwangkeun Yi (ed.), (electronic book)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis -- Loop Invariants on Demand -- Invited Talk -- Integrating Physical Systems in the Static Analysis of Embedded Control Software -- Reflection Analysis for Java -- Lightweight Family Polymorphism -- A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting -- Race Conditions in Message Sequence Charts -- Invited Talk -- A Next-Generation Platform for Analyzing Executables -- Calculating Polynomial Runtime Properties -- Resource Bound Certification for a Tail-Recursive Virtual Machine -- A Path Sensitive Type System for Resource Usage Verification of C Like Languages -- Termination Analysis of Higher-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis -- Register Allocation Via Coloring of Chordal Graphs -- Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis -- Abstract Dependences for Alarm Diagnosis -- A Typed, Compositional Logic for a Stack-Based Abstract Machine -- A New Occurrence Counting Analysis for BioAmbients -- A Parametric Model for the Analysis of Mobile Ambients -- On the Rôle of Abstract Non-interference in Language-Based Security
Control code
SPR262681443
Dimensions
unknown
Extent
1 online resource (xiii, 433 pages)
Form of item
online
Isbn
9783540297352
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations.
Specific material designation
remote

Library Locations

Processing Feedback ...