Central Library

Normal view MARC view ISBD view

Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings / edited by Zhong Shao.

Contributor(s): Shao, Zhong [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Programming and Software Engineering: 4807Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Edition: 1st ed. 2007.Description: XI, 436 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540766377.Subject(s): Compilers (Computer programs) | Software engineering | Computer science | Operating systems (Computers) | Computer programming | Machine theory | Compilers and Interpreters | Software Engineering | Computer Science Logic and Foundations of Programming | Operating Systems | Programming Techniques | Formal Languages and Automata TheoryAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.45 Online resources: Click here to access online
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.
In: Springer Nature eBook
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.