1 option
Programming Languages and Systems : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings / edited by Zhong Shao.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Programming and software engineering ; SL 2, 4807.
- Programming and Software Engineering ; 4807
- Language:
- English
- Subjects (All):
- Programming languages (Electronic computers).
- Software engineering.
- Computer logic.
- Operating systems (Computers).
- Computer programming.
- Logic, Symbolic and mathematical.
- Programming Languages, Compilers, Interpreters.
- Software Engineering.
- Logics and Meanings of Programs.
- Operating Systems.
- Programming Techniques.
- Mathematical Logic and Formal Languages.
- Local Subjects:
- Programming Languages, Compilers, Interpreters.
- Software Engineering.
- Logics and Meanings of Programs.
- Operating Systems.
- Programming Techniques.
- Mathematical Logic and Formal Languages.
- Physical Description:
- 1 online resource (XI, 436 pages).
- Edition:
- First edition 2007.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
- System Details:
- text file PDF
- Contents:
- Invited Talk 1
- X10: Concurrent Programming for Modern Architectures
- The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification
- Local Reasoning for Storable Locks and Threads
- Monadic, Prompt Lazy Assertions in Haskell
- Translation Correctness for First-Order Object-Oriented Pattern Matching
- Persistent Oberon: A Programming Language with Integrated Persistence
- More Typed Assembly Languages for Confidentiality
- A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics
- On a Tighter Integration of Functional and Logic Programming
- Invited Talk 2
- Scalable Simulation of Cellular Signaling Networks
- Timed, Distributed, Probabilistic, Typed Processes
- A Probabilistic Applied Pi-Calculus
- Type-Based Verification of Correspondence Assertions for Communication Protocols
- Deriving Compilers and Virtual Machines for a Multi-level Language
- Finally Tagless, Partially Evaluated
- Polymorphic Delimited Continuations
- Adjunct Elimination in Context Logic for Trees
- Positive Arithmetic Without Exchange Is a Subclassical Logic
- Mixed Inductive/Coinductive Types and Strong Normalization
- Invited Talk 3
- Static and Dynamic Analysis: Better Together
- The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
- An Efficient SSA-Based Algorithm for Complete Global Value Numbering
- A Systematic Approach to Probabilistic Pointer Analysis
- Complete Lattices and Up-To Techniques
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
- CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
- Call-by-Name and Call-by-Value in Normal Modal Logic
- Call-by-Value Is Dual to Call-by-Name, Extended.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-76637-7
- 9783540766377
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.